Название спецсеминара на английском языке
Mathematical foundations of computer science
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра МаТИС]
Семестр
Полгода (осень)
Учебный год
2025/26
Список тем
Верификация программ
Распределенные алгоритмы
Смарт-контракты и технология блокчейн
Протоколы распределенных вычислений
Распределенные алгоритмы
Смарт-контракты и технология блокчейн
Протоколы распределенных вычислений
Список источников
2023 Методы верификации программ
Миронов А.М.
место издания ДМК Пресс Москва, ISBN 978-5-93700-278-5, 335 с.
2025 Процессный подход к верификации криптографических протоколов
Миронов А.М.
в журнале Системная информатика, № 28, с. 65-106
2016 Криптографические протоколы, часть 1
Миронов А.М.
место издания Москва электронная публикация, 119 с.
Миронов А.М.
место издания ДМК Пресс Москва, ISBN 978-5-93700-278-5, 335 с.
2025 Процессный подход к верификации криптографических протоколов
Миронов А.М.
в журнале Системная информатика, № 28, с. 65-106
2016 Криптографические протоколы, часть 1
Миронов А.М.
место издания Москва электронная публикация, 119 с.
День недели
пятница
Время
18:30-20:05
Аудитория
429
Дата первого занятия
Аудитория первого занятия
429