Заседания семинаров
Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?
Аннотация
В докладе пойдет речь о IF-логике Хинтикки (Independence-Friendly Logic), которая представляет собой обогащение первопорядковой логики за счет введения ветвящихся кванторов по индивидным переменным. В результате выразительные возможности IF-логики оказываются эквивалентными сигма-1-1-фрагменту логики второго порядка. По этой причине IF-логика обходит ограничительную теорему Тарского о невыразимости истинности – один из важнейших негативных результатов для арифметики Пеано. Это очень эффектный пример показывающий как незначительное, казалось бы, изменение языка приводит к важным и интересным последствиям. Семантически IF-логика задается при помощи теоретико-игровой семантики, поэтому в ходе доклада потребуется ввести базовые понятия теории игр.Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.Н. А. Баженов, совместно с С. А. Бадаевым (Казахстанско-Британский технический университет, Казахстан), Б. С. Калмурзаевым (Казахстанско-Британский технический университет, Казахстан) и М. Мустафой (Назарбаев Университет, Казахстан)
О диагональных функциях для отношений эквивалентности (продолжение).
А. Н. Глебов
Нижние оценки индекса Гранди графов и мультиграфов.
Ахматшин Фарид Галиуллович (Красноярск)
Модели и алгоритмы автоматической группировки объектов для истем анализа и хранения данных.
Аннотация
Кандидатская диссертация по специальности: 2.3.1 - Системный анализ, управление и обработка информации, статистика. Технические наукиО. В. Брюханов
Биекции группы, перестановочные с ее автоморфизмами (окончание).
Е. И. Хлестова
Реферат статьи:
R. E. Woodrow
Theories with a Finite Number of Countable Models (продолжение).
Андрей Викторович Васильев, Мария Александровна Гречкосеева
О конечных группах, изоспектральных группам с абелевой силовской 2-подгруппой.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
