ИМ СО РАН

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

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

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

Сегодня,

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.

Анонсы

Cеминар «Теоретические и вычислительные проблемы математической физики»
13.00 ч., к. 344, ИМ
Ktalk

Ван Ли
Построение и оценки растущих локально по времени решений задач Коши для систем линейных ОДУ (по материалам диссертации).

АннотацияВ докладе излагаются результаты, связанные с проблемой существования решений, демонстрирующих рост на начальном временном промежутке, у линейной системы, удовлетворяющей спектральному критерию устойчивости. Представлены алгоритмы, позволяющие получить начальные данные таких решений, и априорные оценки максимума, использующие данные о спектре и собственных векторах, а также их более грубые аналоги на основе данных, которые могут быть получены с помощью новых модификаций метода дихотомии матричного спектра. Работа алгоритмов и оценки решений демонстрируются на примерах моделей флаттера и уравнения Орра-Зоммерфельда.
Семинар «Инварианты трехмерных многообразий»
18.10 ч., ауд. 344, ИМ

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

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

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

Семинар «Актуальные проблемы теории расписаний»
16.20 ч., ауд. 115, ИМ

Tonguc Unluyurt (Sabanci University)
A review of the sequential testing problem and its extensions.

Cеминар «Прикладная статистика»
16.00 ч., Zoom

А. В. Войтишек (ИВМиМГ), Д. Д. Желтова (НГУ), У. П. Сейтмуратов (НГУ)
Экономичные алгоритмы компьютерного моделирования показательного распределения (доклад посвящен памяти чл.-корр. РАН Г. А. Михайлова).

АннотацияВ докладе будут представлены новые авторские экономичные универсальные (во всяком случае, для распределений на конечном интервале, имеющих кусочно-монотонные плотности) версии алгоритмов двустороннего метода исключения с кусочно-постоянными мажорантой и минорантой и модифицированного зиккурат-метода для компьютерного моделирования выборочных значений одномерных случайных величин. Будут также описаны особенности применения этих алгоритмов для моделирования стандартного экспоненциального распределения (это распределение «с хвостом»). Будут, в частности, представлены результаты компьютерных расчетов, которые показали, что при компьютерном моделировании экспоненциального распределения двусторонний метод исключения заметно (в 1.24 раза), а модифицированный зиккурат-метод значительно – в 1.64 раза – экономичнее широко применимой формулы метода обратной функции распределения («формулы с логарифмом») для получения выборочного значения, имеющего экспоненциальное распределение.
Все семинары

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

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

Диссертационные советы 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))