 |
 |
|||||||
|
СОДЕРЖАНИЕ КУРСА “ЭЛЕМЕНТЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ” В КЛАССАХ С УГЛУБЛЕННЫМ ИЗУЧЕНИЕМ ИНФОРМАТИКИ Добудько Татьяна Валерьяновна, Мысин Михаил Николаевич, Самарский государственный педагогический университет, г. Самара. Приводится содержание курса “Элементы логического программирования” для классов с углубленным изучением информатики
Поскольку Пролог сегодня применяется для разработки быстрых прототипов прикладных программ, при создании приложений для управления производственными процессами, в процессе проектирования динамических реляционных баз данных, для реализации экспертных систем и их оболочек и во многих других случаях, постольку мы считаем необходимым преподавание основ логического программирования (на базе Пролога) в специализированных классах с углубленным изучением информатики. Изучение Пролога позволит, на наш взгляд, должным образом познакомить уже выбравших свою жизненную стезю учащихся как с достижениями в области разработки экспертных систем, так и с существующими в этой области проблемами. При этом можно надеяться, что изучение названного языка не вызовет больших затруднений у учащихся специализированных классов (при наличии превосходных знаний по математической логике), чего нельзя ожидать от обычного школьника. Содержание курса “Элементы логического программирования” для классов с углубленным изучением информатики может быть представлено в таком виде (в скобках указано количество часов, отводимых на изучение той или иной темы). Элементы формальной логики (Исчисление высказываний: синтаксис и семантика (2). Выполнимые и общезначимые формулы (1). Конъюнктивные нормальные формы (2). Хорновские дизъюнкты и метод резолюций (1). Синтаксис и семантика исчисления предикатов (2). От формальной логике к логическому программированию (1).) Классический Пролог (Логические программы. Основные конструкции: факты, правила, запросы (4)) Turbo-Prolog (Синтаксис основных конструкций в системе Turbo-Prolog (2). Понятие декларативной модели Пролог-программы (2). Редактирование, компиляция и запуск Пролог-программ (4). Логические операции в Пролог-программах. Предположение о замкнутости мира (2). Решение задач (2).) Элементы программирования в системе Turbo-Prolog (Арифметика. Логические программы обработки целочисленных величин (2). Обработка строк и списков (2).) Проектирование экспертных систем (Встроенные предикаты для работы с окнами, графиками файлами (2). Динамические базы данных (4). Пример экспертной системы (2). Создание собственной экспертной системы (10).) При изучение данного курса можно использовать пособие [1]. Литература
|
