Что: Лекция
Когда: Пятница, 14 февраля 2014, 18:30–19:50
Где:
Слайды: func_prog_lecture_140214.pdf

Описание

Введение. Функциональное и императивное программирование. Лямбда-исчисление. Применение и абстракция. Свободные и связанные переменные. Комбинаторы. Функции нескольких переменных, каррирование. Подстановка, лемма подстановки. Бета-преобразование. Эта-преобразование. Расширение чистого лямбда-исчисления: дельта-преобразование.

Материалы