Заседания семинаров
Г. Ольховиков (Рурский университет, Бохум)
Conditionals in some constructive logics.
Аннотация
In this talk, we present logics of would- and might-conditionals conservatively extending two constructive propositional logics: the intuitionistic logic $IL$ and the paraconsistent variant $N4$ of Nelson’s logic of strong negation. Our motivation for the correctness of the proposed systems is grounded upon the faithfulness of the respective standard translations of these logics into the first-order versions of $IL$ and $N4$.
We relate our work to the pre-existing work on modal extensions of $IL$ and $N4$ and show, in particular, how our conditional logics induce the basic modal logics $IK$ [1] and $FSK^d$ [2] as their modal companions.
References
[1] G. Fischer-Servi. Semantics for a class of intuitionistic modal calculi. In: M. L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science. Studies in the Philosophy of Science, Vol. 47, 59–72 Dordrecht: Springer. (1981)
[2] S. Odintsov, H. Wansing. Constructive predicate logic and constructive modal logic. Formal duality versus semantical duality. In: V. Hendricks et al., eds, First-Order Logic Revisited, 269–286, Berlin, Logos. (2004).
Meeting ID: 783 5132 3413
Passcode: 6X0c7y
Андрей Артёмович Симонов
Треугольные и почти-тривиальные квандлы.
В. А. Чуркин реферирует статью: L. Guo, H. Lang and Y. Sheng, Integration and geometrization of Rota-Baxter Lie algebras, Adv. Math. 387 (2021), 107834 (продолжение).
Александр Александрович Бутурлакин, Мария Александровна Гречкосеева
Порядки элементов расширения простой исключительной группы лиева типа графовым автоморфизмом.
Р. А. Корнев
Группа вычислимых автоморфизмов порядка ($R, <$) (продолжение).
Баротов Б. Х. (НГУ)
О разрешимости некоторых классов интегро-дифференциальных уравнений с вырождением.
Объединенный семинар лаборатории вычислительных проблем задач математической физики и лаборатории прикладной статистики
Котов Сергей Владимирович (НГУ)
Некоторые подходы к анализу ЭКГ, основанные на применении вейвлетов.
Аннотация
Рассматривается задача определения начала и конца Т-волны, одного из сегментов ЭКГ человека. Предложен алгоритм нахождения этого сегмента, основанный, в частности, на применении эмпирических вейвлетов.А. Н. Кудрявцев (ИТПМ СО РАН)
Явление гистерезиса при стационарном отражении ударных волн. II.
Аннотация
В докладе будет рассказано о численном моделировании перехода между стационарными регулярным и маховским отражениями ударных волн - классической проблеме газовой динамики, восходящей к Э. Маху и Дж. фон Нейману.
В результате проведенных расчетов было показано, что углы прямого и обратного переходов определяются различными критериями, т. е. смена ударно-волновых конфигураций сопровождается гистерезисом. Таким образом, внутри определенного диапазона параметров задачи в зависимости от предыстории могут быть получены как регулярная, так маховская стационарные ударно-волновые конфигурации.
Подробно изучены различные аспекты данного явления. В частности исследована роль трехмерных эффектов, предсказано существование пространственных ударно-волновых конфигураций, не наблюдавшихся ранее, исследована роль возмущений набегающего потока. Установлено, что возмущения набегающего потока способны инициировать переход к другому типу отражению, причем значительно проще вызвать переход к маховской конфигурации. Проведенные эксперименты в сверхзвуковых аэродинамических трубах, полностью подтвердили, качественно и количественно, данные численного моделирования.
Полученные результаты в значительной мере изменили сложившиеся представления об отражении ударных волн. Они показали, что гистерезис является типичной особенностью физических систем с взаимодействующими газодинамическими разрывами.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
