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

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

правка