Форма для регистрации (ссылка на трансляцию будет разослана зарегистрированным участникам)
Лектор: Ямалеев Марс Мансурович (к.ф.-м.н., доцент, Казанский федеральный университет)
Даты:
24 сентября (среда), 16:20-17:55, ауд. 5213 НГУ
26 сентября (пятница), 16:20-17:55, ауд. 5213 НГУ
29 сентября (понедельник), 16:20-17:55, ауд. 5213 НГУ
Аннотация:
Решение проблемы Поста в 1956 году Мучником и Фридбергом было одним из первых примеров использования приоритетных конструкций. С тех пор активно начали развиваться методы приоритета с конечными и бесконечными нарушениями, и многие современные результаты теории алгоритмов и смежных разделов математики используют различные вариации этих методов. В курсе лекций предполагается рассмотреть структуры, индуцированные различными алгоритмическими сводимостями, и на их примере разобрать ряд типовых приоритетных конструкций. Основное внимание будет уделено структурам m-степеней и тьюринговых степеней для конечных уровней иерархии Ершова.