Лекция 1. С.Л. Кузнецов. Лямбда-исчисление