Заседания семинаров
Силаев Д.
A self-adaptive memeplexes robust search scheme for solving stochastic demands vehicle routing problem.
Реферат статьи 2012 из журнала International Journal of Systems Science.
А. С. Герасимов (Санкт-Петербург)
Депренексификация в финитарных аналитических исчислениях для первопорядковой бесконечнозначной логики Лукасевича и полнота основанных на них инфинитарных исчислений.
Аннотация
В докладе рассматривается несколько финитарных аналитических гиперсеквенциальных исчислений для первопорядковой бесконечнозначной логики Лукасевича \L$\forall$, включая введённое Баацем (Baaz) и Меткалфом (Metcalfe) исчисление G\L$\forall$. В этих исчислениях правило сечения не допустимо и, вообще говоря, формула и её (определённая чисто синтаксически) пренексная форма не равновыводимы. Однако мы предлагаем метод депренексификации, позволяющий любой вывод любой гиперсеквенции $H$, в которой выделено вхождение любой пренексной формы любой формулы $F$, алгоритмически перестроить в вывод гиперсеквенции, полученной из $H$ заменой этого вхождения на $F$. С помощью этого метода мы устанавливаем полноту инфинитарных аналитических исчислений для \L$\forall$, основанных на вышеупомянутых финитарных исчислениях. В частности, даём первое верное доказательство полноты основанного на G\L$\forall$ инфинитарного аналитического исчисления для \L$\forall$.
Прослушивание доклада, состоявшегося на нашем семинаре 03.06.2025, не обязательно для понимания анонсируемого доклада; последний лишь опирается на основной результат первого.
Маткурбанов Тулкин Алимбоевич
Оптимизация сети сбора данных для мониторинга больших территорий.
Диссертация по техническим наукам
Специальность 1.2.2 – «Математическое моделирование, численные методы и комплексы программ»
Andrea Sorbi (Siena, Italy)
Every nonzero enumeration degree contains infinitely many singleton degrees.
Курсовые работы (1 курс магистратуры)
- Х. М. Трой
О симплектических солвмногообразиях.
Научный руководитель - И. А. Тайманов
- М. Ивлев
О коммутирующих дифференциальных операторах ранга 2, отвечающих тригональным спектральным кривым рода 3.
Научный руководитель - А. Е. Миронов
- Т. А. Алексеев
Симметрии системы уравнений, описывающей интегрируемые геодезические потоки на поверхности.
Научный руководитель - А. Е. Миронов
- Д. В. Аксенов
Об одном методе построения минимальных подмногообразий коразмерности 2.
Научный руководитель – Н. А. Даурцева
- С. Кунназаров
О двумерных геодезических потоках с рациональными интегралами.
Научный руководитель – С. В. Агапов
И. С. Борисов
Об одном экстремальном свойстве автонормированных сумм симметрично распределенных независимых слагаемых.
Аннотация
В работе приведены точные оценки сверху для математических ожиданий некоторых преобразований автонормированных сумм, построенных по последовательности независимых симметричных случайных величин, не обязательно одинаково распределенных.Google Meet
И. В. Кузнецов
Импульсные дифференциальные параболические уравнения со слабой сходимостью на начальном слое.
Аннотация
В докладе будут рассмотрены импульсные уравнения с правой частью, содержащей аппроксимацию дельта функции Дирака по параметру длины начального слоя. Новизна - аппроксимация дельта функции Дирака осуществляется не с помощью "шапочки Соболева", а с помощью быстро осциллирующей функции на начальном слое. Это приводит к уравнению на пограничном слое со слабо сходящейся правой частью.П. С. Колесников
Простые конформные алгебры Новикова конечного типа (совместно с Jiefeng Liu).
Аннотация
Описаны все простые конформные алгебры Новикова конечного типа над алгебраически замкнутым полем $k$ характеристики нуль. Помимо тривиального примера $Cur_1$, построенная классификация содержит бесконечную серию алгебр $V_a$ ранга 1, где $a$ - скаляр из поля $k$.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
