Заседания семинаров
Е. А. Шапорина
Структура и автоморфизмы некоторых циклических расширений свободных групп.
Н. В. Шилов (ИСИ СО РАН, университет Иннополис)
О проекте учебной программы (РПД) «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект» в Университете Иннополис.
Аннотация
В 2024 г. по инициативе Ректора АНО ВО «Университет Иннополис» стартовало новое направление подготовки «Математика и Искусственный Интеллект».
Существует мнение, что современный ИИ — это методы оптимизации, нейронные сети и большие языковые модели, а классический подход к ИИ (господствовавший в ИИ до начала XXI века) — это ИИ основанный на логических правилах вывода. И хотя в настоящее время основной тренд в ИИ - это нейронные сети и языковые модели (а также численные методы оптимизации), но знание классики ИИ необходимо (и, по-моему, перспективно) для создания гибридных систем ИИ, основанных как на нейросетевых и языковых моделях, так и на логических правилах.
Цель доклада — обсудить вариант семестровой программы курса «Математическая логика для Искусственного Интеллекта» (бакалавриат) по направлению подготовки «Математика и Искусственный Интеллект».
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Егоров Андрей Александрович (ИМ СО РАН)
Оценки объемов многогранников в пространстве Лобачевского (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации А. А. Егорова»
Совместное заседание с Семинаром «Геометрическая теория функций» и Семинаром по геометрическому анализу им. Ю. Г. Решетняка
Иванов Максим Эдуардович (ИМ СО РАН)
Инварианты виртуальных узлов и зацеплений (предварительная защита кандидатской диссертации в диссертационном совете НГУ; научный руководитель – д.ф.-м.н., чл.-корр. РАН А. Ю. Веснин).
Заседание пройдет в очно-дистанционном формате на специально организованном заседании в форме открытого семинара «Предварительная защита кандидатской диссертации М. Э. Иванова»
Софья Шперлинг
Large Neighborhood Search for the Two-Dimensional Irregular Bin Packing Problem (реферат статьи из EJOR).
А. Н. Глебов
Экстремальные конструкции в задаче о коалиционном доминировании.
Zoom
И. А. Колесников (Томский государственный университет)
Однопараметрические семейства конформных отображений.
Аннотация
Изучаются семейства конформных отображений $f=f(z,t)$ канонической области на семейство многоугольников получаемое сдвигом вершин некоторой начальной области при условии сохранения углов. Параметр $t$ отвечает за сдвиг вершин. Рассматриваются семейства односвязных и двусвязных полигональных областей. В каждом случае относительно семейства отображений $f$ получено дифференциальное уравнение. Получена система обыкновенных дифференциальных уравнений с начальными условиями Коши относительно параметров семейства отображений позволяющая пошагово строить конформное отображение на заданную область. Система дифференциальных уравнений апробирована на различных частных случаях.В. Г. Пузаренко
О счетно категоричных теориях, 2 (продолжение).
Аннотация
Строится еще один пример разрешимой счетно категоричной теории, все несчетные структуры которой не определяются эффективно над плотным линейным порядком.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
