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

Нет описания правки
(Оформлены ссылки на разделы)
ЭтоДанный покаучебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории [[w:Функциональное программирование|функционального программирования]] как одного из направлений [[w:Дискретная математика|дискретной математики]].
 
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]]
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]]
#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе <math>\lambda</math>λ-исчисления]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]]
 
271

правка