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

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

правка