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

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


Этот учебник составлен из 11 лекций по [[w:Функциональное программирование|функциональному программированию]], прочитанных студентам четвёртого курса кафедры кибернетики [[w:Московский инженерно-физический институт|МИФИ]]. Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]].
Этот учебник составлен из 11 лекций по [[w:Функциональное программирование|функциональному программированию]], прочитанных студентам четвёртого курса кафедры кибернетики [[w:Московский инженерно-физический институт|МИФИ]]. Первые лекции посвящены функциональному языку программирования [[w:Haskell|Haskell]], а оставшаяся часть — теории функционального программирования как одного из направлений [[w:Дискретная математика|дискретной математики]].
Строка 5: Строка 5:
<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>


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


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

Версия от 18:34, 9 сентября 2009

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

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

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

Первоначальный текст: Лекции по функциональному программированию. Автор — Душкин Р. В.