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

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


#[[Основы функционального программирования/Вводная лекция]]
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]]
#[[Основы функционального программирования/Структуры данных и базисные операции]]
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]]
#[[Основы функционального программирования/Структуры данных и базисные операции — 2]]
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]]
#[[Основы функционального программирования/Основы языка Haskell]]
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]]
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell'а]]
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell'а|Служебные слова и синтаксис Haskell'а]]
#[[Основы функционального программирования/Модули и монады в Haskell'е]]
#[[Основы функционального программирования/Модули и монады в Haskell'е|Модули и монады в Haskell'е]]
#[[Основы функционального программирования/Операции ввода/вывода в Haskell'е]]
#[[Основы функционального программирования/Операции ввода/вывода в Haskell'е|Операции ввода/вывода в Haskell'е]]
#[[Основы функционального программирования/Конструирование функций]]
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]]
#[[Основы функционального программирования/Доказательство свойств функций]]
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]]
#[[Основы функционального программирования/Формализация ФП на основе l-исчисления]]
#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе <math>\lambda</math>-исчисления]]
#[[Основы функционального программирования/Трансформация программ]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]]


Автор: [[Участник:Dark Magus|Dark Magus]]
Автор: [[Участник:Dark Magus|Dark Magus]]

Версия от 06:53, 6 февраля 2006