Название: Методика преподавания информатики - Лапчик М.П.

Жанр: Информатика

Рейтинг:

Просмотров: 959


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

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

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

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

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

 

 

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

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

 

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

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

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

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

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

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

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

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

 

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

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

 

Таблица 15.4

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

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

 

Тема

Учебный материал

Кол-во часов

1 . Введение в Пролог

 

 

 

 

Факты и вопросы в языке Пролог. Правила вывода. Понятие базы знаний

3

Определение понятий в Прологе. Логические связки «и», «или», «не»

3

Суждения. Рассуждения. Принципы поиска ответа в Прологе

5

Предикаты над списками. Принадлежность элемента списку. Включение списков

3

2. Экспертные системы

Понятия и обобщения. Понятие ведущего признака. Классификация и систематизация

4

3. Элементы логического программирования

 

 

Графические предикаты Пролога. Композиция графических предикатов. Рекурсивные описания

3

Арифметические предикаты. Рекурсивные задания числовых функций

2

4. Использование языка Пролог

 

 

 

 

Композиция графических изображений

2

Понятие и примеры грамматик. Грамматический разбор

3

Формулы и их преобразования. Примеры формульных преобразований.

3

Примеры решения математических задач. Организация вычислений в Прологе

3

 

Всего:

36ч


Оцените книгу: 1 2 3 4 5