Основы и преимущества функционального программирования (чистые функции, неизменяемость, концепция монад)
Лямбда-исчисление (Lambda Calculus) и истоки функционального программирования: от теории Алонзо Чёрча до Lisp и Haskell