рабочая программа элективного курса "Элементы математической логики"
рабочая программа по алгебре (9 класс) на тему
Программа разработана на основе авторской учебной программы «Элементы математической логики», издательство “Просвещение-Юг”, г. Краснодар, 2004 г. Авторы: Е.А. Семенко, Е.Н. Бурцева, Е.С. Янушольская
Скачать:
Вложение | Размер |
---|---|
![]() | 109.5 КБ |
Предварительный просмотр:
Краснодарский край, Славянский район
Муниципальное общеобразовательное учреждение
основная общеобразовательная школа № 46
муниципального образования Славянский район
.
УТВЕРЖДЕНО |
РАБОЧАЯ ПРОГРАММА II ВИДА
по элективному курсу «Элементы математической логики»
Ступень обучения: основная
Класс: 9 класс
Количество часов: 17 часов
Уровень: базовый
Учитель Бевз Светлана Григорьевна
Программа разработана на основе авторской учебной программы «Элементы математической логики», издательство “Просвещение-Юг”, г. Краснодар, 2004 г.
Авторы: Е.А. Семенко, Е.Н. Бурцева, Е.С. Янушольская
- Пояснительная записка
Рабочая программа составлена на основе авторской учебной программы “Элементы математической логики”, авторы: Е.А. Семенко, Е.Н. Бурцева, Е.С. Янушольская.
Цели: создание ориентационной и мотивационной основы у девятиклассников для осознанного выбора профиля обучения в старших классах. С помощью изучения элементов математической логики сформировать у учащихся способности рассуждать логически, тем самым развить мышление школьников.
Задачи: расширить и углубить знания учащихся по математике, познакомить с применением логических рассуждений в различных ситуациях, подготовить учащихся к изучению и использованию элементов логики в старших классах. Дать знания, которые необходимы для ориентации в выборе профиля дальнейшего обучения.
Таблица тематического распределения количества часов:
№ п/п | Разделы, темы | Количество часов | |
Авторская программа | Рабочая программа | ||
1 | Введение. Занимательные логические задачи | 4 | 4 |
2 | Понятие. Определение | 1 | 1 |
3 | Высказывания. Простые высказывания как основные понятия в математической логике и их свойства | 1 | 1 |
4 | Логические операции. Отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция | 3 | 3 |
5 | Основные понятия теории множеств. Основные операции над множествами. Дополнение множества. Формула включений и исключений для множеств | 2 | 2 |
6 | Предикаты. Кванторы. Высказывательные формы, логические операции над ними | 3 | 3 |
7 | Теоремы. Доказательства. Виды теорем. Необходимость и достаточность условия. Основные принципы математических доказательств | 3 | 3 |
Итого: | 17 | 17 |
- Содержание обучения
Введение. Занимательные логические задачи.
Понятие. Определение.
Высказывания. Простые высказывания как основные понятия в математической логике и их свойства.
Логические операции. Отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция
Основные понятия теории множеств. Основные операции над множествами. Дополнение множества. Формула включений и исключений для множеств.
Предикаты. Кванторы. Высказывательные формы, логические операции над ними.
Теоремы. Доказательства. Виды теорем. Необходимость и достаточность условия. Основные принципы математических доказательств.
3. Требования к подготовке учащихся по предмету
В результате изучения элективного курса ученик должен
- Выбирать и применять более рациональный способ решения той или иной задачи;
- Использовать свои знания из различных школьных предметов при решении задач по теории множеств и математической логике;
- Оценивать свои возможности при выборе профиля дальнейшего обучения;
- Научиться:
- проводить логические операции с несложными высказываниями и высказывательными формами;
- сравнивать множества истинности высказываний;
- формулировать высказывания, обратные и противоположные данным;
- производить логические операции над понятиями;
- различать необходимость и достаточность того или иного условия;
- выполнять действия с множествами.
4. Перечень практических работ
Зачетная работа - 1
5. Список рекомендуемой учебно-методической литературы
- Ивин А.А. Элементарная логика. М., 1994.
- Бойко А.П. Логика. Учебное пособие для учащихся гимназий, лицеев и школ гуманитарного профиля. М., 1994.
- Зеген В. Элементарная логика. М., 1985.
- Шпорер З. Ох, эта математика! М., 1981.
- Гетманова А.Д. Логика. М., 1986.
СОГЛАСОВАНО подпись расшифровка подписи. __________ 2010 год дата |
СОГЛАСОВАНО подпись расшифровка подписи. __________ 2010 год дата |
Краснодарский край, Славянский район
Муниципальное общеобразовательное учреждение
основная общеобразовательная школа № 46
муниципального образования Славянский район
Календарно-тематическое планирование
по элективному курсу «Элементы математической логики»
на 2010 - 2011 учебный год
Класс 9
Учитель
Количество часов: всего 17 ч, в неделю 1 час
Планирование составлено на основе рабочей программы II вида по элективному курсу «Элементы математической логики» (учитель Бевз С.Г.) и утверждено решением педсовета протокол №1 от 30 августа 2010 года
№ урока | Содержание | Кол-во часов | Дата | Оборудование |
1. | Введение. Занимательные логические задачи | 4 | ||
1.1 | Введение | 1 | ||
1.2 | Занимательные логические задачи | 1 | ||
1.3 | Решение простейших логических задач табличным способом | 1 | ||
1.4 | Решение простейших логических задач с помощью рассуждений | 1 | ||
2. | Понятие. Определение | 1 | ||
2.1 | Понятие. Определение | 1 | ||
3. | Высказывания. Простые высказывания как основные понятия в математической логике и их свойства | 1 | ||
3.1 | Высказывания. Простые высказывания как основные понятия в математической логике и их свойства | 1 | ||
4. | Логические операции. Отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция | 3 | ||
4.1 | Логические операции. | 1 | ||
4.2 | Отрицание, конъюнкция, дизъюнкция. | 1 | ||
4.3 | Импликация, эквиваленция. | 1 | ||
5. | Основные понятия теории множеств. Основные операции над множествами. Дополнение множества. Формула включений и исключений для множеств | 2 | ||
5.1 | Основные понятия теории множеств. Основные операции над множествами. | 1 | ||
5.2 | . Дополнение множества. Формула включений и исключений для множеств | 1 | ||
6. | Предикаты. Кванторы. Высказывательные формы, логические операции над ними | 3 | ||
6.1 | Предикаты. | 1 | ||
6.2 | Кванторы. | 1 | ||
6.3 | Высказывательные формы, логические операции над ними | 1 | ||
7. | Теоремы. Доказательства. Виды теорем. Необходимость и достаточность условия. Основные принципы математических доказательств | 3 | ||
7.1 | Теоремы. Доказательства. Виды теорем. Необходимость и достаточность условия. | 1 | ||
7.2 | . Основные принципы математических доказательств | 1 | ||
7.3 | Зачетная работа | 1 | ||
По теме: методические разработки, презентации и конспекты
![](/sites/default/files/pictures/2013/03/29/picture-230459-1364527047.jpg)
Рабочая программа элективного курса "Математические основы информатики", 11 класс
Данна рабочая програма элективного курса «Математические основы информатики» разработана для учащихся старшей школы 10, 11 классов на основе авторской программы элективного курса Е.В. Андреевой,...
![](/sites/default/files/pictures/2014/01/05/picture-368009-1388909629.jpg)
Рабочая программа дисциплины "Элементы математической логики"
Рабочая программа дисциплины "Элементы математической логики" для студентов специальности 233015 Программирование в компьютерных системах по ФГОС...
![](/sites/default/files/pictures/2014/11/12/picture-524808-1415778277.jpg)
Рабочая программа элективного курса "Математические методы в психологии"
Математика является профилирующим предметом при поступлении в вузы по широкому спектру специальностей. В том числе и по специальности «Психология». Данный курс ориентирован на учащихся 10-11 классов, ...
Рабочая программа элективного курса "Математические основы информатики"
Рабочая программа элективного курса «Математические основы информатики» разработана для учащихся старшей школы 10, 11 классов на основе авторской программы элективного курса Е.В. Андреевой, Л. Л...
![](/sites/default/files/pictures/2020/02/22/picture-639549-1582374697.jpg)
Рабочая программа элективного курса "Математические основы информатики".
Рабочая программа элективного курса "Математические основы информатики". Расчитана на 2 года (10-11 класс)....
![](/sites/default/files/pictures/2022/12/18/picture-1444864-1671392053.jpg)
Рабочая программа элективного курса «Математические основы информатики» (10-11 класс)
Рабочая программа элективного курса«Математические основы информатики»(10-11 класс)...