Заседания семинаров
Заседание, посвящённое памяти М. И. Каргаполова
М. М. Аликбаров
Движения полигонального типа и RCC на узлах и нотоидах.
Аннотация
Мы определим семейство движений $n-gon$ на узлах, укажем некоторые известные свойства. Затем обобщим данное семейство преобразований на сферические нотоиды, укажем не распутываемость нотоидов данными преобразованиями и найдём все компоненты связности $n-gon$ гордиева графа. В конце мы напомним определение RCC на узлах, определим его на нотоидах двумя способами и покажем, что в одном из определений преобразование распутывающее, а в другом нет.А. А. Жолобов (ИЯФ СО РАН), С. П. Одинцов (ИМ СО РАН)
Логики Гейтинга-Брауэра с сильным отрицанием и симметрическая модальная логика Мойсила.
Аннотация
Логика Гейтинга-Брауэра 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.Уктамалиев Икромжон Кахрамон угли (Наманган, Узбекистан)
Расширения операторов замыкания с помощью семейств операторов и связанные с ними метрики (продолжение).
Kevin Schewior (University of Cologne)
Combinatorial Perpetual Scheduling.
Александр Турнаев
Нижние границы для задачи размещения виртуальных машин с ограничениями типа "кластер".
А.Н. Глебов
Задачи по теории графов на международном математическом турнире городов.
Zoom
Юдин Иван Николаевич (ИМ СО РАН)
О представлении самоподобных дендритов $P$-ростками.
Аннотация
Всякий самоподобный дендрит $K$ с конечной границей $P$ задает ациклический двудольный отмеченный граф, называемый $P$-ростком. Доказывается, что $P$-росток задает $K$ с точностью до изоморфизма. Получен алгоритм восстановления главного дерева такого дендрита по заданному ростку.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
