- 1 курс
- 2 курс
- 3 курс
- 4 курс
- 5 курс
- 6 курс
Old
Sidebar
courses:functional_programming:practice
Table of Contents
Домашние задания
Решения первых трех заданий(λ-исчисление и типы) присылаются на почту.
Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.
В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.
Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.
В теме письма обязательно укажите [leti_fp]. Также в письме не забудьте указать группу и ФИО.
λ-исчисление и типы
- Подстановка, комбинаторы, логические значения, нумералы Чёрча
Дедлайн 20.09.2018 23:59(MSK)
Задание
Исходник(LaTeX) - Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF)
Дедлайн 04.10.2018 23:59(MSK)
Задание
Исходник(LaTeX)
Haskell
courses/functional_programming/practice.txt · Last modified: 2022/12/10 09:08 (external edit)
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
