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