This shows you the differences between two versions of the page.
Next revision Both sides next revision | |||
courses:functional_programming:practice [2018/08/30 18:30] vnikolenko created |
courses:functional_programming:practice [2018/09/10 22:23] vnikolenko first task |
||
---|---|---|---|
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)}} | ||
+ | |||
+ | ==== Haskell ==== |