Научный семинар «Теория вычислимости»
Руководители: М.М. Арсланов, И.Ш. Калимуллин.
e-mail: Marat.Arslanov@kpfu.ru, ikalimul@gmail.com
семинары проходят еженедельно по средам,
ауд. 501, ул. Кремлевская, д. 35.
В период ограничительных мер семинар проходит на онлайн-платформе Zoom.
Предстоящие семинары
Прошедшие семинары
Предстоящие семинары
Уважаемые коллеги! Научный семинар «Теория вычислимости» лаборатории «Алгебра и математическая логика» НОМЦ Приволжского федерального округа делает небольшой перерыв в своей работе. Семинар продолжит свою работу в начале сентября.
Расписание предстоящих докладов будет объявлено дополнительно.
сентябрь
Прошедшие семинары
Зайнетдинов Дамир Хабирович
(к.ф.-м.н., ассистент кафедры алгебры и математической логики ИМиМ им. Н.И. Лобачевского КФУ)
Название доклада: «Структурные свойства предельно монотонной сводимости множеств».
Аннотация: В рамках доклада будут рассмотрены структурные свойства предельно монотонной сводимости множеств, в частности, будет показано существование максимальной пары множеств. Приводится обзор недавних результатов, а также будут поставлены открытые вопросы для дальнейших исследований.

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

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

17 июня (среда) 2020
в 16:00
платформа Zoom

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

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

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

10 июня (среда) 2020
в 17:00
на платформе Zoom

Михайловская Яна Алексеевна
(аспирант кафедры алгебры и математической логики Института математики и механики им. Н.И. Лобачевского)
Название доклада: «Вычислимые линейные порядки, обогащённые отношениями специального вида».
Аннотация: Работа посвящена исследованию взаимосвязей отношений S^n_L на вычислимом линейном порядке L. В работе построены примеры вычислимых линейных порядков, на которых отношения S^n_L и S^{n+1}_L имеют разные тьюринговые степени. Была исследована замкнутость наверх в классе всех вычислимо перечислимых степеней отношения S^n_L на вычислимых линейных порядках, не являющихся \eta-схожими, а также была изучена вычислимая категоричность вычислимых линейных порядков специального вида.

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

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

3 июня (среда) 2020 г. в 16:00
на платформе Zoom

Баженов Николай Алексеевич
(к.ф.-м.н., старший научный сотрудник лаборатории теории вычислимости и прикладной логики Института математики имени С.Л. Соболева СО РАН, г. Новосибирск)
Название доклада: «О полурешётках Роджерса в аналитической иерархии».

Аннотация:
В докладе рассматриваются нумерации семейств множеств, принадлежащих классам аналитической иерархии. Приводится обзор недавних результатов о типах изоморфизма и элементарных теориях для соответствующих полурешёток Роджерса.

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

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


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

20 мая (среда) 2020 г. в 16:00
на платформе Zoom

Зубков Максим Витальевич
(к.ф.-м.н., доцент кафедры алгебры и математической логики ИМиМ им. Н.И. Лобачевского КФУ)
Название доклада: «О категоричности и би-вложимой категоричности разреженных линейных порядков».

Аннотация доклада: В докладе будут даны точные верхние и нижние оценки на уровни категоричности и уровни би-вложимой категоричности разреженных линейных порядков.

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

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

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

13 мая (среда) 2020 г.
в 16:00
на платформе Zoom

Ямалеев Марс Мансурович
(к.ф.-м.н., научный сотрудник НОМЦ Приволжского
федерального округа)
Название доклада: «Об определимости в.п. степеней в 2-в.п. степенных структурах».

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

С презентацией доклада можно ознакомиться по ссылке.
Видеозапись семинара доступна по ссылке.

7 мая (четверг) 2020 г.
в 17:20 на платформе
Microsoft Teams

Бызов Виктор Александрович
(старший преподаватель кафедры прикладной математики и информатики Вятского государственного университета (ВятГУ, г. Киров)
Название доклада: «Исследование свойств орбит преобразования Донахью».

Приглашаем Всех желающих принять участие!
5 марта 2020 г.
17.00, ауд. 610,
II-ое высотное здание КФУ, ул.Кремлевская,
д. 35.

Пузаренко Вадим Григорьевич
(доктор физико-математических наук (доцент), ведущий научный сотрудник Института математики
им. С.Л. Соболева СО РАН, г. Новосибирск)
Название доклада: «Фридберговы представления в обобщенной вычислимости» (И.Ш. Калимуллин, В.Г. Пузаренко, М.Х. Файзрахманов)

Аннотация:
Будет приведен обзор результатов, посвящённых существованию разрешимых, позитивных и негативных представлений в аналитической иерархии и на допустимых множествах, полученных в настоящую пятилетку.

Приглашаем Всех желающих принять участие!
13 декабря (пятница), 17:20, ауд. 510,
II-ое высотное здание КФУ, ул. Кремлевская,
д. 35.

Благовещенская Екатерина Анатольевна
д.ф.-м.н., профессор, заведующая кафедрой «Высшей математики» Петербургского государственного университета путей сообщения Императора Александра I
(г. Санкт-Петербург)
Название доклада: «Теория прямых разложений абелевых групп без кручения».
Аннотация: Известно, что класс абелевых групп без кручения обладает свойством наличия неизоморфных прямых разложений. В случае групп конечного ранга натуральные числа, реализуемые как ранги неразложимых прямых слагаемых и одновременно как элементы разбиений ранга группы, определяются неоднозначно. В докладе представлена графическая теория прямых разложений, позволившая найти условия для различных разбиений одного и того же натурального числа n для их реализации в качестве параметров прямых разложений одной и той же группы ранга n. Также представлено обобщение этой теории на группы счетного ранга и описаны алгоритмы построений прямых разложений групп с заранее заданными параметрами.

Приглашаем Всех желающих принять участие!
29 ноября (пятница), 17:20, ауд. 510,
II-ое высотное здание КФУ, ул. Кремлевская,
д. 35.

Файзрахманов Марат Хайдарович
(кандидат физико-математических наук, доцент, научный сотрудник Регионального научно-образовательного математического центра, г. Казань)
Название доклада: «Полурешетки обобщенно вычислимых нумераций и спектры степеней счетных семейств»

Приглашаем Всех желающих принять участие!
22 ноября (пятница), 17:20, ауд. 510,
II-ое высотное здание КФУ, ул. Кремлевская,
д. 35.

В математическом центре состоялся круглый стол, посвященный актуальным вопросам
математической логики
8 ноября в Региональном научно-образовательном математическом центре состоялся круглый стол, посвященный актуальным вопросам теории вычислимости и теории моделей. В круглом столе приняли участие приглашенные гости Мельников Александр Геннадьевич и Пузаренко Вадим Григорьевич, которые в эти дни находятся с визитом в матцентре. В ходе круглого стола участниками был обозначен круг вопросов, на решении которых предстоит сосредоточиться в ходе совместных научных исследований.
8 ноября 2018 года