Заседания семинаров
Маткурбанов Тулкин Алимбоевич
Оптимизация сети сбора данных для мониторинга больших территорий.
Диссертация по техническим наукам
Специальность 1.2.2 – «Математическое моделирование, численные методы и комплексы программ»
А. С. Герасимов (Санкт-Петербург)
Первопорядковая бесконечнозначная логика Лукасевича: исчисления для поиска вывода и полнота инфинитарных аналитических исчислений для пренексных предложений.
Аннотация
Первопорядковая бесконечнозначная логика Лукасевича относится к математическим нечётким логикам и служит для формализации приближённых рассуждений. Множество всех общезначимых предложений (и множество всех общезначимых пренексных предложений) этой логики неперечислимо; поэтому для неё не существует полного исчисления с рекурсивным множеством аксиом и конечным числом рекурсивных правил вывода. В докладе мы докажем полноту нескольких инфинитарных аналитических гиперсеквенциальных исчислений для пренексных предложений данной логики с помощью построений, полученных при разработке ориентированных на поиск вывода исчислений для рассматриваемой логики.
Доклад основан на статьях:
[1] A. S. Gerasimov, "Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic", Siberian Electronic Mathematical Reports, Vol. 17, 2020, pp. 1869-1899, https://doi.org/10.33048/semi.2020.17.127;
[2] A. S. Gerasimov, "Comparing calculi for first-order infinite-valued Lukasiewicz logic and first-order rational Pavelka logic", Logic and Logical Philosophy, Vol. 32, No. 2, 2022, pp. 269-318, https://doi.org/10.12775/LLP.2022.030;
а также на некоторых неопубликованных результатах докладчика.
Курсовые работы (1 курс магистратуры)
- Х. М. Трой
О симплектических солвмногообразиях.
Научный руководитель - И. А. Тайманов
- М. Ивлев
О коммутирующих дифференциальных операторах ранга 2, отвечающих тригональным спектральным кривым рода 3.
Научный руководитель - А. Е. Миронов
- Т. А. Алексеев
Симметрии системы уравнений, описывающей интегрируемые геодезические потоки на поверхности.
Научный руководитель - А. Е. Миронов
- Д. В. Аксенов
Об одном методе построения минимальных подмногообразий коразмерности 2.
Научный руководитель – Н. А. Даурцева
- С. Кунназаров
О двумерных геодезических потоках с рациональными интегралами.
Научный руководитель – С. В. Агапов
И. С. Борисов
Об одном экстремальном свойстве автонормированных сумм симметрично распределенных независимых слагаемых.
Аннотация
В работе приведены точные оценки сверху для математических ожиданий некоторых преобразований автонормированных сумм, построенных по последовательности независимых симметричных случайных величин, не обязательно одинаково распределенных.Google Meet
И. В. Кузнецов
Импульсные дифференциальные параболические уравнения со слабой сходимостью на начальном слое.
Аннотация
В докладе будут рассмотрены импульсные уравнения с правой частью, содержащей аппроксимацию дельта функции Дирака по параметру длины начального слоя. Новизна - аппроксимация дельта функции Дирака осуществляется не с помощью "шапочки Соболева", а с помощью быстро осциллирующей функции на начальном слое. Это приводит к уравнению на пограничном слое со слабо сходящейся правой частью.П. С. Колесников
Простые конформные алгебры Новикова конечного типа (совместно с Jiefeng Liu).
Аннотация
Описаны все простые конформные алгебры Новикова конечного типа над алгебраически замкнутым полем $k$ характеристики нуль. Помимо тривиального примера $Cur_1$, построенная классификация содержит бесконечную серию алгебр $V_a$ ранга 1, где $a$ - скаляр из поля $k$.Ляпин А. И.
Поиск с чередующимися окрестностями для задачи построения расписания в школе дополнительного образования.
Предзащиты выпускных квалификационных работ аспирантов и студентов кафедры дифференциальных уравнений ММФ НГУ
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
