Differences

This shows you the differences between two versions of the page.

--- courses:functional_programming:practice [2018/08/30 18:30]
vnikolenko created
+++ courses:functional_programming:practice [2022/12/10 09:08] (current)
@@ 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)}}
+  - Простое типизированное λ-исчисление (λ→) \\ Дедлайн <color #ed1c24>18.10.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_3.pdf |Задание}} \\ {{ :courses:functional_programming:2018_fp_hw_3.zip |Исходник(LaTeX)}}
+==== Haskell ====
+  - Введение в язык \\ Дедлайн <color #ed1c24>01.11.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_4.pdf |Задание}}
+  - Списки, ADT, typeclasses, fold*, Semigroup, Monoid, Foldable \\ Дедлайн <color #ed1c24>30.11.2018 23:59</color>(MSK) \\ {{ :courses:functional_programming:2018_fp_hw_5.pdf |Задание}}

se.moevm.info

User Tools

Site Tools

Differences

Page Tools