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