courses:functional_programming:practice
Differences
This shows you the differences between two versions of the page.
|
courses:functional_programming:practice [2018/09/24 19:16] vnikolenko added problems 2 |
courses:functional_programming:practice [2022/12/10 09:08] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Домашние задания ====== | + | |
| - | > [[https://docs.google.com/spreadsheets/d/1f7I0XWk_GpFVNDqsz2OxhF6e1mho3crDf-5sVh0ZEe4/edit?usp=sharing|2018 Результаты]] | + | |
| - | <note> | + | |
| - | Решения первых трех заданий(λ-исчисление и типы) присылаются на почту.\\ | + | |
| - | Формат: предпочтительно - pdf(лучше верстать в LaTeX), но можно и markdown или даже plain text в кодировке utf8.\\ | + | |
| - | В теме письма обязательно укажите [leti_fp]. | + | |
| - | Также в письме не забудьте указать группу и ФИО. | + | |
| - | </note> | + | |
| - | ==== λ-исчисление и типы ==== | + | |
| - | - Подстановка, комбинаторы, логические значения, нумералы Чёрча \\ Дедлайн <color #ed1c24>20.09.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_1.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_1.zip |Исходник(LaTeX)}} | + | |
| - | - Нумералы Чёрча, списки, комбинаторы неподвижной точки, редукционные графы, нормальные формы(NF,HNF,WHNF) \\ Дедлайн <color #ed1c24>04.10.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_2.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_2.zip |Исходник(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
