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

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
мНет описания правки
м Пометка второго раздела
Строка 4: Строка 4:


#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:075.png|.:]]
#[[Основы функционального программирования/Вводная лекция|Вводная лекция]] [[Изображение:075.png|.:]]
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Структуры данных и базисные операции|Структуры данных и базисные операции]] [[Изображение:075.png|.:]]
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]]
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Изображение:050.png|..]]

Версия от 13:10, 22 февраля 2006

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

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

  1. Вводная лекция .:
  2. Структуры данных и базисные операции .:
  3. Структуры данных и базисные операции — 2 ..
  4. Основы языка Haskell ..
  5. Служебные слова и синтаксис Haskell'а ..
  6. Модули и монады в Haskell'е ..
  7. Операции ввода/вывода в Haskell'е ..
  8. Конструирование функций .
  9. Доказательство свойств функций .
  10. Формализация ФП на основе λ-исчисления .
  11. Трансформация программ .

Автор: Dark Magus

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