Publication: Исследование и реализация системы интерактивного изучения доказательств в математической логике
Дата
2020
Авторы
Шедько, А. Ю.
Journal Title
Journal ISSN
Volume Title
Издатель
Аннотация
Описание
Уровень образования: магистратура; Код направления/специальности: 09.04.04; Группа: М18-504
Ключевые слова
ВКР , Выпускная квалификационная работа
Цитирование
Шедько, А. Ю. Исследование и реализация системы интерактивного изучения доказательств в математической логике : Выпускная квалификационная работа, магистратура, 09.04.04 / А. Ю. Шедько ; рук. работы Шапкин П.А., 2020