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

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

Тематическое планирование курсов

Тема «Применение Пролога: понимание естественного

Тема «Структуры данных: бинарные деревья. Основные

предикаты. Решение задач с помощью бинарных деревьев»

Учащиеся должны знать:

• что такое бинарное дерево;

• что такое линейное, сбалансированное, упорядоченное бинарное дерево;

• связь между списками и линейными бинарными деревьями;

• как бинарные деревья записываются на Прологе;

• основные предикаты работы с бинарными деревьями.

Учащиеся должны уметь:

• приводить примеры бинарных деревьев;

• приводить примеры линейных, сбалансированных, упорядоченных бинарных деревьев;

• применять методы построения сбалансированных и упорядоченных бинарных деревьев;

• записывать бинарные деревья на Прологе;

• исполнять задачи на бинарные деревья в режиме ручной трассировки;

• решать задачи на бинарные деревья с помощью основных предикатов работы с бинарными деревьями.

языка (КС-грамматики)»

Учащиеся должны знать:

• что такое КС-грамматики;

• назначение программы «синтаксический анализатор».

Учащиеся должны уметь: *

• приводить примеры программ «синтаксических анализаторов»;

• строить программы «синтаксические анализаторы» по заданному правилу;

• по определенной фразе формулировать и строить программы «синтаксические анализаторы»;

• генерировать фразы с помощью «синтаксических анализаторов».

Таблица 15.4

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

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

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

Таблица 15.5

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

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

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

Таблица 15.6

Дата добавления: 2014-12-27