Основы функционального программирования: различия между версиями
Содержимое удалено Содержимое добавлено
Gribozavr (обсуждение | вклад) м категория |
D'ohBot (обсуждение | вклад) м робот косметические изменения |
||
Строка 1: | Строка 1: | ||
[[ |
[[Файл: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|.:]] |
||
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[ |
#[[Основы функционального программирования/Структуры данных и базисные операции — 2|Структуры данных и базисные операции — 2]] [[Файл:075.png|.:]] |
||
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[ |
#[[Основы функционального программирования/Основы языка Haskell|Основы языка Haskell]] [[Файл:075.png|.:]] |
||
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell|Служебные слова и синтаксис Haskell]] [[ |
#[[Основы функционального программирования/Служебные слова и синтаксис Haskell|Служебные слова и синтаксис Haskell]] [[Файл:075.png|.:]] |
||
#[[Основы функционального программирования/Модули и монады в Haskell|Модули и монады в Haskell]] [[ |
#[[Основы функционального программирования/Модули и монады в Haskell|Модули и монады в Haskell]] [[Файл:075.png|..]] |
||
#[[Основы функционального программирования/Операции ввода-вывода в Haskell|Операции ввода-вывода в Haskell]] [[ |
#[[Основы функционального программирования/Операции ввода-вывода в Haskell|Операции ввода-вывода в Haskell]] [[Файл:075.png|..]] |
||
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[ |
#[[Основы функционального программирования/Конструирование функций|Конструирование функций]] [[Файл:075.png| .]] |
||
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[ |
#[[Основы функционального программирования/Доказательство свойств функций|Доказательство свойств функций]] [[Файл:075.png| .]] |
||
#[[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления|Формализация функционального программирования на основе λ-исчисления]] [[ |
#[[Основы функционального программирования/Формализация функционального программирования на основе лямбда-исчисления|Формализация функционального программирования на основе λ-исчисления]] [[Файл:075.png| .]] |
||
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[ |
#[[Основы функционального программирования/Трансформация программ|Трансформация программ]] [[Файл:075.png| .]] |
||
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по функциональному программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
Первоначальный текст: [http://roman-dushkin.narod.ru/fp.html Лекции по функциональному программированию]. Автор — '''[[Участник:Dark Magus|Душкин Р. В.]]''' |
Версия от 18:34, 9 сентября 2009
Этот учебник составлен из 11 лекций по функциональному программированию, прочитанных студентам четвёртого курса кафедры кибернетики МИФИ. Первые лекции посвящены функциональному языку программирования Haskell, а оставшаяся часть — теории функционального программирования как одного из направлений дискретной математики.
Стадии развития викиучебников | ||||
---|---|---|---|---|
Недавно созданный | Разрабатываемый: | Растущий: | Разработанный: | Законченный текст |
- Вводная лекция
- Структуры данных и базисные операции
- Структуры данных и базисные операции — 2
- Основы языка Haskell
- Служебные слова и синтаксис Haskell
- Модули и монады в Haskell
- Операции ввода-вывода в Haskell
- Конструирование функций
- Доказательство свойств функций
- Формализация функционального программирования на основе λ-исчисления
- Трансформация программ
Первоначальный текст: Лекции по функциональному программированию. Автор — Душкин Р. В.