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

Содержимое удалено Содержимое добавлено
м + Категория: Программирование
+ Стадии развития
Строка 1:
<div style="margin: 1em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{стадии}}</div>
 
Данный учебник представляет собой курс из 11&nbsp;лекций по [[w:Функциональное программирование|функциональному программированию]], читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]].
 
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Структуры данных и базисные операции &mdash; 2|Структуры данных и базисные операции &mdash; 2]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell'а|Служебные слова и синтаксис Haskell'а]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Модули и монады в Haskell'е|Модули и монады в Haskell'е]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Операции ввода/вывода в Haskell'е|Операции ввода/вывода в Haskell'е]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе λ-исчисления]] [[Изображение:025.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:025.png| .]]
 
Автор: '''[[Участник:Dark Magus|Dark Magus]]'''