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

Первое занятие - 10 сентября

Ссылка на книгу

День недели
пятница
Время
18:30-20:05
Аудитория
413
Дата первого занятия
Аудитория первого занятия
413