Название спецкурса на русском языке
Математические модели программ и языков программирования
Перевод названия курса на английский язык
Software and Programming Languages Theory
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Подразделение
[Кафедра вычислительной математики]
Семестр
Полгода (весна)
Тип курса
Спецкурс на английском языке
Учебный год
2023/24
День недели
понедельник
Время
10:45-12:20
Формат проведения
В аудитории
Аудитория
1316
Аннотация
Страница курса: https://maxxk.github.io/programming-languages/
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
Запись на спецкурс по адресу maxim.krivchikov@math.msu.ru <mailto:maxim.krivchikov@math.msu.ru>
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
Запись на спецкурс по адресу maxim.krivchikov@math.msu.ru <mailto:maxim.krivchikov@math.msu.ru>
Дополнительная информация
Нужна аудитория с работоспособным проектором!