Заседания семинаров
Kan Fang (Tianjin University)
Single machine scheduling in additive manufacturing with two-dimensional packing constraints.
А. С. Богачев
Восстановление графа по 2-окрестностям его вершин.
(реферат работы V. Levenshtein, E. Konstantinova, E. Konstantinov, S. Molodtsov, Reconstruction of a graph from 2-vicinities of its vertices, DAM 156 (2008) 1399–1406).
Семенов Юрий Дмитриевич
Планирование вычислительных задач в облачных средах с учётом времени выполнения и стоимости: приближённые алгоритмы и нижние оценки.
Специальность 2.3.5 – «Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей»
Диссертация на соискание учёной степени кандидата физико-математических наук
Научный руководитель: кандидат технических наук Сухорослов Олег Викторович
Я. А. Гостюхин
Квази-Триангулярные Йордановы $D$-алгебры и расширенные относительные операторы Роты-Бакстера.
П. Е. Алаев
Абелевы группы, вычислимые за полиномиальное время.
Yandex Telemost
Сторожук Константин Валерьевич (НГУ)
Дизъюнктно почти тривиальные неограниченные функционалы.
Аннотация
На бесконечномерных функциональных пространствах показано существование неограниченных линейных функционалов, принимающие не более одного ненулевого значения на произвольном семействе элементов, носители которых попарно не пересекаются.М. Э. Иванов
Функторы со свойством подъема и группы виртуальных узлов.
Аннотация
В докладе вводятся функторы со свойством подъёма, обобщающие свойства неабелевых тензорных и внешних произведений. Для них строятся относительные аналоги, связанные с $f$-расширениями групп. Это позволяет получить относительные версии теорем Шура и Бэра и ослабить некоторые гомологические условия в задачах об упорядочиваемости. В качестве приложения доказывается критерий упорядочиваемости групп виртуальных узлов.Николай Вячеславович Шилов (преподаватель Лицея 22 "Надежда Сибири" и Институт систем информатики СО РАН, Новосибирск)
Путеводитель (для начинающих) по стране Формальной Семантики Программ.
Аннотация
Три основных исторически сложившихся «провинции» страны Формальной Семантики Программ – это Операционная Семантика, Денотационная Семантика и Аксиоматическая Семантика. Выступление рассчитано прежде всего на тех, кто только начинает путешествие по этой стране, чтобы познакомиться с общедоступным путеводителем...
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
