Программирование с зависимыми типами осень 2017

Материал из SEWiki
Версия от 12:34, 4 октября 2017; E.f.suvorov (обсуждение | вклад) (→‎Практика)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Преподаватель: Исаев В. И.

Лекции

Практика

Результаты домашних заданий

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Программирование_с_зависимыми_типами_осень_2017&oldid=12915»