Функциональное программирование 2015 — различия между версиями
Материал из SEWiki
(→Лекции и задачи: + видео в CSC) |
|||
| (не показано 11 промежуточных версий 2 участников) | |||
| Строка 4: | Строка 4: | ||
== Результаты == | == Результаты == | ||
| − | * [https://docs.google.com/spreadsheets/d/1UzwiF7ErtWWwi60eeABMgc2Vi5EibYqilwXXul5X8eo/edit | + | * [https://docs.google.com/spreadsheets/d/1BT6QnyI1_203Zczy6P0jBh5rcrj-iR0UYosEBRTTqz8/edit Посещаемость лекций. Баллы у группы Москвина] |
| + | * [https://docs.google.com/spreadsheets/d/1UzwiF7ErtWWwi60eeABMgc2Vi5EibYqilwXXul5X8eo/edit Сданные задачи у группы Исаева] | ||
== Лекции и задачи== | == Лекции и задачи== | ||
| Строка 13: | Строка 14: | ||
! rowspan="2" | Дата | ! rowspan="2" | Дата | ||
! rowspan="2" | Лекции | ! rowspan="2" | Лекции | ||
| + | ! rowspan="2" | Видеозапись (CSC) | ||
! colspan="2" | Практические задачи | ! colspan="2" | Практические задачи | ||
|- | |- | ||
| Строка 21: | Строка 23: | ||
| 12.02.2015 | | 12.02.2015 | ||
| [[Медиа:Fpc01_2015.pdf|Лямбда-исчисление]] | | [[Медиа:Fpc01_2015.pdf|Лямбда-исчисление]] | ||
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1113/#video URL] | ||
| [[Медиа:Fpc01pr_2015.pdf|PDF]] | | [[Медиа:Fpc01pr_2015.pdf|PDF]] | ||
| [[Медиа:FP_HW01_2015.pdf|PDF]] | | [[Медиа:FP_HW01_2015.pdf|PDF]] | ||
|- | |- | ||
! 2 | ! 2 | ||
| − | | | + | | 19.02.2015 |
| − | | [[Медиа:Fpc02_2015.pdf| | + | | [[Медиа:Fpc02_2015.pdf|Рекурсия и редукция]] |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1174/#video URL] | ||
| [[Медиа:Fpc02pr_2015.pdf|PDF]] | | [[Медиа:Fpc02pr_2015.pdf|PDF]] | ||
| [[Медиа:FP_HW02_2015.pdf|PDF]] | | [[Медиа:FP_HW02_2015.pdf|PDF]] | ||
|- | |- | ||
! 3 | ! 3 | ||
| − | | | + | | 26.02.2015 |
| − | | [[Медиа:Fpc03_2015.pdf| | + | | [[Медиа:Fpc03_2015.pdf|Просто типизированное лямбда-исчисление]] |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1176/#video URL] | ||
| [[Медиа:Fpc03pr_2015.pdf|PDF]] | | [[Медиа:Fpc03pr_2015.pdf|PDF]] | ||
| [[Медиа:FP_HW03_2015.pdf|PDF]] | | [[Медиа:FP_HW03_2015.pdf|PDF]] | ||
|- | |- | ||
! 4 | ! 4 | ||
| − | | | + | | 05.03.2015 |
| − | | [[Медиа:Fpc04_2015.pdf| | + | | [[Медиа:Fpc04_2015.pdf|Введение в Haskell]] ([[Медиа:Fp04.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1196/#video URL] | ||
| [[Медиа:Fpc04pr_2015.pdf|PDF]] | | [[Медиа:Fpc04pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW04_2015. | + | | [[Медиа:FP_HW04_2015.hs.zip|HS]] |
|- | |- | ||
! 5 | ! 5 | ||
| − | | | + | | 12.03.2015 |
| − | | [[Медиа:Fpc05_2015.pdf| | + | | [[Медиа:Fpc05_2015.pdf|Программирование на языке Haskell]] ([[Медиа:Fp05.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1222/#video URL] | ||
| [[Медиа:Fpc05pr_2015.pdf|PDF]] | | [[Медиа:Fpc05pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW05_2015. | + | | [[Медиа:FP_HW05_2015.hs.zip|HS]] |
|- | |- | ||
! 6 | ! 6 | ||
| − | | | + | | 19.03.2015 |
| − | | [[Медиа:Fpc06_2015.pdf| | + | | [[Медиа:Fpc06_2015.pdf|Классы типов]] ([[Медиа:Fp06.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1230/#video URL] | ||
| [[Медиа:Fpc06pr_2015.pdf|PDF]] | | [[Медиа:Fpc06pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW06_2015. | + | | [[Медиа:FP_HW06_2015.hs.zip|HS]] |
|- | |- | ||
! 7 | ! 7 | ||
| − | | | + | | 26.03.2015 |
| − | | [[Медиа:Fpc07_2015.pdf| | + | | [[Медиа:Fpc07_2015.pdf|Свёртки]] ([[Медиа:Fp07.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1232/#video URL] | ||
| [[Медиа:Fpc07pr_2015.pdf|PDF]] | | [[Медиа:Fpc07pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW07_2015. | + | | [[Медиа:FP_HW07_2015.zip|HS]] |
|- | |- | ||
! 8 | ! 8 | ||
| − | | | + | | 02.04.2015 |
| − | | [[Медиа:Fpc08_2015.pdf| | + | | [[Медиа:Fpc08_2015.pdf|Аппликативные функторы]] ([[Медиа:Fp08.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1274/#video URL] | ||
| [[Медиа:Fpc08pr_2015.pdf|PDF]] | | [[Медиа:Fpc08pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW08_2015. | + | | [[Медиа:FP_HW08_2015.zip|HS]] |
|- | |- | ||
! 9 | ! 9 | ||
| − | | | + | | 09.04.2015 |
| − | | [[Медиа:Fpc09_2015.pdf| | + | | [[Медиа:Fpc09_2015.pdf|Монады]] ([[Медиа:Fp09.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1276/#video URL] | ||
| [[Медиа:Fpc09pr_2015.pdf|PDF]] | | [[Медиа:Fpc09pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW09_2015. | + | | [[Медиа:FP_HW09_2015.zip|HS]] |
|- | |- | ||
! 10 | ! 10 | ||
| − | | | + | | 16.04.2015 |
| − | | [[Медиа:Fpc10_2015.pdf| | + | | [[Медиа:Fpc10_2015.pdf|Стандартные монады]] ([[Медиа:Fp10.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1314/#video URL] | ||
| [[Медиа:Fpc10pr_2015.pdf|PDF]] | | [[Медиа:Fpc10pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW10_2015. | + | | [[Медиа:FP_HW10_2015.zip|HS]] |
|- | |- | ||
! 11 | ! 11 | ||
| − | | | + | | 23.04.2015 |
| − | | [[Медиа:Fpc11_2015.pdf| | + | | [[Медиа:Fpc11_2015.pdf|Трансформеры монад]] ([[Медиа:Fp11.zip|исходники]]) |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1329/#video URL] | ||
| [[Медиа:Fpc11pr_2015.pdf|PDF]] | | [[Медиа:Fpc11pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW11_2015. | + | | [[Медиа:FP_HW11_2015.zip|HS]] |
|- | |- | ||
! 12 | ! 12 | ||
| − | | | + | | 30.04.2015 |
| − | | [[Медиа:Fpc12_2015.pdf| | + | | [[Медиа:Fpc12_2015.pdf|Алгоритм вывода типов]] |
| + | | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1331/#video URL] | ||
| [[Медиа:Fpc12pr_2015.pdf|PDF]] | | [[Медиа:Fpc12pr_2015.pdf|PDF]] | ||
| − | | [[Медиа:FP_HW12_2015.pdf|PDF]] | + | | [[Медиа:FP_HW12_2015.zip|HS]] |
| + | |- | ||
| + | ! 13 | ||
| + | | 14.05.2015 | ||
| + | | [[Медиа:Fpc13_2015.pdf|Рекурсивные типы]] ([[Медиа:Fp13.zip|исходники]]) | ||
| + | | — | ||
| + | | [[Медиа:Fpc13pr_2015.pdf|PDF]] | ||
| + | | — | ||
| + | |- | ||
| + | ! 14 | ||
| + | | 21.05.2015 | ||
| + | | [[Медиа:Fpc14_2015.pdf|Чисто функциональные структуры данных]] ([[Медиа:Fp14.zip|исходники]]) | ||
| + | | — | ||
| + | | — | ||
| + | | — | ||
|- | |- | ||
|} | |} | ||
Текущая версия на 05:01, 19 июня 2015
Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)
Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (valery.isaev@gmail.com)
Результаты
Лекции и задачи
| № | Дата | Лекции | Видеозапись (CSC) | Практические задачи | |
|---|---|---|---|---|---|
| Группа Москвина | Группа Исаева | ||||
| 1 | 12.02.2015 | Лямбда-исчисление | URL | ||
| 2 | 19.02.2015 | Рекурсия и редукция | URL | ||
| 3 | 26.02.2015 | Просто типизированное лямбда-исчисление | URL | ||
| 4 | 05.03.2015 | Введение в Haskell (исходники) | URL | HS | |
| 5 | 12.03.2015 | Программирование на языке Haskell (исходники) | URL | HS | |
| 6 | 19.03.2015 | Классы типов (исходники) | URL | HS | |
| 7 | 26.03.2015 | Свёртки (исходники) | URL | HS | |
| 8 | 02.04.2015 | Аппликативные функторы (исходники) | URL | HS | |
| 9 | 09.04.2015 | Монады (исходники) | URL | HS | |
| 10 | 16.04.2015 | Стандартные монады (исходники) | URL | HS | |
| 11 | 23.04.2015 | Трансформеры монад (исходники) | URL | HS | |
| 12 | 30.04.2015 | Алгоритм вывода типов | URL | HS | |
| 13 | 14.05.2015 | Рекурсивные типы (исходники) | — | — | |
| 14 | 21.05.2015 | Чисто функциональные структуры данных (исходники) | — | — | — |
