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

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

Линейный

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

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

Автор: Dark Magus

@@ Строка 1: / Строка 1: @@
-Это пока — курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории [[w:Функциональное программирование|функционального программирования]] как одного из направлений [[w:Дискретная математика|дискретной математики]].
+Данный учебник представляет собой курс из 11 лекций по функциональному программированию, читаемый студентам четвёртого курса кафедры Кибернетики МИФИ ([[w:Московский инженерно-физический институт|Московского инженерно-физического института]]). Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории [[w:Функциональное программирование|функционального программирования]] как одного из направлений [[w:Дискретная математика|дискретной математики]].
 #[[Основы функционального программирования/Вводная лекция|Вводная лекция]]
@@ Строка 10: / Строка 10: @@
 #[[Основы функционального программирования/Конструирование функций|Конструирование функций]]
 #[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]]
-#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе <math>\lambda</math>-исчисления]]
+#[[Основы функционального программирования/Формализация ФП на основе lambda-исчисления|Формализация ФП на основе λ-исчисления]]
 #[[Основы функционального программирования/Трансформация программ|Трансформация программ]]