• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Бакалавриат 2018/2019

Автоматизированная проверка доказательств и верификация алгоритмов

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