ИМ СО РАН

Предыдущая версия сайта

Вход для сотрудников

Расписание семинаров

Сегодня,

Совместный семинар «Теория моделей» им. Е. А. Палютина и «Теория моделей» ИМММ МОН РК
13:00 ч., Zoom

Идентификатор конференции: 314 114 3903
Код доступа: 009

Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).

Семинар «Алгебра и логика»
14.30 ч., конф.зал, ИМ,
Yandex Telemost

В. Н. Желябин и А. С. Мамонтов
Примитивные идеалы йордановых банаховых алгебр.

Анонсы

Cеминар «Нестандартные логики» им. Л. Л. Максимовой
18.10 ч., ауд. 5210, НГУ (новый корпус)

М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.

АннотацияДоклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.
Семинар «Геометрия, топология и их приложения»
11.00 ч., ауд. 305, ИМ

В. А. Бочко (ИМ СО РАН)
Одностолбцовые редукции ядра Марченко с нулевым квадратом в схеме Одевания Захарова: Метрика Шварцшильда, Статические сферически симметричные метрики и пространственно плоская метрика Фридмана.

АннотацияРассматривается специальный точно решаемый класс ядер в задаче Гельфанда–Левитана–Марченко, возникающей в схеме одевания Захарова для пространств диагональной кривизны. Показано, что для некоторых одностолбцовых ядер соответствующая матричная алгебра имеет нулевой квадрат, вследствие чего уравнение Марченко вырождается в $K = F$. На сферическом фоне радиальная редукция дает данные одевания для евклидовой метрики Шварцшильда и, при произвольном выборе двух независимых канальных функций, описывает статические сферически-симметричные диагональные метрики. Аналогичная временная редукция приводит к пространственно-плоским метрикам FLRW. При этом данные Марченко определяют коэффициенты вращения, тогда как выбор самой метрики требует дополнительного выбора решения системы Ламе, то есть представителя семейства Комбескюра. Для статического сектора после фиксации этой свободы вакуумные уравнения Эйнштейна сводятся к дифференциальному соотношению между двумя каналами ядра и условию постоянства массового интеграла.
Семинар «Эварист Галуа»
18.10 ч., новый корпус НГУ, ауд. 5218

А. Н. Бородин, М. В. Нещадим, А. А. Симонов
Конструкции квандлов над группами, модулями и почти-кольцами.
Сибирский математический журнал. 2026. Т. 67. № 1. С. 24-35.

Семинар «Функциональный анализ и приложения»
16.20 ч., фойе конф.зала, ИМ
Yandex Telemost

Сторожук Константин Валерьевич (НГУ)
Дизъюнктно почти тривиальные неограниченные функционалы.

АннотацияНа бесконечномерных функциональных пространствах показано существование неограниченных линейных функционалов, принимающие не более одного ненулевого значения на произвольном семействе элементов, носители которых попарно не пересекаются.
Все семинары

Семинары ОФ ИМ СО РАН

Семинары ММЦ в Академгородке

Диссертационные советы SciAct1C-Кабинет сотрудника Важнейшие результаты

Новые публикации

Веснин А. Ю., Егоров А. А.
Спектры нормированных объемов прямоугольных гиперболических многогранников
Сибирский математический журнал. 2026. Т. 67. № 4. С. 581-602.
DOI: 10.33048/smzh.2026.67.402

Волков Ю. С., Жанлав Т., Мижиддорж Р.-О.
Формулы квазиинтерполяции интегральными квадратическими сплайнами
Сибирский математический журнал. 2026. Т. 67. № 4. С. 603-615.
DOI: 10.33048/smzh.2026.67.403

Карманова М. Б.
Графики отображений групп Энгеля и критерий их внутренней липшицевости
Сибирский математический журнал. 2026. Т. 67. № 4. С. 650-673.
DOI: 10.33048/smzh.2026.67.407

Подвигин И. В., Рыжиков В. В.
Полный диапазон скоростей сходимости средних Биркгофа для эргодических потоков
Сибирский математический журнал. 2026. Т. 67. № 4. С. 690-702.
DOI: 10.33048/smzh.2026.67.410

Романов В. Г.
Обратная задача для уравнения Вестервельта
Сибирский математический журнал. 2026. Т. 67. № 4. С. 703-711.
DOI: 10.33048/smzh.2026.67.411

Редакционная деятельность

Журналы ИМ СО РАН

Сибирский математический журнал
Сайт журнала | СМЖ в Springer | Полные тексты

Дискретный анализ и исследование операций
Сайт журнала | Полные тексты

Сибирский журнал индустриальной математики
Сайт журнала  |  Полные тексты

Journal of Applied and Industrial Mathematics
Сайт журнала

Сибирские электронные математические известия
Сайт журнала

Свежие номера журналов

Сибирский математический журнал
Том 67, 2026 г., номер 4

Дискретный анализ и исследование операций
Том 33, 2026 г., номер 1

Сибирский журнал индустриальной математики
Том 29, 2026 г., номер 2(106)

Сибирские электронные математические известия
Том 23, 2026 г., номер 1

ИМ СО РАН в СМИ

ИМ в СМИ
По стопам Лобачевского. «Поиск», 17 сентября 2026 г.
В Сибири прошла «пограничная» математическая конференция
Бильярд в конусе. «Поиск», №14 от 01.04.2026
В новосибирском Академгородке прошла конференция «Механика, геометрия, интегрируемость»
Что такое ядерная медицина
Больше новостей >>

Все новости

Научные мероприятияКонференцииГранты и конкурсы
СобытияДокументы ИМ в СМИ

Новости Министерства науки и высшего образования Российской Федерации

О мерах организационного и практического характера и направлении информации

По результатам оценки результативности научных организаций ФГБУН Институту математики им. С. Л. Соболева Сибирского отделения Российской академии наук присвоена 1 категория.

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (по информации Scopus)

Список публикаций сотрудников ИМ СО РАН за 2014-2022 гг. (Web of Science (Core Collection))