Заседания семинаров
Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского? (продолжение)
Аннотация
В первой части доклада мы ввели теоретико-игровую семантику для первопорядковой логики, собственно IF-логику Хинтикка (Independence-Friendly Logic), и базовые понятия теории игр – игры с полной и неполной информацией. В заключительной части доклада для IF-логики будет определена теоретико-игровая семантика и доказана теорема о выразимости истинности.Ануреев И. С.
Использование формальных методов для обеспечения качества фреймворка СИГМА.
Павел Сергеевич Колесников
О вычислении произведений Манина для операд (по совместной работе с Б. К. Сартаевым).
Аннотация
Мы рассмотрим задачу вычисления белого и черного произведений Манина для бинарных квадратичных операд с точки зрения соответствующих этим операдам многообразий алгебр. Будут представлены "рецептурные" подходы к вычислению определяющих тождеств многообразий, заданных операдами белого и черного произведений Манина.Олег Хамисов (Иркутск)
Об одной задаче составления расписания массовых перевозок.
Объединенное заседание семинаров Теория графов и Кафедры теоретической кибернетики НГУ
Х. Голмохаммади
Domination invariants and their properties (кандидатская диссертация).
В. Д. Шепелев
Сильная $\pi$-теорема Силова для групп $PSL_{2}(q)$.
Е. И. Хлестова
Реферат статьи:
R. E. Woodrow
Theories with a Finite Number of Countable Models (продолжение).
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. II.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
