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