Название спецкурса на русском языке

Конструктивная логика

Перевод названия курса на английский язык
Constructive logic
Авторы курса
Плиско Валерий Егорович
Целевая аудитория
3 курс
4 курс
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полугодовой, весна
Тип курса
Спецкурс по выбору кафедры
Аннотация
Краткое содержание курса:
элементы конструктивной математики;
конструктивные семантики логико-математических и логических языков.
Как проходит
дистанционно (Zoom); veplisko@yandex.ru
Учебный год
2020/21