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

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
+ Стадии развития
мНет описания правки
Строка 1: Строка 1:
<div style="margin: 1em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{стадии}}</div>
<div style="margin-left: 1em; margin-top: 0.3em; margin-right: 0.3em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{Стадии}}</div>


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

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

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

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

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

Автор: Dark Magus

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