Основы функционального программирования: различия между версиями

ЭтоДанный покаучебник —представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории [[w:Функциональное программирование|функционального программирования]] как одного из направлений [[w:Дискретная математика|дискретной математики]].

#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе <math>\lambda</math>λ-исчисления]]