Название спецкурса на русском языке
Математические модели вычислений
Перевод названия курса на английский язык
Mathematical models of computation
Целевая аудитория
5 курс
6 курс
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2023/24
День недели
пятница
Время
10:45-12:20
Формат проведения
В аудитории
Аудитория
[Ещё не назначена]
Аннотация
В осеннем семестре рассматриваются фундаментальные вопросы формальных моделей вычислений и утверждения, ограничивающие применимость методов формальной верификации. Слушатели получат представление о теоретических основаниях дедуктивных методов формальной верификации программ на примере разновидностей типизированного λ-исчисления.
Дополнительная информация
Начало курса — с 15 сентября.
Время и место проведения может измениться по договорённости со слушателями. Обязательна предварительная запись по email: maxim.krivchikov@math.msu.ru