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

Календарно-тематическое планирование по элективному предмету «Математика и логика» 11 класс

№	Содержание материала		Количество	Дата
п/п			часов
	Предмет и значение логики.		6
1	Формы чувственного познания.		1
2	Формы абстрактного мышления.		1
3	Функции языка и речи. Виды речи.		1
4	Семантические категории.		1
5	Как возникла и развивалась логика.		1
6	Роль логики в повышении культуры мышления и в		1
	образовании.
	Понятие		14
7	Основные логические приёмы формирования понятий.		1
8	Содержание и объём понятия. Омонимы и синонимы.		1
9	Понятия общие и единичные, конкретные и абстрактные,		1
	относительные и безотносительные.
10	Положительные и отрицательные, собирательные и		1
	несобирательные понятия.
11	Совместимые понятия. Несовместимые понятия.		1
12	Реальные и номинальные определения в математике.		1
	Правила явного определения понятий.
13	Ошибки, возможные в определении понятий.		1
14	Приёмы, сходные с определением понятий.		1
15	Виды деления. Правила деления понятий.		1
16	Классификация в математике.	1
17	Ограничение понятий. Обобщение понятий.	1
18	Объединение классов и пересечение классов.	1
19	Вычитание классов. Дополнение к классу А.	1
20	Зачёт по теме «Понятие»	1
	Суждение (высказывание)	8
21	Простое суждение. Структуры и виды простых суждений.	1
22	Объединенная классификация простых суждений по	1
	качеству и количеству.
23	Распределённость терминов в категорических суждениях.	1
24	Сложное суждение и его виды.	1
25	Построение таблиц истинности.	1
26	Виды вопросов. Предпосылки вопросов.	1
27	Логическая структура и виды ответов.	1
28	Зачёт по теме «Суждение»	1
	Законы (принципы) правильного мышления.	5
29	Основные характеристики правильного мышления.	1
30	Определённость, последовательность,	1
	непротиворечивость и доказательность.
31	Законы тождества и его применение в математике.	1
32	Законы непротиворечия. Закон исключённого третьего. Закон достаточного основания .	1
33	Использование формально- логических законов в	1
	обучении, в том числе на уроках математики.
	Дедуктивные умозаключения	7
34	Структура умозаключения. Виды умозаключений.	1
35	Понятие дедуктивного умозаключения.	1
36	Непосредственные умозаключения (обращение,	1
	превращение, противопоставление предикату)
37	Состав, фигуры, модусы, правила категорического	1
	силлогизма. Энтимема. Полисиллогизмы. Сориты.
38	Условные умозаключения. Чисто - условные. Условно-	1
	категорические умозаключения.
39	Разделительные умозаключения. Дилеммы. Трилеммы.	1
40	Зачёт по теме «Дедуктивные умозаключения»	1
	Математическая (символическая) логика.	14
	Современная дедуктивная логика.
41	Операции с классами.	1
42	Построение исключения высказываний.	1
43	Наиболее часто употребляемые схемы правильных	1
	рассуждений (умозаключений). Отрицание сложных суждений (высказываний).
44	Выражение логических связок (логических постоянных) в	1
	естественном языке. Логическое следствие.
45	Равносильные формулы. Доказательство законов,	1
	выражающих эквивалентную замену.
46	Доказательство эквивалентности двух выражений путём		1
	эквивалентных преобразований.
47	Доказательство тождественной истинности формул		1
	приведением их к КНФ.
48	Выведение всех простых следствий из данных посылок		1
	методом Порецкого-Блэка
49	Приложение логики высказываний к анализу и синтезу		1
	контактных и электронных схем.
50	Язык логики предикатов. Запись суждений А, Е, I, О на языке предикатов.		1
51	Правила отрицания кванторов.  «Логический квадрат»		1
52	Понятие о неклассических логиках.		1
53	Проблема интерпретации многозначных логик, m-		1
	значная логика Э.Поста
54	Бесконечно- значимые логики А.Д.Гетмановой как		1
	обобщение логики Э.Поста.
	Индуктивные умозаключения.		3
55	Виды индукции: полная, неполная и математическая.		1
56	Индуктивные методы установления причинных связей.		1
57	Индуктивные и дедуктивные методы изложения учебного		1
	материала в математике.
	Умозаключения по аналогии.		3
58	Аналогия свойств и аналогия отношений. Строгая, нестрогая и ложная аналогии.		1
59	Аналогия- логическая основа метода моделирования в		1
	науке и технике.
60	Использование аналогий в процессе обучения учебных		1
	предметов.
	Искусство доказательства и опровержения.		5
61	Структура доказательства. Прямое и косвенное доказательство.		1
62	Правила доказательного рассуждения по отношению к		1
	тезису, к аргументам, к форме доказательства.
63	Логические ошибки в доказательстве.		1
64	Понятие о логических парадоксах, паралогизмах и		1
	софизмах.
65	Зачёт по теме «Искусство доказательства и		1
	опровержения» в форме диспута.
	Гипотеза		3
66	Виды гипотез: общие, частные, единичные.		1
67	Построение гипотезы и этапы её развития. Способы подтверждения гипотез и способы опровержения гипотез.		1
68	Роль логики в математике, в познании, в жизни.		1