Заседания семинаров
16.20 ч., ауд. 115, ИМ
Laurent Perron (Google France)
The CP-SAT solver for scheduling.
16.30 ч., к. 417, ИМ
Янь Сюэци (НГУ)
Дерево последовательностей орбит как инвариант квандла.
18.10 ч., ауд. 5272, НГУ
Е. И. Хлестова
Реферат статьи: D. Ilic', S. Moconja, P. Tanovic' "Groups with finitely many countable models" (часть 2).
16.20 ч., ауд. 344, ИМ
Д. С. Королева (НГУ)
Универсальная обертывающая алгебра для дубля алгебры Ли, на которой задан оператор Роты - Бакстера веса 1.
Аннотация
Данный доклад представляет из себя выпускную квалификационную работу бакалавра. Работа посвящена изучению аналога дубля для кокоммутативной алгебры Хопфа, на которой задан оператор Роты - Бакстера.
16.30 ч., ауд. 344, ИМ
Дин Мэйна (НГУ)
Операторы усреднения на матрицах второго порядка.
Аннотация
Получено полное описание операторов усреднения на $M_2(C)$ с точностью до сопряжения (анти)автоморфизмами $M_2(C)$ и деления на ненулевой скаляр. Для получения описания проводился перебор возможных вариантов подалгебр в $M_2(C)$, служащих образом данного оператора усреднения. Также будет рассказано про текущее продвижение в описании операторов усреднения на алгебре $M_3(C)$.
14.30 ч., к. 417, ИМ
Zoom
Zoom
Макарчук Борис Анатольевич (МГУ)
Однозначная разложимость детского рисунка Гротендика в связную сумму примарных рисунков.
Аннотация
Исследуется структура детских рисунков Гротендика по отношению к операции связной суммы рисунков. Вводится понятие примарного (т.е. неразложимого) рисунка. Доказывается, что любой непримарный рисунок может быть представлен в виде связной суммы конечного числа примарных рисунков. При этом набор примарных рисунков, из которых данный рисунок может быть получен с помощью операции связной суммы, определен однозначно. Связная сумма нескольких рисунков кодируется с помощью некоторого дерева с дополнительной структурой (схемой склейки). Указан способ нахождения примарного разложения конструктивно.
16.20 ч., ауд. 4204, НГУ, Yandex Telemost
- Хлёстова Елизавета Ивановна (НГУ)
Сложность счётных моделей эренфойхтовых теорий: выпускная квалификационная работа аспиранта (итоговая аттестация).
- Предзащита дипломных и курсовых работ студентов кафедры АиМЛ.
16.20 ч., ауд. 115, ИМ
Tami Tamir (Reichman Uni)
Scheduling with Machine-Dependent Priority Lists.

