Название спецсеминара на английском языке
Mathematical tasks in computer science
Авторы курса
Миронов Андрей Михайлович
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (весна)
Учебный год
2025/26
Список тем
Теоретические задачи верификации программ
Системы верификации Coq и Isabelle
Смарт-контракты
Криптографические протоколы
Распределенные алгоритмы
Список источников
книга А.М.Миронов "Методы верификации программ", изд. ДМК-пресс, 2023
День недели
пятница
Время
18:30-20:05
Аудитория
429
Аудитория первого занятия
Ещё не назначена