Системы типизации лямбда-исчисления: выложено видео

[deniok]

Всем, кто интересовался курсом, который я читаю в Computer Science клубе при ПОМИ РАН.

Лекториум.тв выложило видео первых 6 лекций (ну точнее пяти с половиной, поскольку на третью лекцию они опоздали:)

Comments

[lomeo.livejournal.com]

О, спасибо! Заценим :)

[deni-ok.livejournal.com]

ты-то и так всё знаешь ;-)

[lomeo.livejournal.com]

Повторенье - мать ученья! :)

[kurilka.livejournal.com]

Спасибищи от не особо всё знающих :)

[yantayga.livejournal.com]

Спасибо )

[(Anonymous)]

надо бы это дело на торрент трекер закинуть

[enerjazzer.livejournal.com]

+1. И презентации в нормальном формате каком-нть одним кусочком.

Отпишитесь, кто закинет, пожалуйста. А то сил нет тормозилово с инета смотреть

[deni-ok.livejournal.com]

Презентации в pdf есть здесь
http://logic.pdmi.ras.ru/csclub/courses/systemsoftypedlambdacalculi

[enerjazzer.livejournal.com]

премного благодарен!

[(Anonymous)]

> А то сил нет тормозилово с инета смотреть

позволю себе заметить, что на странице лекции на Лекториуме в плеере справа внизу есть стрелочка - это кнопка для скачивания.

Re:

[(Anonymous)]

> А то сил нет тормозилово с инета смотреть

позволю себе заметить, что на странице лекции на Лекториуме в плеере справа внизу есть стрелочка - это кнопка для скачивания.

[bik-top.livejournal.com]

> в плеере справа внизу есть стрелочка - это кнопка для скачивания.

А есть ли где-нибудь прямые ссылки (для менеджера закачек)?