Вычисление фундаментальной группы окружности в гомотопической теории типов

Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/28837
Автор:
Севрунов, Антон Александрович
Научный руководитель:
Цих, Август Карлович
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра теории функций
Дата:
2016
Библиографическое описание:
Севрунов, Антон Александрович. Вычисление фундаментальной группы окружности в гомотопической теории типов [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / А. А. Севрунов. — Красноярск : СФУ, 2016.
Специальность выпускной работы:
01.03.01 Математика
Учёная степень или квалификация, на которую выполнена работа:
Бакалавр

Текст работы публикуется с изъятиями.
Коллекции:
Метаданные:
Показать полную информацию