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