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

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