ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр.
(Год выпуска не указан).
Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. Основы Парадигмы Логика предикатов 1-го порядка Семантика логики предикатов Исчисление предикатов 1-го порядка Понятие о полноте неразрешимость исчисления Нормальные формы Унификация Правила...
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач...
Комментарии