Functional and Logical Programming
Mainpage
Literature
- Классификация языков программирования
- Mathematica. Работа со списками
- Lisp. Cемантика и синтаксис
- Lisp. Базовые Функции
- Lisp. Логика и управление
- Лямбда исчисление
- LINQ
- История формализации математических оснований
- Теорема Гёделя о неполноте (ТГН). Постановка задачи
- ТГН. Начальные понятия теории алгоритмов
- ТГН. Простейшие критерии неполноты
- ТГН. Элементы арифметической логики. Язык арифметики.
- Аксиомы теории алгоритмов. (тезисы построения доказательства ТГН)
- Основы алгоритмической энтропии или сложности по Колмогорову. Условная Колмогоровская сложность
- Реляционный язык Prolog. Логическое программирование.
- Логическое программирование. Объекты, отношения, свойства. Понятие логического вывода
- Prolog. Структура программы. Структуры данных в Прологе
- Prolog. Синтаксис и базовые предикаты языка. Факты, запросы, переменные, сложные цели и правила
- Prolog. Рекурсия и основные приемы логического программирования
- Prolog. Управление поиском. Отсечение
- Haskell. Обзор
[Программа минимум] [Вопросы]