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

Севрунов, Антон Александрович

View/Open:

vkr_sevrunov_sokrashchennaya.pdf (1.517 Mb)

URI (for links/citations):

https://elib.sfu-kras.ru/handle/2311/28837

Author:

Севрунов, Антон Александрович

Scientific Advisor:

Цих, Август Карлович

Corporate Contributor:

Институт математики и фундаментальной информатики

Кафедра теории функций

Date:

2016

Bibliographic Citation:

Севрунов, Антон Александрович. Вычисление фундаментальной группы окружности в гомотопической теории типов [Электронный ресурс] : выпускная квалификационная работа бакалавра : 01.03.01 / А. А. Севрунов. — Красноярск : СФУ, 2016.

Graduate Speciality:

01.03.01 Математика

Academic Degree or Qualification:

Бакалавр

Текст работы публикуется с изъятиями.

Collections:

Выпускные квалификационные работы бакалавров и специалистов [20273]

Metadata:

Show full item record