Название спецкурса на русском языке
Математические модели программ и языков программирования
Перевод названия курса на английский язык
Software and Programming Languages Theory
Авторы курса
Кривчиков Максим Александрович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (весна)
Тип курса
Спецкурс на английском языке
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
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
Дополнительная информация

Дистанционно, запись по email: maxim.krivchikov@gmail.com