.
• - •' :
КОМИТЕТ ОБРАЗОВАНИЯ И НАУКИ АДМИНИСТРАЦИИ САНКТ-ПЕТЕРБУРГА
МУНИЦИПАЛЬНОЕ О Б Р А З О В А Т Е Л Ь Н О Е УЧРЕЖДЕНИЕ
СРЕДНЯЯ О Б Щ Е О Б Р А З О В А Т Е Л Ь Н А Я Ш К О Л А № 324
X" -гПРОГРАММА
Математическая логика (Учебный курс предпрофильнои подготовки для у ч а щ и х с я 10-х классов с ориентацией на н а у ч н о е с т е с т в е н н ы й п р о ф и л ь. 34 часа) I[рсдседатсль м е т о д и ч е с к о г о объединения у ч и т е л е й математики Кузнецова О.И.Личная подпись Дата Амтор программы, учитель математики К \а О. И.
Личная подпись ^ '^ Дапш Санкт-Петербург.
ГОУ средняя общеобразовательная школа № Санкт-Петербурга Утверждено Рекомендовано Методическим советом На заседании ГОУ ДППО ЦПК «НМЦ» Педагогического совета от Курортного района п Протокол № От Директор ЦПК «НМЦ» /Л. И. Забродина Я. Р. Храмцова Программа элективного курса «Математическая логика»
Логика как наука учит всех людей правильно мыслить. Правильное мышление - это т.е. построения системы научных знаний.
успешней в жизни.
взгляд далекие задачи.
Главная цель курса - это помочь школьнику научиться рассуждать, доказывать, вести аргументировано спор, проводить анализ, обобщение, использовать индукцию., наблюЛСНМС «ННЛОГИЮ П^И НС Т'^ТЬ1^'^ М'ЛТ':*М''>"ГНЧ':1Г>!Г1'|Х. Ч п ы п я ыт!ш АГ'и-'ыу 'Запели игл и лшзнснных проблем.
он формируй! у учащихся умение организовывать свою деятельносгь. рассуждать, воспитывает выдержку, трудолюбие, способность к творчеству.
Данный курс может быть предложен учащимся 8-10-х классов. Он был апробирован поактикумы по оешению задач, дидактическая ипзы.
Решение прикладных математических, физических задач призвано показать практическую значимость предмета.
В качестве контроля усвоения знаний и навыков используются такие формы как диктант, контрольная работа, творческие домашние задания.
Курс рассчитан на 32-34 часа (1 час в неделю) Тема №1 «Введение в математическую логику»
Как возникла формальная и математическая логика? Три определения логики. Значение системного мышления для экономики, политики и педагогики. Примеры применения системного подхода к жизни.
Тема № Алгебра высказываний Предложение, высказывание, значение истинности высказывания, простое и сложное высказывание. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция Эквивалентность логических выражений. Тавтология. Булева алгебра. Законы логики Применение алгебры высказываний, Тема № Алгебра множеств Множество. Способы задания множеств. Равенство множеств. Подмножество. Пересечение и объединение множеств. Разность множеств. Законы алгебры множеств. Сим ческая разность.
Тема №4 Логика предикат Предикаты. Равносильность предикатов. Кванторы. Операция квантификашш.
Тематическое планирование курса «Математическая логика»
1. Введение в математическую логику( лекция) - 1 ч.
2. Основные и неопределяемые понятия математической логики -2ч, 3. Логические операции. Отрицание- 1 ч.
4. Логические операции. Конъюнкция - 1 ч.
5. Логические операции. Дизъюнкция - 1 ч.
6. Логические операции. Импликация - 1 ч.
9. Контрольный диктант — 1 ч.
10. Эквивалентность логических выражений. Тавтология- 1 ч.
11. Булева алгебра - 2ч.
12. Законы логики - 2 ч.
13. Применение алгебры высказываний. Практикум по решению задач - 2 ч.
14. Множество. Способы задания множеств. Равенство множеств. Подмножество. ч.
15. Пересечение, объединение, разность множеств. Законы алгебры множеств.
Практикум решения задач. - 3 ч.
16. Симметрическая разность - 1 ч.
17. Контрольная работа- 1ч 18. Предикаты. Равносильность - 1 ч.
19. Кванторы - 1ч.
22. Логическое следование и равносильность. Практикум решения задач. - 2 ч.
24. Контрольно-обобщающий урок 1 ч.
25. Резерв - 2 ч.
Литература 1. К.П. Козлов, В. А. Козлова «Методическая разработка и содержание телевизионных передач к факультативному курсу по математике «Элементы математической логики для 8-го класса», Ленинград, 2. А. А. Кулужнин «Элементы теории множеств и математической логики в школьном курсе математики». М. «просвещение, 3. И.Л. Никоьская, Е.Е. Семенов «Учимся рассуждать и доказывать», М.» Просвещение», 4. И. Я. Бакельман, К. П, Козлов «Алгебра множеств», Ленинград, 5. И. В. Николаев «Логика»,Санкт-Петербург, 6. М. М. Лесохин, К. П. Козлов, В. А. Козлова «Методические разработки к учебным телепередачам по факультативному курсу «Элементы современной математики», класс, Ленинград, 1978 г.