33727
столько раз учителя, ученики и родители
посетили сайт «Инфоурок»
за прошедшие 24 часа
+Добавить материал
и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
Дистанционные курсы профессиональной переподготовки и повышения квалификации для педагогов

Дистанционные курсы для педагогов - курсы профессиональной переподготовки от 5 480 руб.;
- курсы повышения квалификации от 1 400 руб.
Московские документы для аттестации

ВЫБРАТЬ КУРС СО СКИДКОЙ 60%

ВНИМАНИЕ: Скидка действует ТОЛЬКО до 28 февраля!

(Лицензия на осуществление образовательной деятельности №038767 выдана ООО "Столичный учебный центр", г.Москва)

Инфоурок / Математика / Рабочие программы / Программа факультативного курса "Основы математической логики" (10(11) класс)

Программа факультативного курса "Основы математической логики" (10(11) класс)

Напоминаем, что в соответствии с профстандартом педагога (утверждён Приказом Минтруда России), если у Вас нет соответствующего преподаваемому предмету образования, то Вам необходимо пройти профессиональную переподготовку по профилю педагогической деятельности. Сделать это Вы можете дистанционно на сайте проекта "Инфоурок" и получить диплом с присвоением квалификации уже через 2 месяца!

Только сейчас действует СКИДКА 50% для всех педагогов на все 111 курсов профессиональной переподготовки! Доступна рассрочка с первым взносом всего 10%, при этом цена курса не увеличивается из-за использования рассрочки!

ВЫБРАТЬ КУРС И ПОДАТЬ ЗАЯВКУ
библиотека
материалов
Скачать материал целиком можно бесплатно по ссылке внизу страницы.





ОСНОВЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ


Программа факультативного курса

10 (11) класс



Тесленко Валентина Владимировна

учитель математики

Хомутовской общеобразовательной

школы І-ІІІ ступеней

администрации Новоазовского района




ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Фундаментом успешного обучения является умение последовательно мыслить, обосновывать рассуждения, выдвигать гипотезы, строить умозаключения, предупреждать логические ошибки, опровергать неправильные выводы. Логика как предмет, обучающий выполнять правильные мыслительные операции, необходима при изучении как математики, так и других общеобразовательных предметов.

Среди математических дисциплин широкими интегративными возможностями обладает курс математической логики, который служит базой для всех существующих информационных технологий.

Математическая логика не является предметом базового компонента учебного плана, однако факультативный курс «Основы математической логики» в силу своего универсального применения, высокого уровня абстрактности, познавательности и занимательности может быть интересен и полезен учащимся старшей школы. Возможность изучения курса обеспечивается достаточной для его освоения математической подготовкой учащихся.

Изучение курса позволит углубить и обобщить ранее приобретенные школьниками программные знания по математике, информатике, физике, продемонстрирует уникальность математических объектов, возможности применения логики к решению различных задач, в том числе задачи из повседневной жизни.

Программа факультативного курса «Основы математической логики» предназначена для учащихся 10 (11) классов общеобразовательной школы и рассчитана на 35 часов (1 час в неделю).

Основная цель факультативного курса «Основы математической логики»: формирование знаний, умений и навыков использования основных понятий математической логики, выполнения логических операций; формирование логической и математической культуры; систематизация знаний о способах решения логических задач; формирование целостного представления о математике и ее межпредметных связях.

Задачами факультативного курса являются:

  • ознакомление учащихся с основными понятиями и элементами алгебры логики;

  • формирование представления учащихся об основных методах логических рассуждений;

  • развитие умения школьников правильно и быстро совершать стандартные логические операции;

  • развитие логического мышления;

  • развитие критического мышления учащихся;

  • формирование у учащихся умений самостоятельно и творчески работать с научно-популярной литературой;

  • осуществление связей с другими учебными предметами.

Предполагаемые результаты изучения курса:

Учащиеся будут знать:

  • основные понятия математической логики;

  • формулировки утверждений, методы их доказательства и опровержения;

Учащиеся научатся:

  • логически правильно определять и квалифицировать понятия;

  • выявлять логическую структуру высказываний и толковать их;

  • рассуждать соответственно законам логики, доказывать различные утверждения, строить выводы;

  • решать задачи из различных разделов математической логики, строить таблицы истинности.

Учащиеся получат возможность:

  • записывать структуру сложных умозаключений в виде формул математической логики;

  • использовать аппарат математической логики, методы решения задач и доказательств утверждений в других областях жизнедеятельности.

Изучение курса осуществляется посредством активного вовлечения учащихся в различные виды и формы деятельности. На факультативных занятиях могут использоваться фронтальная, самостоятельная и индивидуальная формы работы, применяться различные методы организации учебно-познавательной деятельности.

Значительное место в учебной деятельности отводится рассуждениям, особое внимание уделяется формированию таких приёмов мыслительной деятельности, как наблюдение и сравнение, обобщение и конкретизация, анализ и синтез.

Задания для самостоятельной работы выполняются индивидуально или в группах с последующим обсуждением. Систематически проводится работа по выработке умения применять эвристические приёмы при решении задач.





















10 (11) класс

35 часов (1час в неделю)

Количество

Часов

Содержание темы

Требования к знаниям и умениям учащихся

1

ВВЕДЕНИЕ

Логика как наука. История развития логики, ее основоположники. Связь с математикой и другими дисциплинами. Математическая логика

Учащийся

Знает и понимает:

смысл понятий: логика, математическая логика.

Имеет представление:

об интегративных возможностях и межпредметных связях курса математической логики.

8

ЛОГИКА ВЫСКАЗЫВАНИЙ

Высказывания. Логические операции над высказываниями (логическое отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция). Таблицы истинности.

Формулы логики высказываний. Пропозициональные переменные. Знаки логических операций. Правила записи формул.

Законы логики. Тождественно истинная и тождественно ложная формула. Закон исключенного третьего. Тавтологические импликации. Тавтологии, выражающие одни операции через другие. Закон силлогизма.

Учащийся

Знает и понимает:

смысл понятий: высказывание, логическое отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция;

формулы логики высказываний и правила их записи;

законы логики.

Умеет:

различать и приводить примеры истинных и ложных, простых и сложных высказываний;

выполнять лгические операции над высказываниями;

составлять таблицы истинности;

применять знаки логических операций для записи формул.

7

СХЕМЫ ДОКАЗАТЕЛЬСТВ

Логическое следствие формул. Равносильные формулы. Метод доказательства от противного. Метод разбора случаев.

Учащийся

Знает и понимает:

смысл понятий: логическое следствие, равносильные формулы;

правила доказательств утверждений.

Умеет:

применять для доказательства утверждений правила заключения, введения (удаления) конъюнкции, дизъюнкции, эквиваленции, двойного отрицания; методы силлогизма, контрапозиции и доказательства от противного; доказательство разбором случаев;

обосновывать схемы доказательств.


6

ПРЕДИКАТЫ

Свободные переменные. Понятие предиката. Истинность предикатов.

Операции над предикатами. Логическое следствие предикатов. Тождественно истинные и тождественно ложные предикаты. Равносильные предикаты. Выполнимые предикаты.

Учащийся

Знает и понимает:

смысл понятий: свободная переменная, предикат, равносильные предикаты.

Умеет:

приводить примеры одно-, двух- и трехместных

тождественно истинных, тождественно ложных, выполнимых (но не тождественно истинных) предикатов;

строить тождественно истинные, тождественно ложные, выполнимые и невыполнимые предикаты.


6

КВАНТОРЫ

Понятие квантора. Квантор общности. Связанная переменная.

Квантор существования. Квантификация.

Запись высказываний на языке логики предикатов.


Учащийся

Знает и понимает:

смысл понятий: квантор, квантификация;

правила применения кванторов общности и существования;

правила записи высказываний на языке логики предикатов.

Умеет:

использовать логические символы для записи высказываний.


5

ФОРМУЛЫ ЛОГИКИ ПРЕДИКАТОВ

Предметные переменные. Предикатные символы.

Предикатные формулы. Элементарные и составные предикатные формулы.

Область действия кванторов. Общезначимая формула. Равносильные формулы.

Законы логики предикатов.

Учащийся

Знает и понимает:

смысл понятий: предметная переменная, предикатный символ, элементарная формула, общезначимая формула;

законы логики предикатов.

Умеет:

составлять и записывать предикатные формулы с помощью кванторов;

проверять равносильность формул, используя критерий равносильности;

обосновывать общезначимость предикатных формул.


1

ОБОБЩАЮЩЕЕ ЗАНЯТИЕ


1

РЕЗЕРВ УЧЕБНОГО ВРЕМЕНИ


ПРИМЕРНОЕ КАЛЕНДАРНО-ТЕМАТИЧЕСКОЕ ПЛАНИРОВАНИЕ


Содержание занятия


Количество

часов

Дата

проведения

ВВЕДЕНИЕ (1 час)

1

Логика. Предмет математической логики

1


Тема 1. ЛОГИКА ВЫСКАЗЫВАНИЙ (8 часов)

2

Высказывание

1


3-4

Логические операции над высказываниями. Таблицы истинности

2


5

Формулы логики высказываний

1


6-7

Законы логики. Тавтологии

2


8-9

Решение задач и упражнений. Самостоятельная работа

2


Тема 2. СХЕМЫ ДОКАЗАТЕЛЬСТВ (7 часов)

10-11

Логическое следствие

2


12-13

Схемы доказательств

2


14

Доказательство от противного

1


15

Доказательство методом разбора случаев

1


16

Решение задач и упражнений. Самостоятельная работа

1


Тема 3. ПРЕДИКАТЫ (6 часов)

17

Предикаты. Способы задания предикатов

1


18

Операции над предикатами

1


19

Равносильные предикаты

1


20

Тождественно истинные и тождественно ложные предикаты. Выполнимые предикаты

1


21-22

Решение задач и упражнений. Самостоятельная работа

2


Тема 4. КВАНТОРЫ (6 часов)

23

Понятие квантора. Квантор общности. Квантор существования

1


24

Квантификация предикатов

1


25-26

Запись высказываний на языке логики предикатов

2


27-28

Решение задач и упражнений. Самостоятельная работа

2


Тема 5. ФОРМУЛЫ ЛОГИКИ ПРЕДИКАТОВ (5 часов)

29-30

Элементарные формулы. Предикатные формулы

2


31-32

Законы логики предикатов

2


33

Решение задач и упражнений

1


34

ОБОБЩАЮЩЕЕ ЗАНЯТИЕ

1


РЕЗЕРВ УЧЕБНОГО ВРЕМЕНИ – 1 час


Рекомендованная литература

1. Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1978.
2. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. — М.: Академия, 2007.
3. Игошин В.И. Математическая логика и теории алгоритмов. — М.: Академия, 2008.
4. Кужель О.В. Елементи теорії множин та математичної логіки. — К.: 1977.
5. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов — М.: Наука,1995.
6. Новиков П.С. Элементы математической логики. — М.: Наука, 1973.
7. Середа В.Ю. Математична логіка в шкільному курсі математики. — К.: Радянська школа, 1984.
8. Хромой Я.В. Збірник вправ і задач з математичної логіки. — К., 1978.
9. Хромой Я.В. Математична логіка. — К.: Вища школа, 1983.
10. Шкільняк С.С. Математичнa логікa i теорія алгоритмів: Приклади і задачі — К.: 2000

11. Клини С.К. Математическая логика. — М.: Мир, 1973.
12. Мельников В.М. Логические задачи. — Киев: Вища школа, 1989.
13. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1976.
14. Любченко К.М., Триус Ю.В. Елементи математичної логіки з компʼютерною підтримкою: Посібник для вчителів. – Черкаси: Видавничий відділ ЧНУ, 2004.


Общая информация

Номер материала: ДВ-392395

Вам будут интересны эти курсы:

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Внедрение системы компьютерной математики в процесс обучения математике в старших классах в рамках реализации ФГОС»
Курс повышения квалификации «Педагогическое проектирование как средство оптимизации труда учителя математики в условиях ФГОС второго поколения»
Курс профессиональной переподготовки «Математика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Изучение вероятностно-стохастической линии в школьном курсе математики в условиях перехода к новым образовательным стандартам»
Курс профессиональной переподготовки «Экономика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Специфика преподавания основ финансовой грамотности в общеобразовательной школе»
Курс повышения квалификации «Специфика преподавания информатики в начальных классах с учетом ФГОС НОО»
Курс профессиональной переподготовки «Теория и методика обучения информатике в начальной школе»
Курс профессиональной переподготовки «Математика и информатика: теория и методика преподавания в образовательной организации»
Курс профессиональной переподготовки «Инженерная графика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Развитие элементарных математических представлений у детей дошкольного возраста»
Курс повышения квалификации «Методика преподавания курса «Шахматы» в общеобразовательных организациях в рамках ФГОС НОО»
Курс повышения квалификации «Методика обучения математике в основной и средней школе в условиях реализации ФГОС ОО»
Курс профессиональной переподготовки «Черчение: теория и методика преподавания в образовательной организации»

Благодарность за вклад в развитие крупнейшей онлайн-библиотеки методических разработок для учителей

Опубликуйте минимум 3 материала, чтобы БЕСПЛАТНО получить и скачать данную благодарность

Сертификат о создании сайта

Добавьте минимум пять материалов, чтобы получить сертификат о создании сайта

Грамота за использование ИКТ в работе педагога

Опубликуйте минимум 10 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Свидетельство о представлении обобщённого педагогического опыта на Всероссийском уровне

Опубликуйте минимум 15 материалов, чтобы БЕСПЛАТНО получить и скачать данное cвидетельство

Грамота за высокий профессионализм, проявленный в процессе создания и развития собственного учительского сайта в рамках проекта "Инфоурок"

Опубликуйте минимум 20 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Грамота за активное участие в работе над повышением качества образования совместно с проектом "Инфоурок"

Опубликуйте минимум 25 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Почётная грамота за научно-просветительскую и образовательную деятельность в рамках проекта "Инфоурок"

Опубликуйте минимум 40 материалов, чтобы БЕСПЛАТНО получить и скачать данную почётную грамоту

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.