Название спецкурса на русском языке
Математические модели вычислений
Перевод названия курса на английский язык
Mathematical models of computation
Авторы курса
Васенин Валерий Александрович, Кривчиков Максим Александрович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
В осеннем семестре рассматриваются фундаментальные вопросы формальных моделей вычислений и утверждения, ограничивающие применимость методов формальной верификации. Слушатели получат представление о теоретических основаниях дедуктивных методов формальной верификации программ на примере разновидностей типизированного λ-исчисления.
Дополнительная информация

дистанционно по средам в 9:00, трансляции на платформе VK. Связь с преподавателем — maxim.krivchikov@gmail.com