рабочая программа элективного курса "Элементы математической логики"
рабочая программа по алгебре (9 класс) на тему

Краснодарский край, Славянский район

Муниципальное общеобразовательное учреждение  

основная общеобразовательная школа № 46

муниципального образования Славянский район

.

РАБОЧАЯ  ПРОГРАММА II ВИДА

по    элективному курсу «Элементы математической логики»

Ступень обучения: основная

Класс:  9 класс

Количество часов: 17 часов             

Уровень: базовый

Учитель    Бевз Светлана Григорьевна

Программа разработана на основе авторской учебной программы «Элементы математической логики», издательство “Просвещение-Юг”, г. Краснодар,  2004 г.

Авторы:  Е.А. Семенко, Е.Н. Бурцева, Е.С. Янушольская

1. Пояснительная записка

Рабочая программа составлена на основе авторской учебной программы “Элементы математической логики”, авторы:  Е.А. Семенко, Е.Н. Бурцева, Е.С. Янушольская.

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

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

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

2. Содержание обучения

Введение. Занимательные логические задачи.

Понятие. Определение.

Высказывания. Простые высказывания как основные понятия в математической логике и их свойства.

Логические операции. Отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция  

Основные понятия теории множеств. Основные операции над множествами. Дополнение множества. Формула включений и исключений для множеств.

Предикаты.  Кванторы. Высказывательные формы, логические операции над ними.

Теоремы. Доказательства. Виды теорем. Необходимость и достаточность условия. Основные принципы математических доказательств.

3. Требования к подготовке учащихся по предмету

В результате изучения элективного курса ученик должен

• Выбирать  и применять более рациональный способ решения той или иной задачи;
• Использовать свои знания из различных школьных предметов при решении задач по теории множеств и математической логике;
• Оценивать свои возможности при выборе профиля дальнейшего обучения;
• Научиться:

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

- сравнивать множества истинности высказываний;

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

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

- различать необходимость и достаточность того или иного условия;

- выполнять действия с множествами.

4. Перечень практических работ

Зачетная работа - 1

5. Список рекомендуемой учебно-методической литературы

1. Ивин А.А. Элементарная логика. М., 1994.
2. Бойко А.П. Логика. Учебное пособие для учащихся гимназий, лицеев и школ гуманитарного профиля. М., 1994.
3. Зеген В. Элементарная логика. М., 1985.
4. Шпорер З. Ох, эта математика! М., 1981.
5. Гетманова А.Д. Логика. М., 1986.

Краснодарский край, Славянский район

Муниципальное общеобразовательное учреждение  

основная общеобразовательная школа № 46

муниципального образования Славянский район

Календарно-тематическое планирование

по элективному курсу «Элементы математической логики»

на 2010 - 2011 учебный год

Класс 9

Учитель 

Количество часов: всего 17 ч, в неделю 1 час

Планирование составлено на основе рабочей программы II  вида по элективному курсу «Элементы математической логики» (учитель Бевз С.Г.) и утверждено решением педсовета протокол №1 от 30 августа 2010 года