Введение в теорию программирования. Функциональный подход
Вступительная лекция
Классификация языков программирования
Концепция и возможности подхода .NET
Функциональный подход к программированию
Ламбда-исчисление как формализация языка функционального программирования
Введение
Теоретические сведения
Функции и типы
Типы, объекты и методы .NET
Задание
Варианты заданий
Комбинаторная логика как формальная система
Теория типов и комбинаторная логика
Теоретические сведения
Задание
Варианты заданий
Синтаксис языков программирования
Семантика языков программирования
Теоретические сведения
Задание
Варианты заданий
Рекурсивные функции и множества
Теоретические сведения
Задание
Абстрактные машины и категориальная комбинаторная логика
Категориальная абстрактная машина
Оптимизация вычислений и абстрактные машины
Теоретические сведения
Задание
