Новости НОМЦ Приволжского федерального округа

Состоялось заседание научного семинара «Теория вычислимости»

Семинар прошел на онлайн-платформе Zoom. С докладом на тему «Теорема Купера о разложении и её обобщения» выступил научный сотрудник НОМЦ Приволжского федерального округа, к.ф.-м.н. Ямалеев Марс Мансурович. В рамках доклада было подробно рассмотрено доказательство теоремы Купера о разложении собственных 2-в.п. тьюринговых степеней. На основе анализа доказательства были рассмотрены возможные обобщения этой теоремы. Одним из таких обобщений является разложимость произвольной собственной 2-в.п. степени с избеганием верхнего конуса произвольной другой собственной 2-в.п. степени при условии, что они образуют интервал без в.п. степеней.

Ознакомиться с расписанием предстоящих докладов семинара «Теория вычислимости» можно на странице семинара.

Анонс предстоящего заседания научного семинара «Теория вычислимости»:
Время: 17 июня (среда) 2020 г. 16:00 (мск.)
Докладчик: Зайнетдинов Дамир Хабирович (к.ф.-м.н., ассистент кафедры алгебры и математической логики ИМиМ им. Н.И. Лобачевского КФУ).
Название доклада: «Структурные свойства предельно монотонной сводимости множеств».
Аннотация: В рамках доклада будут рассмотрены структурные свойства предельно монотонной сводимости множеств, в частности, будет показано существование максимальной пары множеств. Приводится обзор недавних результатов, а также будут поставлены открытые вопросы для дальнейших исследований.

Для участия в семинаре необходимо подключиться 17 июня после 15:50 по московскому времени к конференции Zoom по ссылке:
https://us04web.zoom.us/j/2252869439?pwd=MUhEbS95QlNkM0h2eHFzb2ErTURDZz09

Идентификатор конференции: 225 286 9439
Пароль: 7TVbdK 
Новости