Приглашаем студентов бакалавриата ФИТ НГУ пройти обучение по факультативной дисциплине «Допустимые множества и вычислимость» в следующем учебном году.
Факультатив рассчитан на студентов ФИТ НГУ, имеющих представление о математической логике и классической теории вычислимости над натуральными числами. Для обучающихся магистратуры и обучающихся других факультетов данный факультатив доступен без включения его результатов в приложение к диплому.
Основной целью данного факультатива служит изучение естественного подхода к определению вычислимости над произвольными алгебраическими структурами, основанного на теории допустимых множеств - слабом фрагменте теории множеств - и связанных с ним результатов. В частности, предполагается выявление глубокой связи классической теории вычислимости с теорией множеств, перенесение классических результатов теории вычислимости и изучение влияния свойств исходных структур на свойства обобщенной вычислимости над ними.
Объём факультатива – 216 часов (6 з.е.), продолжительность два семестр, форма аттестации – зачёт.
Руководители: д.ф.-м.н., профессор Морозов А.С. и д.ф.-м.н., профессор Пузаренко В.Г.
Регистрация открыта до 25 апреля 2024 г. включительно, является обязательной и включает два этапа:.
-
Заполнение онлайн-формы
-
Заполнение бланка индивидуального плана и предоставление его в деканат
