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