Функциональное программирование 2015 — различия между версиями
Материал из SEWiki
(→Лекции и задачи) |
(→Лекции и задачи: + видео в CSC) |
||
Строка 14: | Строка 14: | ||
! rowspan="2" | Дата | ! rowspan="2" | Дата | ||
! rowspan="2" | Лекции | ! rowspan="2" | Лекции | ||
+ | ! rowspan="2" | Видеозапись (CSC) | ||
! colspan="2" | Практические задачи | ! colspan="2" | Практические задачи | ||
|- | |- | ||
Строка 22: | Строка 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]] | ||
Строка 28: | Строка 30: | ||
| 19.02.2015 | | 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]] | ||
Строка 34: | Строка 37: | ||
| 26.02.2015 | | 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]] | ||
Строка 40: | Строка 44: | ||
| 05.03.2015 | | 05.03.2015 | ||
| [[Медиа:Fpc04_2015.pdf|Введение в Haskell]] ([[Медиа:Fp04.zip|исходники]]) | | [[Медиа: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.hs.zip|HS]] | | [[Медиа:FP_HW04_2015.hs.zip|HS]] | ||
Строка 46: | Строка 51: | ||
| 12.03.2015 | | 12.03.2015 | ||
| [[Медиа:Fpc05_2015.pdf|Программирование на языке Haskell]] ([[Медиа:Fp05.zip|исходники]]) | | [[Медиа: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.hs.zip|HS]] | | [[Медиа:FP_HW05_2015.hs.zip|HS]] | ||
Строка 52: | Строка 58: | ||
| 19.03.2015 | | 19.03.2015 | ||
| [[Медиа:Fpc06_2015.pdf|Классы типов]] ([[Медиа:Fp06.zip|исходники]]) | | [[Медиа: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.hs.zip|HS]] | | [[Медиа:FP_HW06_2015.hs.zip|HS]] | ||
Строка 58: | Строка 65: | ||
| 26.03.2015 | | 26.03.2015 | ||
| [[Медиа:Fpc07_2015.pdf|Свёртки]] ([[Медиа:Fp07.zip|исходники]]) | | [[Медиа: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.zip|HS]] | | [[Медиа:FP_HW07_2015.zip|HS]] | ||
Строка 64: | Строка 72: | ||
| 02.04.2015 | | 02.04.2015 | ||
| [[Медиа:Fpc08_2015.pdf|Аппликативные функторы]] ([[Медиа:Fp08.zip|исходники]]) | | [[Медиа: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.zip|HS]] | | [[Медиа:FP_HW08_2015.zip|HS]] | ||
Строка 70: | Строка 79: | ||
| 09.04.2015 | | 09.04.2015 | ||
| [[Медиа:Fpc09_2015.pdf|Монады]] ([[Медиа:Fp09.zip|исходники]]) | | [[Медиа: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.zip|HS]] | | [[Медиа:FP_HW09_2015.zip|HS]] | ||
Строка 76: | Строка 86: | ||
| 16.04.2015 | | 16.04.2015 | ||
| [[Медиа:Fpc10_2015.pdf|Стандартные монады]] ([[Медиа:Fp10.zip|исходники]]) | | [[Медиа: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.zip|HS]] | | [[Медиа:FP_HW10_2015.zip|HS]] | ||
Строка 82: | Строка 93: | ||
| 23.04.2015 | | 23.04.2015 | ||
| [[Медиа:Fpc11_2015.pdf|Трансформеры монад]] ([[Медиа:Fp11.zip|исходники]]) | | [[Медиа: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.zip|HS]] | | [[Медиа:FP_HW11_2015.zip|HS]] | ||
Строка 88: | Строка 100: | ||
| 30.04.2015 | | 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.zip|HS]] | | [[Медиа:FP_HW12_2015.zip|HS]] | ||
Строка 94: | Строка 107: | ||
| 14.05.2015 | | 14.05.2015 | ||
| [[Медиа:Fpc13_2015.pdf|Рекурсивные типы]] ([[Медиа:Fp13.zip|исходники]]) | | [[Медиа:Fpc13_2015.pdf|Рекурсивные типы]] ([[Медиа:Fp13.zip|исходники]]) | ||
+ | | — | ||
| [[Медиа:Fpc13pr_2015.pdf|PDF]] | | [[Медиа:Fpc13pr_2015.pdf|PDF]] | ||
| — | | — | ||
Строка 100: | Строка 114: | ||
| 21.05.2015 | | 21.05.2015 | ||
| [[Медиа:Fpc14_2015.pdf|Чисто функциональные структуры данных]] ([[Медиа:Fp14.zip|исходники]]) | | [[Медиа: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 | Чисто функциональные структуры данных (исходники) | — | — | — |