Имя материала: Методика преподавания информатики

Автор: М.П.ЛАПЧИК

15.8. требования к знаниям и умениям учащихся

 

Тема «Введение в Пролог»

 

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

• в чем состоит принципиальное отличие операторного языка от логического.

Тема «Факты. Предикатная форма представления фактов.

Базы данных Пролога. Простые запросы».

 

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

• что такое высказывание;

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

• что такое факт;

• что такое база данных Пролога;

• что такое запрос (вопрос).

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

• записывать факты в предикатной форме;

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

• работать с системой программирования (вводить и редактировать тексты программ, считывать и записывать их в файл);

• организовать простой запрос без использования и с использованием переменной.

 

Тема «Составные запросы. Правила. Базы знаний Пролога»

 

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

• что такое составной запрос;

• что такое правило;

• какова структура правила;

• что такое база знаний.

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

• задать составной запрос к базе данных;

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

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

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

• решать задачи с использованием баз знаний.

 

Тема «Термы Пролога (данные): константы, переменные, составные термы (структуры). Работа Пролога: сопоставление, поиск

в базе знаний, механизм возврата. Управление работой Пролога.

Встроенные предикаты»

 

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

• с какими видами данных работает Пролог;

• что такое переменная на Прологе;

• что такое механизм сопоставления;

• что такое механизм поиска;

• что такое механизм возврата;

• принципы работы предикатов управления поиска.

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

• распознавать термы Пролога;

• проводить ручную трассировку запроса к базам данных и базам знаний Пролога;

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

 

Тема «Решение логических задач на Прологе»

 

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

• метод решения логических задач на установление соответствия между несколькими множествами;

• метод решения логических задач на упорядочивание объектов некоторого множества.

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

• решать логические задачи на метод установления соответствия между несколькими множествами;

• решать логические задачи на метод упорядочивания объектов некоторого множества. ,

 

Тема «Операторы сравнения. Арифметические операторы.

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

операторов сравнения и арифметических операторов»

 

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

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

• арифметические операторы и их запись на Прологе;

• предикаты ввода-вывода.

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

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

• решать вычислительные задачи, используя арифметические операторы;

• составлять диалоговые программы на Прологе.

 

Тема «Рекурсия на Прологе (нисходящая стратегия). Ручная трассировка рекурсивных программ. Решение задач на символьную арифметику. Рекурсия: восходящая стратегия»

 

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

• что такое рекурсивный метод решения задач;

• что такое нисходящая стратегия;

• рекурсивные определения основных арифметических операций;

• что такое восходящая стратегия.

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

• записывать рекурсивные функции на языке математики;

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

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

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

• реализовать арифметические операции на Прологе;

• решать задачи с помощью восходящей стратегии.

 

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

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

Задачи, решаемые с помощью перебора»

 

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

• рекурсивное определение списка;

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

• методы решения задач на списки;

• решения классических задач с помощью списков;

• методы решения переборных задач.

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

• приводить примеры списков;

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

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

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

• решать задачи перебора.

 

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

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

 

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

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

 

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

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

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

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

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

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

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

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

 

Страница: | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 |