Логического программирования

Таблица 15.4

Тематическое планирование курса «Язык программирования

Пролог» (В.Каймин, Ю.Завальский, ИНФО № 6, 1991)

Тема	Учебный материал	Кол-во часов
1 . Введение в Пролог	Факты и вопросы в языке Пролог. Правила вывода. Понятие базы знаний
Определение понятий в Прологе. Логические связки «и», «или», «не»
Суждения. Рассуждения. Принципы поиска ответа в Прологе
Предикаты над списками. Принадлежность элемента списку. Включение списков
2. Экспертные системы	Понятия и обобщения. Понятие ведущего признака. Классификация и систематизация
3. Элементы логического программирования	Графические предикаты Пролога. Композиция графических предикатов. Рекурсивные описания
Арифметические предикаты. Рекурсивные задания числовых функций
4. Использование языка Пролог	Композиция графических изображений
Понятие и примеры грамматик. Грамматический разбор
Формулы и их преобразования. Примеры формульных преобразований.
Примеры решения математических задач. Организация вычислений в Прологе
	Всего:	36ч

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

Таблица 15.5

Тематическое планирование курса «Логика и язык программирования Пролог» (В.Каймин, Ю.Завальский, ИНФО № 6, 1991)

Тема	Учебный материал
1. Введение в логику	Элементы формальной логики: понятия и высказывания, сложные высказывания, логические связки
Символьная логика: переменные высказывания, дизъюнкция, конъюнкция, отрицание и импликация
Машинная логика: биты и логические операции. Таблицы истинности. Переключательные схемы
2. Элементы математической логики	Исчисление высказываний. Преобразование высказываний. Правила де Моргана
Исчисление предикатов, ванторы общности и существования. Отрицание общих суждений и контрпримеры
3. Элементы теории Доказательств	Основные правила дедуктивного вывода. Принципы индукции
Понятие об аксиоматических теориях
Понятие конструктивного доказательства. Математический синтез
4. Введение в теорию рекурсии	Конструктивные объекты: списки, деревья, сети. Рекурсивные функции над списками
Числовые функции и их графики
5. Введение в рекурсивный анализ	Элементы аналитический геометрии: координатный метод. Примеры построения сложных композиций
Примеры порождающих грамматик
Тождества и равносильные преобразования. Примеры равносильных преобразований
Смешанные вычисления. Конкретизация правил

Примечание. Разбивка по часам между темами авторами не приводится. В целом курс рассчитан на 136 ч.

Таблица 15.6

Тематическое планирование курса «Язык программирования