Прикладной курс "Элементы математической логики"
05 Февраля 14, 17:13

Прикладной курс «Элементы математической логики»

9-10класс
математика

Одной из центральных проблем, стоящих перед педагогической наукой и практикой, является создание единой системы умственного развития школьников. Эта проблема не может быть разрешена без воспитания логической культуры учащихся.
  
Как известно, логика в школе специально не изучается, но современному школьнику определенный минимум логических знаний и умений совершенно необходим. Чтобы в этом убедиться, достаточно просмотреть школьные учебники по различным предметам. Многие задания в них содержат требование выполнить то или иное действие логического характера: доказать, обосновать, определить, расклассифицировать, сделать вывод. Логические знания и умения, получаемые на уроках математики, учащиеся используют только в самой математике, не переносят их на другие учебные предметы, не могут использовать их в других ситуациях. Необходимо учить школьников использовать логические понятия и в других дисциплинах.


Содержание курса

§1 Логика как наука (3ч)
История и значение логики. Основные характеристики процесса познания, законы логики и принципы правильного решения.

§2 Логика высказываний (7ч)
Высказывания и их виды. Запись высказываний в виде формул отрицания, конъюнкции, дизъюнкции, импликации, эквивалентности. Диаграммы Эйлера- Венна. Операции над высказываниями. Простые и сложные высказывания, доказательство их с помощью таблиц истинности.

§3 Алгебра логики (10ч)
Логическое следование. Тавтология. Высказывательные формы. Операции над высказывательными формами. Кванторы. Многоместные высказывательные формы. Символическая логика.

§4 Дедуктивные умозаключения (5ч)
Математическое понятие, необходимое и достаточное условие в определении понятий. Доказательство способом от противного. Необходимое и достаточное условие при решении задач. Дедуктивные умозаключения. Правдоподобные умозаключения.

§5 Индуктивные умозаключения (9ч)
Виды индукций и их характеристики. Полная и неполная математическая индукция. Гипотезы, софизмы, парадоксы.

№ Содержание

§1 Логика как наука
1 История и значение логики. Основные характеристики процесса познания 1
2 Законы логики и принципы правильного решения 1
3 Примеры решения логических задач 1

§2 Логика высказываний
4 Логика высказываний 1
5 Диаграммы Эйлера- Венна 1
6 Простые и сложные высказывания 1
7 Операции над высказываниями 1
8 Доказательство истинности высказывания 1
9,10 Решение логических задач 2

§3Алгебра логики
11 Тавтология 1
12 Логическое следование 1
13 Высказывательные формы 1
14,15 Операции над высказывательными формами 2
16 Кванторы, применение кванторов 1
17 Многоместные высказывательные формы 1
18 Отрицание высказываний, содержащих кванторы 1
19,20 Уравнения, неравенства, тождества 2

§4 Дедуктивные умозаключения
21 Математическое понятие, его определение. Условие необходимое и достаточное в определении понятий 1
22 Строение математической теоремы. Связь необходимых и достаточных условий с прямыми и обратными теоремами 1
23 Доказательство способом от противного 1
24 Необходимые и достаточные условия при решении задач 1
25 Дедуктивные умозаключения, правдоподобные умозаключения 1

§5 Индуктивные умозаключения
26 Виды индукций и их характеристики 1
27 Полная и неполная индукции 1
28,29 Метод полной индукции 2
30 Построение гипотезы и этапы её развития 1
31 Подтверждение и опровержение гипотезы 1
32 Софизмы и парадоксы 1
33 Обобщающий урок 1
34 Итоговый урок 1

Категория: Шейкина Ольга Васильевна | Добавил: tangens63 | Теги: логика, 9-10 класс, прикладной курс
Просмотров: 2137 | Загрузок: 1 | Рейтинг: 1.0/1
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]