Функциональное программирование 2015 — различия между версиями

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Лекции и задачи: + видео в CSC)
 
(не показано 14 промежуточных версий 2 участников)
Строка 2: Строка 2:
  
 
Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (<b>valery.isaev@gmail.com</b>)
 
Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (<b>valery.isaev@gmail.com</b>)
 +
 +
== Результаты ==
 +
* [https://docs.google.com/spreadsheets/d/1BT6QnyI1_203Zczy6P0jBh5rcrj-iR0UYosEBRTTqz8/edit Посещаемость лекций. Баллы у группы Москвина]
 +
* [https://docs.google.com/spreadsheets/d/1UzwiF7ErtWWwi60eeABMgc2Vi5EibYqilwXXul5X8eo/edit Сданные задачи у группы Исаева]
  
 
== Лекции и задачи==
 
== Лекции и задачи==
Строка 10: Строка 14:
 
! rowspan="2" | Дата  
 
! rowspan="2" | Дата  
 
! rowspan="2" | Лекции  
 
! rowspan="2" | Лекции  
 +
! rowspan="2" | Видеозапись (CSC)
 
! colspan="2" | Практические задачи  
 
! colspan="2" | Практические задачи  
 
|-
 
|-
Строка 18: Строка 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|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_HW21_2015.pdf|PDF]]
+
  | [[Медиа:FP_HW02_2015.pdf|PDF]]
 
|-
 
|-
 
  ! 3
 
  ! 3
−
  |  
+
  | 26.02.2015
−
  | [[Медиа:Fpc03_2015.pdf|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|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.pdf|PDF]]
+
  | [[Медиа:FP_HW04_2015.hs.zip|HS]]
 
|-
 
|-
 
  ! 5
 
  ! 5
−
  |  
+
  | 12.03.2015
−
  | [[Медиа:Fpc05_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW05_2015.hs.zip|HS]]
 
|-
 
|-
 
  ! 6
 
  ! 6
−
  |  
+
  | 19.03.2015
−
  | [[Медиа:Fpc06_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW06_2015.hs.zip|HS]]
 
|-
 
|-
 
  ! 7
 
  ! 7
−
  |  
+
  | 26.03.2015
−
  | [[Медиа:Fpc07_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW07_2015.zip|HS]]
 
|-
 
|-
 
  ! 8
 
  ! 8
−
  |  
+
  | 02.04.2015
−
  | [[Медиа:Fpc08_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW08_2015.zip|HS]]
 
|-
 
|-
 
  ! 9
 
  ! 9
−
  |  
+
  | 09.04.2015
−
  | [[Медиа:Fpc09_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW09_2015.zip|HS]]
 
|-
 
|-
 
  ! 10
 
  ! 10
−
  |  
+
  | 16.04.2015
−
  | [[Медиа:Fpc10_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW10_2015.zip|HS]]
 
|-
 
|-
 
  ! 11
 
  ! 11
−
  |  
+
  | 23.04.2015
−
  | [[Медиа:Fpc11_2015.pdf|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.pdf|PDF]]
+
  | [[Медиа:FP_HW11_2015.zip|HS]]
 
|-
 
|-
 
  ! 12
 
  ! 12
−
  |  
+
  | 30.04.2015
−
  | [[Медиа:Fpc12_2015.pdf|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|исходники]])
 +
| —
 +
| —
 +
| —
 
|-
 
|-
 
|}
 
|}
 +
 +
 +
[[Category:5 курс. Весна 2015]]

Текущая версия на 05:01, 19 июня 2015

Лектор — Денис Николаевич Москвин (dmoskvin@gmail.com)

Практика — Денис Николаевич Москвин, Валерий Иванович Исаев (valery.isaev@gmail.com)

Результаты

Лекции и задачи

№ Дата Лекции Видеозапись (CSC) Практические задачи
Группа Москвина Группа Исаева
1 12.02.2015 Лямбда-исчисление URL PDF PDF
2 19.02.2015 Рекурсия и редукция URL PDF PDF
3 26.02.2015 Просто типизированное лямбда-исчисление URL PDF PDF
4 05.03.2015 Введение в Haskell (исходники) URL PDF HS
5 12.03.2015 Программирование на языке Haskell (исходники) URL PDF HS
6 19.03.2015 Классы типов (исходники) URL PDF HS
7 26.03.2015 Свёртки (исходники) URL PDF HS
8 02.04.2015 Аппликативные функторы (исходники) URL PDF HS
9 09.04.2015 Монады (исходники) URL PDF HS
10 16.04.2015 Стандартные монады (исходники) URL PDF HS
11 23.04.2015 Трансформеры монад (исходники) URL PDF HS
12 30.04.2015 Алгоритм вывода типов URL PDF HS
13 14.05.2015 Рекурсивные типы (исходники) — PDF —
14 21.05.2015 Чисто функциональные структуры данных (исходники) — — —
Источник — «http://mit.spbau.ru/sewiki/index.php?title=Функциональное_программирование_2015&oldid=6095»