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