Математические модели программ и языков программирования

Название спецкурса на английском языке
Mathematical models of software and programming languages
Авторы курса
Кривчиков Максим Александрович
Пререквизиты
Желательно — курс «Математические модели вычислений» в осеннем семестре.
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
История и классификация языков программирования
Формальная семантика языков программирования
Статическая типизация и вывод типов
Список источников
https://maxxk.github.io/programming-languages/
День недели
по согласованию
Время
по согласованию
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Курс не читается