2.3. Тематический план

по заочной форме обучения

для студентов со средним профессиональным,

высшим профессиональным образованием

№ п/п	Наименование разделов и тем	Количество часов
		Всего	Лекции	Практ.	Самост. работа
1. Раздел: Логика высказываний
1.1	Логика высказываний	4	-	-	4
1.2	Исчисления	4	-	-	4
1.3	Непротиворечивость	2	-	-	2
1.4	Полнота	2	-	-	2
1.5	Логическое следование	2	-	-	2
1.6	Принцип дедукции	2	-	-	2
1.7	Метод резолюций	4	-	-	4
2. Раздел: Логика предикатов
2.1	Логика предикатов	4	-	-	4
2.2	Синтаксис и семантика языка логики предикатов	2	-	-	2
2.3	Клаузальная форма	4	-	-	4
2.4	Метод резолюций в логике предикатов	4	-	2	2
2.5	Логическое программирование	4	-	-	4
2.6	Темпоральные логики	4	1	-	3
2.7	Нечеткая и модальные логики	4	1	-	3
2.8	Нечеткая арифметика	2	-	-	2
2.9	Аксиоматическая логика Ч. Хоара	4	1	-	3
2.10	Аксиоматические системы	4	1	-	3
2.11	Формальный вывод	2	-	-	2
2.12	Метатеория формальных систем	2	-	-	2
3. Раздел: Теория алгоритмов
3.1	Понятие алгоритмической системы	4	1	-	3
3.2	Рекурсивные функции	4	-	-	4
3.3	Формализация понятия алгоритма	4	1	-	3
3.4	Машина Тьюринга	4	-	2	2
3.5	Тезис Черча	2	-	-	2
3.6	Алгоритмически неразрешимые проблемы	2	-	-	2
3.7	Меры сложности алгоритмов	2	-	-	2
3.8	Легко и трудноразрешимые задачи	2	-	-	2
3.9	Классы задач P и NP	4	-	-	4
3.10	NP-полные задачи	2	-	-	2
3.11	Понятие сложности вычислений	2	-	-	2
3.12	Эффективные алгоритмы	2	-	-	2
3.13	Основы нечеткой логики	4	-	-	4
3.14	Элементы алгоритмической логики	2	-	-	2
Итого:		100	6	4	90