Повестка
Принятие к предварительному рассмотрению диссертации на соискание ученой степени кандидата физико-математических наук по специальности
1.1.5. - Математическая логика, алгебра, теория чисел и дискретная математика
Соискатель
Нечесов Андрей Витальевич
Тема диссертации
Полиномиальная вычислимость в семантическом программировании
Диссертация (Дата размещения: 20 декабря 2022 г.)
Научный руководитель:
академик РАН, д.ф.-м.н., профессор Гончаров Сергей Савостьянович (заведующий лабораторией теории вычислимости и прикладной логики Института математики им. С. Л. Соболева СО РАН)