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

Материал из Викиучебника — открытых книг для открытого мира
Содержимое удалено Содержимое добавлено
м робот косметические изменения
мНет описания правки
Строка 1: Строка 1:
[[Файл:haskell.png|right|Логотип языка Haskell]]
[[Файл:haskell.png|right|Логотип языка Haskell]]


Этот учебник составлен из 11 лекций по [[w:Функциональное программирование|функциональному программированию]], прочитанных студентам четвёртого курса кафедры кибернетики [[w:Московский инженерно-физический институт|МИФИ]]. Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]].
Этот учебник составлен из [http://roman-dushkin.narod.ru/fp.html 11 лекций] по [[w:Функциональное программирование|функциональному программированию]], которые автор '''[[Участник:Dark Magus|Роман Викторович ДУШКИН]]''' — читал студентам четвёртого курса кафедры кибернетики [[w:Московский инженерно-физический институт|МИФИ]]. Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]].


<div style="margin-left: 1em;clear:both; margin-top: 1em; margin-right: 0.3em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{Стадии}}</div>
<div style="margin-left: 1em;clear:both; margin-top: 1em; margin-right: 0.3em; padding: 0.3em; border: 1px solid #eee; background-color: #efe; color: #232; float: right;">{{Стадии}}</div>
Строка 16: Строка 16:
#[[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления|Формализация функционального программирования на основе λ-исчисления]] [[Файл:075.png| .]]
#[[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления|Формализация функционального программирования на основе λ-исчисления]] [[Файл:075.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Файл:075.png| .]]
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Файл:075.png| .]]

Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по функциональному программированию]. Автор — '''[[Участник:Dark Magus|Душкин&nbsp;Р.&nbsp;В.]]'''


[[Категория:Основы функционального программирования|*]]
[[Категория:Основы функционального программирования|*]]

Версия от 11:10, 6 мая 2011

Логотип языка Haskell
Логотип языка Haskell

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

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