Уважаемые коллеги!

7 мая (четверг) 2020 г. в 17:20 на онлайн-платформе в Microsoft Teams состоится заседание интернет-семинара "Теория вычислимости". Доступ к семинару по Ссылке.

Докладчик: научный сотрудник НОМЦ Приволжского федерального округа (КФУ), к.ф.-м.н. Ямалеев Марс Мансурович

Название доклада: «Об определимости в.п. степеней в 2-в.п. степенных структурах».

Аннотация: В докладе будут рассмотрены 2-в.п. степенные структуры, индуцированные тьюринговой, wtt- и m-сводимостями. Будут рассмотрены подходы для решения известной проблемы об определимости в.п. тьюринговых степеней в структуре 2-в.п. тьюринговых степеней. Также будут анонсированы успехи и продвижения при решении различных вариаций этой проблемы.

Приглашаем Всех желающих принять участие!