Заседания семинаров
А. А. Харитонов (НГУ)
Динамическая логика с продолжениями.
Аннотация
В докладе будет представлено описание модуля $G0$, предложенного в оригинальной работе [de Groote, 2006] и получившего развитие до $G$ (и далее) в диссертации "Expressing discourse dynamics through continuations" (Ekaterina Lebedeva, 2016). Будет обсуждаться предлагаемый способ отделения пропозиционального содержания и контекста, благодаря чему значения выражений естественного языка при необходимости могут трактоваться как функции от контекста, а дискурсивная динамика — включая анафорические связи и другие прагматические явления — моделироваться при помощи механизма "продолжений" (continuations).Галактионова Анастасия Андреевна (НГУ, Новосибирск)
Алгоритм выделения антропогенных объектов в верхней части разреза по сейсмическим данным.
А. С. Монастырева
Обхват сжатого графа делителей нуля конечного ассоциативного кольца.
Аннотация
Все кольца в работе ассоциативные.
В 2002 году Редмонд доказал, что обхват графа делителей нуля конечного кольца равен бесконечности или не превышает четырех. Позже было доказано, что для нетеровых колец, а также для коммутативных колец с единицей обхват сжатого графа делителей нуля либо равен бесконечности либо трем (Coykendall, Spiroff et al., 2012; Anderson, LaGrange, 2016).
В настоящей работе доказывается, что для произвольного конечного кольца, если сжатый граф делителей нуля конечного кольца не является ациклическим, то он содержит цикл длины три.
Laurent Perron (Google France)
The CP-SAT solver for scheduling.
Т. В. Гертель
О совершенных и независимых коалиционных разбиениях графов.
- И. В. Дудин, П. С. Колесников
Киральные алгебры с абелевой конформной частью.
- Kerimbayev Rashid, Beibei Yuan (Almaty, Kazakhstan)
Examples of Algebraic Polynomial Automorphisms and an Invertibility Criterion for Keller Endomorphisms.
Юрий Кочетов
О международной конференции по сетевому анализу в Нижнем Новгороде Net 2026 и молодежной школе для студентов и аспирантов ВШЭ 13-15 мая 2026 г.
Тараненко Анна Александровна
Избегание паттернов в многомерных перестановках.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
