Functional and Logical Programming


Mainpage
Literature
  1. Классификация языков программирования
  2. Mathematica. Работа со списками
  3. Lisp. Cемантика и синтаксис
  4. Lisp. Базовые Функции
  5. Lisp. Логика и управление
  6. Лямбда исчисление
  7. LINQ
  8. История формализации математических оснований
  9. Теорема Гёделя о неполноте (ТГН). Постановка задачи
  10. ТГН. Начальные понятия теории алгоритмов
  11. ТГН. Простейшие критерии неполноты
  12. ТГН. Элементы арифметической логики. Язык арифметики.
  13. Аксиомы теории алгоритмов. (тезисы построения доказательства ТГН)
  14. Основы алгоритмической энтропии или сложности по Колмогорову. Условная Колмогоровская сложность
  15. Реляционный язык Prolog. Логическое программирование.
  16. Логическое программирование. Объекты, отношения, свойства. Понятие логического вывода
  17. Prolog. Структура программы. Структуры данных в Прологе
  18. Prolog. Синтаксис и базовые предикаты языка. Факты, запросы, переменные, сложные цели и правила
  19. Prolog. Рекурсия и основные приемы логического программирования
  20. Prolog. Управление поиском. Отсечение
  21. Haskell. Обзор

[Программа минимум] [Вопросы]