Заседания семинаров
Елизавета Валерьевна Брылякова (Красноярский математический центр, Сибирский федеральный университет)
О доказательстве финитарного типа унификации в предтабличных расширениях Int.
Аннотация
В докладе рассматривается тип унификации предтабличных суперинтуиционистских логик L2 и L3. С помощью модифицированного метода n-характеристических моделей, доказывается, что обе логики имеют финитарный тип унификации: каждая унифицируемая формула обладает конечным набором максимальных унификаторов. Приводится построение характеристических моделей и схема сведения унификаторов к функциям на конечной модели.В. Н. Желябин, А. С. Мамонтов
Примитивные йордановы банаховы алгебры.
Аннотация
В работе изучается пространство примитивных идеалов $JB$-алгебры. Доказывается, что топологические пространства примитивных идеалов $C^*$-алгебры и её $JB$-алгебры самосопряжённых элементов гомеоморфны. Также доказывается, что сепарабельная первичная $JB$-алгебра является примитивной.- Федорова Анастасия
Приближенный алгоритм для цеховой задачи открытого типа с техническим обслуживанием машин.
- Белькова Татьяна
Матэвристика для задачи упаковки нерегулярных многоугольников в рюкзак.
- Искра Елизавета Дмитриевна
Слова Линдона неподвижных точек циклических морфизмов.
- Муравьёва Елена Максимовна
Неорбитные совершенные раскраски квадратной решетки.
Р. А. Корнев
Реферат статьи: R. G. Downey, A. G. Melnikov, "Computably compact metric spaces".
Andre Rossi (Université Paris Dauphine)
Maximizing stability of assembly line balancing schedules under uncertain task duration.
А. Р. Углев
Базис тождеств для некоторого семейства решеток (продолжение).
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
