Заседания семинаров
Г. Ольховиков (Рурский университет, Бохум)
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).
Николай Семенович Романовский
Ранг Морли определимого множества над делимой жёсткой группой.
В. С. Задворнов
Брэйсы с циклическим коммутантом аддитивной группы.
Белобородова А. В. (НГУ)
Оценки решений одного класса нелинейных функционально-разностных уравнений.
А. Н. Кудрявцев (ИТПМ СО РАН)
Явление гистерезиса при стационарном отражении ударных волн.
Аннотация
В докладе будет рассказано о численном моделировании перехода между стационарными регулярным и маховским отражениями ударных волн - классической проблеме газовой динамики, восходящей к Э. Маху и Дж. фон Нейману.
В результате проведенных расчетов было показано, что углы прямого и обратного переходов определяются различными критериями, т. е. смена ударно-волновых конфигураций сопровождается гистерезисом. Таким образом, внутри определенного диапазона параметров задачи в зависимости от предыстории могут быть получены как регулярная, так маховская стационарные ударно-волновые конфигурации.
Подробно изучены различные аспекты данного явления. В частности исследована роль трехмерных эффектов, предсказано существование пространственных ударно-волновых конфигураций, не наблюдавшихся ранее, исследована роль возмущений набегающего потока. Установлено, что возмущения набегающего потока способны инициировать переход к другому типу отражению, причем значительно проще вызвать переход к маховской конфигурации. Проведенные эксперименты в сверхзвуковых аэродинамических трубах, полностью подтвердили, качественно и количественно, данные численного моделирования.
Полученные результаты в значительной мере изменили сложившиеся представления об отражении ударных волн. Они показали, что гистерезис является типичной особенностью физических систем с взаимодействующими газодинамическими разрывами.
А. Ю. Веснин
О группах отражений идеальных гиперболических многоугольников.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
