Главная
Биография
Научные труды
Дисциплины
Лекции (old)
Программное обеспечение
Дипломники
Материалы студентов
Заметки
Сотрудничество
Патенты
Услуги
Ссылки
Блог
Контакты
ФОРУМ
Курс лекций по Функционально - логическому программированию
Лекции:
Лекция 1.
Основные понятия логического программирования (термы, унификация, ..)
Лекция 2.
Структура логической программы. Предикаты, факты и правила.
Лекция 3.
Механизм поиска в логическом программировании.
Лекция 4.
Динамическая база данных. Рекурсии (в т.ч. хвостовая рекурсия)
Лекция 5.
Функции в логическом программировании.
Лекция 6.
Visual Prolog. ООП в Visual Prolog
Лекция 7.
Лекция 8.
Лекция 9.
Лекция 10.
Лабораторные работы:
Лабораторная работа 1.
Основные понятия логического программирования (термы, унификация, ..)
Лабораторная работа 2.
Структура логической программы. Предикаты, факты и правила.
Лабораторная работа 3.
Механизм поиска в логическом программировании.
Лабораторная работа 4.
Динамическая база данных. Рекурсии (в т.ч. хвостовая рекурсия)
Лабораторная работа 5.
Функции в логическом программировании.
Лабораторная работа 6.
Visual Prolog. ООП в Visual Prolog
Лабораторная работа 7.
Лабораторная работа 8.
Лабораторная работа 9.
Лабораторная работа 10.
Вопросы к экзамену (МИППС) >>
Задание на курсовой проект >>
Варианты заданий для самостоятельной работы студентов >>
Литература про Прологу >>
Серьезные применения Пролога >>
Хаскель
Пролог
Scala
Oz
Переводы статей
Читаемые курсы лекций
Нейросети
Искусственный интеллект
Методы оптимизации
ПИС
Сетевая экономика
БД
МПИ
АСД
ПО ЭИС
НТИС
ФЛП
МатЛогика
Ч.М.Э.
МиИМППР
Интернет-технологии
Web-технологии
Machine Learning
Технологическая динамика
Курсовые работы и проекты
Каталоги научных журналов
Не использовать материалы сайта для GPT-моделей и генеративного формирования изображений
Связь (по всем вопросам) с администратором сайта E-mail:
sneveld@rambler.ru
При использовании материалов сайта просьба указывать ссылку
http://www.shumkoff.ru
и первоисточники (если указаны)
Обмен ссылками
Карта сайта