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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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