Логическое программирование
Информатика и вычислительная техника
Статья
  • формат doc, exe, hlp, pdf, txt
  • размер 7.29 МБ
  • добавлен 11 апреля 2016 г.
Математическая логика и логическое программирование
ВМиК МГУ, Москва, лектор - Захаров В.А., 100 стр.
(Год выпуска не указан).
Конспект лекций (восстановлен из текстового файла).
Презентации к курсу лекций (1400 слайдов).
Натуральный вывод (сводный файл).
Секвенциальное исчисление (сводный файл).
Материалы к экзамену.
Программные материалы к курсу лекций.