ИМ СО РАН

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

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

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

Сегодня,

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

Уктамалиев Икромжон Кахрамон угли (Наманган, Узбекистан)
Расширения операторов замыкания с помощью семейств операторов и связанные с ними метрики (продолжение).

Анонсы

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

А. А. Жолобов (ИЯФ СО РАН), С. П. Одинцов (ИМ СО РАН)
Логики Гейтинга-Брауэра с сильным отрицанием и симметрическая модальная логика Мойсила.

АннотацияЛогика Гейтинга-Брауэра HB ( Г. Мойсил, 1942; С. Раушер, 1972) представляет собой обогащение интуиционистской логики связкой коимпликации, которая двойственна интуиционистской импликации. Генрих Вансинг (2008) ввел cвязку ∼ сильного отрицания в язык HB и мотивировал 4 различных способа сильного отрицания как импликации, так и коимпликации, что привело к появлению семейства логик $IiCj, i, j = 1,\dots,4$. Для этих логик была определена семантика Крипке и построены дедуктивные системы различных типов. Алгебраическая семантика логик Вансинга до сих пор не рассматривалась. Мы восполним этот пробел определив ($i, j$)-твист-структуры над алгебрами Гейтинга-Брауэра, и доказав, что каждое аксиоматическое расширение логики $IiCj , i, j = 1,\dots,4$, сильно полно относительно соответствующего класса ($i, j$)-твист-структур. Более того, для ($i, j$) отличного от (4,4) доказано, что абстрактное замыкание класса ($i, j$)-твист-структур образует квазимногообразие. При этом абстрактное замыкание класса (4,4)-твист-структур образует многообразие, а сама логика I4C4 слабо эквивалентна симметрической логике Мойсила GSML (1942). При этом, логики I4C4 и GSML не являются сильно эквивалентными, иными словами абстрактное замыкание класса (4,4)-твист-структур не является эквивалентной алгебраической семантикой для логики I4C4.
Семинар «Инварианты трехмерных многообразий»
18.10 ч., ауд. 344, ИМ

М. М. Аликбаров
Движения полигонального типа и RCC на узлах и нотоидах.

АннотацияМы определим семейство движений $n-gon$ на узлах, укажем некоторые известные свойства. Затем обобщим данное семейство преобразований на сферические нотоиды, укажем не распутываемость нотоидов данными преобразованиями и найдём все компоненты связности $n-gon$ гордиева графа. В конце мы напомним определение RCC на узлах, определим его на нотоидах двумя способами и покажем, что в одном из определений преобразование распутывающее, а в другом нет.
Семинар «Эварист Галуа»
18.10 ч., новый корпус НГУ, ауд. 5218

Заседание, посвящённое памяти М. И. Каргаполова

Все семинары

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

Семинар «Математическое моделирование и дискретная оптимизация»
03.11.26, 17.15 ч.
Ссылка для участия онлайн: https://telemost.yandex.ru/j/74376941884471

Иван Бучинский
Lean, Formal Mathematics, and AI.

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

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

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

Логачев А. В.
Уточненный принцип больших уклонений для ломаных, построенных по суммам независимых случайных величин
Сибирский математический журнал. 2026. Т. 67. № 5. С. 942-959.
DOI: 10.33048/smzh.2026.67.515

Лотов В. И.
О случайном блуждании со специфическим алгоритмом переключений
Сибирский математический журнал. 2026. Т. 67. № 5. С. 960-978.
DOI: 10.33048/smzh.2026.67.516

Гимади Э. Х., Гончаров Е. Н.
Об одном методе ранжирования ресурсов для задачи календарного планирования с ограниченными ресурсами
Дискретный анализ и исследование операций. 2026. Т. 33. № 2. С. 5-18.
DOI: 10.33048/daio.2026.33.864

Драчeв Р. Р., Панин А. А., Плясунов А. В.
Верхние и нижние границы и алгоритмы спуска с чередующимися окрестностями для задачи конкурентного ценообразования
Дискретный анализ и исследование операций. 2026. Т. 33. № 2. С. 19-45.
DOI: 10.33048/daio.2026.33.850

Жуков Г. А., Ерзин А. И., Плотников Р. В.
Метод ветвей и отсечений для задачи взвешенной 3-раскраски графа
Дискретный анализ и исследование операций. 2026. Т. 33. № 2. С. 46-63.
DOI: 10.33048/daio.2026.33.848

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

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

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

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

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

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

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

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

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

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

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

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

ИМ СО РАН в СМИ

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

Все новости

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

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

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

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

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

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