Заседания семинаров
Е. В. Константинова
Обзор некоторых результатов из статьи:
“CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs.” Часть 1.
Zoom
Н. В. Абросимов (ИМ СО РАН)
Обратная теорема Кэзи на плоскости Лобачевского.
Аннотация
В докладе будет представлено доказательство обратной теоремы Кэзи на плоскости Лобачевского.М. А. Гречкосеева, В. М. Родионов (НГУ)
Проблема распознаваемости по спектру для простых классических групп размерностей 8, 10 и 12.
Цзинхао Сян
Элементарная эквивалентность счётных безатомных булевых алгебр с выделенным идеалом.
Я. А. Гостюхин
Гомотопическое оснащение для категорий.
М. М. Аликбаров
Обобщение Clock-теоремы на нотоиды и 1-линкоиды.
Н. А. Вайцель (ИМ СО РАН)
Формула обращения Кормака в двумерной доплеровской томографии.
Аннотация
Доплеровское преобразование $I$ измеряет работу векторного поля вдоль прямых. Оператор $I$ имеет нетривиальное ядро: только соленоидальные векторные поля $f$ могут быть восстановлены по преобразованию $If$. В данном докладе будет доказан аналог формулы обращения Кормака, восстанавливающий векторное поле, заданное на плоскости, по интегралам вдоль прямых, не пересекающих диск с центром в начале координат.Е. В. Борисов (ИФИП СО РАН, НГУ)
Натуральный вывод для CWPL (продолжение).
Аннотация
Кросс-мировая предикация - это приписывание отношений объектам, каждый из которых ассоциирован с некоторым возможным миром. Например, предложение "Джон мог быть выше, чем Мэри, как она есть" приписывает отношение "выше" Джону, каков он в некотором возможном мире $w$, и Мэри, какова она в действительном мире $u$; в этом смысле Джон ассоциирован с $w$, Мэри - с $u$. Для отображения феномена кросс-мировой предикации в модальной логике первого порядка необходима кросс-мировая интерпретация предикатов, т.е. интерпретация, при которой $n$-местному предикату назначаются экстенсионалы не для отдельных возможных миров, а для упорядоченных $n$-ок возможных миров. Одна из логик, основанных на кросс-мировой интерпретации предикатов, была предложена автором; будем называть ее CWPL (crossworld predication logic). В указанных ниже публикациях представлены семантика и табличное исчисление для CWPL. В докладе будет описана семантика и представлено натуральное исчисление для упрощенной версии этой логики. Доклад будет состоять из двух частей.
- Borisov E. V. A Nonhybrid Logic for Crossworld Predication // Logical Investigations. 2023. Vol. 29. No. 2. Pp. 125–147.
- Borisov E. V. A tableau proof theory for CWPL // Logical Investigations. 2025. Vol. 31. No. 1. Pp. 74-96.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
