Заседания семинаров
Константин Боровков
The University of Melbourne: его история, структура, организация учебного процесса.
Д. М. Анищенко (НГУ)
Алгебры Гейтинга и теория двойственности.
Аннотация
Грузинский логик Лео Эсакиа систематически исследовал алгебры Гейтинга, топобулевы алгебры и связи между данными классами алгебр. Им были установлены:
- классификация элементов топобулевой алгебры;
- двойственность категорий топобулевых алгебр (алгебр Гейтинга) и гибридов (строгих гибридов), гибрид - это топологическое пространство с предпорядком, который согласован с топологией определенным образом;
- фундаментальные свойства гибридов. В серии из трех реферативных докладов будет рассказано про данные исследования.
Доклады основаны на книге Лео Эсакиа, которая была недавно переведена на английский:
[1] Leo Esakia. "Heyting algebras. Duality theory". (ed. G. Bezhanishvili, W. H. Holliday). Springer Nature, Switzerland, 2019.
Павел Борисовский
Решение одной задачи составления производственных расписаний эвристическим алгоритмом "иди с победителями" на GPU.
В. Г. Пузаренко
О свойствах некоторых допустимых множеств (продолжение).
Аннотация
Для наследственно конечных надстроек, упомянутых в докладе автора на Мальцевских чтениях, описывается наличие/отсутствие свойств таких, как униформизация, редукция, наличие универсальной функции, отделимость и продолжимость.Zoom
Юдин Иван Николаевич (ИМ СО РАН)
Самоподобные множества, порождённые измельчающимися графами
(представление результатов кандидатской диссертации; научный руководитель – д.ф.-м.н. А. В. Тетенов).
- Григорий Константинович Рябов
Классификация абелевых групп Шура.
- А. Н. Бородин, М. В. Нещадим, А. А. Симонов
Независимость аксиом квандла.
Бондаренко Екатерина Александровна
Биспециальные слова в языке, порожденном циклическим морфизмом.
Кладов Д. Е.
Ансамблевые алгоритмы кластеризации и прогнозирования временных рядов с использованием расстояния Вассерштейна.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
