Презентации и материалы лекций 2010 года.

Тема

Дата

Лектор

Презентация

Аудио

Видео

0.

Вводная лекция *

23 сентября 2010 года

Артём Гавриченков

Аудиозапись

1.

λ-исчисление. Часть 1.

28 сентября 2010 года

Артём Гавриченков

Презентация

Аудиозапись

Видеозапись (LQ)

2.

λ-исчисление. Часть 2.

5 октября 2010 года

Артём Гавриченков

Презентация

Аудиозапись

Видеозапись

3.

Комбинаторная логика.

12 октября 2010 года

Артём Гавриченков

Презентация

Аудиозапись

Видеозапись

4.

Типизация. Монады. *

19 октября 2010 года

Артём Гавриченков

Презентация

Аудиозапись

Видеозапись

5.

Haskell. Синтаксис.

26 октября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись

6.

Haskell. Синтаксис. Часть 2.

2 ноября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись

7.

Haskell. Классы.

9 ноября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись (LQ)

8.

Haskell. Монады (ч. 1).

16 ноября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись (LQ)

9.

Haskell. Монады (ч. 2, IO).

23 ноября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись (LQ)

10.

Haskell. Ленивый IO. Исключения.

30 ноября 2010 года

Фёдор Сахаров

Презентация

Аудиозапись

Видеозапись

11.

Haskell. CPS. Call-with-current-continuation

14 декабря 2010 года

Артём Гавриченков

Презентация

Аудиозапись

Видеозапись (LQ)

* Материал лекции не входит в вопросы к экзамену

Creative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License.

Haskell: 2010/Lectures (last edited 2010-12-22 11:04:36 by host67-184-155-90)