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

Содержимое удалено Содержимое добавлено

Линейный

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

Стадии развития викиучебников
Недавно созданный	Разрабатываемый:	Растущий:	Разработанный:	Законченный текст

Данный учебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ (Московского инженерно-физического института). Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.

Автор: Dark Magus

Внешние ссылки

Оригинальный текст лекций: Лекции по Функциональному Программированию

@@ Строка 1: / Строка 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]]
+#[[Основы функционального программирования/Структуры данных и базисные операции &mdash; 2|Структуры данных и базисные операции &mdash; 2]] [[Изображение:050.png|..]]
-#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]]
+#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]]
-#[[Основы функционального программирования/Служебные слова и синтаксис Haskell'а|Служебные слова и синтаксис Haskell'а]]
+#[[Основы функционального программирования/Служебные слова и синтаксис Haskell'а|Служебные слова и синтаксис Haskell'а]] [[Изображение:050.png|..]]
-#[[Основы функционального программирования/Модули и монады в Haskell'е|Модули и монады в Haskell'е]]
+#[[Основы функционального программирования/Модули и монады в Haskell'е|Модули и монады в Haskell'е]] [[Изображение:050.png|..]]
-#[[Основы функционального программирования/Операции ввода/вывода в Haskell'е|Операции ввода/вывода в Haskell'е]]
+#[[Основы функционального программирования/Операции ввода/вывода в Haskell'е|Операции ввода/вывода в Haskell'е]] [[Изображение:050.png|..]]
-#[[Основы функционального программирования/Конструирование функций|Конструирование функций]]
+#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Изображение:025.png| .]]
-#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]]
+#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Изображение:025.png| .]]
-#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе λ-исчисления]]
+#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе λ-исчисления]] [[Изображение:025.png| .]]
-#[[Основы функционального программирования/Трансформация программ|Трансформация программ]]
+#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Изображение:025.png| .]]
 Автор: '''[[Участник:Dark Magus|Dark Magus]]'''