Программа курса математической логики – 8( 9 ) класс.
Элементы математической логики рассматриваются и в школьном курсе математики, и в курсе информатики. Умение же логически грамотно рассуждать, четко формулировать свои мысли и делать правильные выводы требуется на всех уроках, не только на математике и информатике, а также и в жизни. Поэтому в течение нескольких последних лет в ЛИТ 1537 г. Москвы проводится обучение по предмету «Математическая логика». Этот, что курс логики позволяет повысить математическую и общую культуру мышления учащихся, научить их разбираться в сути определений, формулировок и доказательств, привить им навыки правильных рассуждений, что помогает сознательному и глубокому усвоению школьных дисциплин, в том числе и математики.
Курс рассчитан на 34 часа ( по 1 часу в неделю).
В процессе обучения рассматриваются следующие темы:
- Логические операции (высказывания, истинность и ложность высказываний, конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция);
Кванторы (недостаточность логики высказываний, предикаты и способыих задания, множество истинности предиката, кванторы общности и существования, квантификация одноместных и многоместных высказывательных форм, отрицание предложений, содержащих кванторы, символическая запись определений и теорем);
Логика высказываний (формулы логики высказываний, составление таблиц истинности для данных
формул, тавтологии, законы логики, равносильные преобразования и упрощение формул, выражение одних логических операций через другие);
Теория множеств (понятие множества, способы задания множеств, универсальное множество,
операции над множествами – объединение, пересечение, разность, дополнение; диаграммы Эйлера – Венна, доказательство логических формул с помощью диаграм
Страницы: 1 | 2 | 3 > >>