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

Материал из SEWiki
Перейти к: навигация, поиск
(→‎Лекции и задачи: + видео в CSC)
 
(не показано 16 промежуточных версий 2 участников)
Строка 1: Строка 1:
−
Лектор - Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)
+
Лектор — Денис Николаевич Москвин (<b>dmoskvin@gmail.com</b>)
  
−
Практика - Денис Николаевич Москвин, Валерий Иванович Исаев (<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 Сданные задачи у группы Исаева]
  
−
{| border="1"
+
== Лекции и задачи==
 +
 
 +
{| border="1" style="border-collapse:collapse;" cellpadding="4"
 
  |-
 
  |-
−
!Лекция 1
+
! rowspan="2" | №
−
  |Лямбда-исчисление
+
! rowspan="2" | Дата
−
  |Слайды [[Медиа:fpc01.pdf|PDF]]
+
! rowspan="2" | Лекции
−
  |-
+
! rowspan="2" | Видеозапись (CSC)
−
!Лекция 2
+
! colspan="2" | Практические задачи
−
  |
+
|-
−
  |Слайды [[Медиа:fpc02.pdf|PDF]]
+
! Группа Москвина
−
  |-
+
! Группа Исаева
−
!Практика 2
+
|-
−
  |
+
! 1
−
  |Слайды [[Медиа:fpc02pr.pdf|PDF]]
+
  | 12.02.2015
−
|-
+
| [[Медиа:Fpc01_2015.pdf|Лямбда-исчисление]]
−
!Лекция 3
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1113/#video URL]
−
  |
+
  | [[Медиа:Fpc01pr_2015.pdf|PDF]]
−
  |Слайды [[Медиа:fpc03.pdf|PDF]]
+
  | [[Медиа:FP_HW01_2015.pdf|PDF]]
−
  |-
+
|-
−
!Лекция 4
+
! 2
−
  |
+
  | 19.02.2015
−
  |Слайды [[Медиа:fpc04.pdf|PDF]]
+
  | [[Медиа:Fpc02_2015.pdf|Рекурсия и редукция]]
−
  |-
+
  | [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1174/#video URL]
−
!Лекция 5
+
  | [[Медиа:Fpc02pr_2015.pdf|PDF]]
−
  |
+
  | [[Медиа:FP_HW02_2015.pdf|PDF]]
−
  |Слайды [[Медиа:fpc05.pdf|PDF]]
+
|-
−
  |-
+
! 3
−
!Лекция 6
+
  | 26.02.2015
−
  |
+
| [[Медиа:Fpc03_2015.pdf|Просто типизированное лямбда-исчисление]]
−
  |Слайды [[Медиа:fpc06.pdf|PDF]]
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1176/#video URL]
−
  |-
+
  | [[Медиа:Fpc03pr_2015.pdf|PDF]]
−
!Лекция 7
+
  | [[Медиа:FP_HW03_2015.pdf|PDF]]
−
  |
+
|-
−
  |Слайды [[Медиа:fpc07.pdf|PDF]]
+
! 4
−
  |-
+
  | 05.03.2015
−
!Лекция 8
+
  | [[Медиа:Fpc04_2015.pdf|Введение в Haskell]] ([[Медиа:Fp04.zip|исходники]])
−
  |
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1196/#video URL]
−
  |Слайды [[Медиа:fpc08.pdf|PDF]]
+
| [[Медиа:Fpc04pr_2015.pdf|PDF]]
−
  |-
+
  | [[Медиа:FP_HW04_2015.hs.zip|HS]]
−
!Лекция 9
+
|-
−
  |
+
! 5
−
  |Слайды [[Медиа:fpc09.pdf|PDF]]
+
  | 12.03.2015
−
  |-
+
  | [[Медиа:Fpc05_2015.pdf|Программирование на языке Haskell]] ([[Медиа:Fp05.zip|исходники]])
−
!Лекция 10
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1222/#video URL]
−
  |
+
| [[Медиа:Fpc05pr_2015.pdf|PDF]]
−
  |Слайды [[Медиа:fpc10.pdf|PDF]]
+
  | [[Медиа:FP_HW05_2015.hs.zip|HS]]
−
  |-
+
|-
−
!Лекция 11
+
! 6
−
  |
+
  | 19.03.2015
−
  |Слайды [[Медиа:fpc11.pdf|PDF]]
+
  | [[Медиа:Fpc06_2015.pdf|Классы типов]] ([[Медиа:Fp06.zip|исходники]])
−
  |-
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1230/#video URL]
−
!Лекция 12
+
| [[Медиа:Fpc06pr_2015.pdf|PDF]]
−
  |
+
  | [[Медиа:FP_HW06_2015.hs.zip|HS]]
−
  |Слайды [[Медиа:fpc12.pdf|PDF]]
+
|-
−
  |-
+
! 7
−
!Лекция 13
+
  | 26.03.2015
−
  |
+
  | [[Медиа:Fpc07_2015.pdf|Свёртки]] ([[Медиа:Fp07.zip|исходники]])
−
  |Слайды [[Медиа:fpc13.pdf|PDF]]
+
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1232/#video URL]
−
  |-
+
| [[Медиа:Fpc07pr_2015.pdf|PDF]]
−
!Лекция 14
+
  | [[Медиа:FP_HW07_2015.zip|HS]]
−
  |
+
|-
−
  |Слайды [[Медиа:fpc14.pdf|PDF]]
+
! 8
−
  |-}
+
  | 02.04.2015
 +
  | [[Медиа:Fpc08_2015.pdf|Аппликативные функторы]] ([[Медиа:Fp08.zip|исходники]])
 +
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1274/#video URL]
 +
| [[Медиа:Fpc08pr_2015.pdf|PDF]]
 +
  | [[Медиа:FP_HW08_2015.zip|HS]]
 +
|-
 +
! 9
 +
  | 09.04.2015
 +
  | [[Медиа:Fpc09_2015.pdf|Монады]] ([[Медиа:Fp09.zip|исходники]])
 +
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1276/#video URL]
 +
| [[Медиа:Fpc09pr_2015.pdf|PDF]]
 +
  | [[Медиа:FP_HW09_2015.zip|HS]]
 +
|-
 +
! 10
 +
  | 16.04.2015
 +
  | [[Медиа:Fpc10_2015.pdf|Стандартные монады]] ([[Медиа:Fp10.zip|исходники]])
 +
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1314/#video URL]
 +
| [[Медиа:Fpc10pr_2015.pdf|PDF]]
 +
  | [[Медиа:FP_HW10_2015.zip|HS]]
 +
|-
 +
! 11
 +
  | 23.04.2015
 +
  | [[Медиа:Fpc11_2015.pdf|Трансформеры монад]] ([[Медиа:Fp11.zip|исходники]])
 +
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1329/#video URL]
 +
| [[Медиа:Fpc11pr_2015.pdf|PDF]]
 +
  | [[Медиа:FP_HW11_2015.zip|HS]]
 +
|-
 +
! 12
 +
  | 30.04.2015
 +
  | [[Медиа:Fpc12_2015.pdf|Алгоритм вывода типов]]
 +
| [https://compscicenter.ru/courses/func-prog/2015-spring/classes/1331/#video URL]
 +
| [[Медиа:Fpc12pr_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»