Название спецкурса на русском языке
Математические модели программ и языков программирования
Перевод названия курса на английский язык
Software and Programming Languages Theory
Авторы курса
Кривчиков Максим Александрович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (весна)
Тип курса
Спецкурс на английском языке
Учебный год
2021/22
День недели
среда
Время
10:45-12:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
Course topics include:
history and classification of programming languages
formal semantics of programming languages
specification of domain-specific programming languages
static typing and type inference
Дополнительная информация

Среда, 10:45, дистанционно (с использованием факультетского Teams).