Город:
Тест
Санкт-Петербург
Новосибирск
Казань
Язык:
Русский
English
О клубе
Расписание
Курсы
Преподаватели
Международные школы
Войти
Регистрация
Лекция 7. Доказательство теорем
Программирование с зависимыми типами на языке Idris
Что:
Лекция
Когда:
Суббота, 18 февраля 2017, 19:15–20:50
Где:
ПОМИ РАН
Описание
Слайды к этой лекции объединены со слайдами к лекции 6.
Видео
