• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФакультетыУчебные курсы

Automatic proof checking and algorithm verification

Учебный год: 2018/2019
Преподаватели: Колмаков Евгений Александрович (ведет семинары и принимает экзамены/зачеты), Кузнецов Степан Львович (читает лекции и принимает экзамены/зачеты)
Язык: английский
Уровень: Бакалавриат
Направление: 01.03.02. Прикладная математика и информатика
Когда читается: 4-й курс, 1, 2 модуль
Кредитов: 5