Заседания семинаров
Идентификатор конференции: 314 114 3903
Код доступа: 009
Кошекова А. К. (Караганда)
Свойства категоричности для класса Кайзера.
Цгоев Ч. А., ФИЦ ИВТ
Математическое моделирование воспалительной фазы инфаркта миокарда (по материалам кандидатской диссертации).
Аннотация
Работа посвящена применению комплекса методов математического моделирования, теории идентификации систем и системной биологии к численному исследованию биохимии инфаркта. Разработана иерархия новых математических моделей воспалительной фазы инфаркта миокарда. Разработаны и реализованы в виде комплекса программ эффективные алгоритмы решения прямых и обратных задач, а также экономичная вычислительная технология, ориентированные на решение задачи структурной и параметрической идентификации моделей объектов (процессов) с высоким уровнем неопределенностей и проведение больших серий вычислительных экспериментов в области интереса. На этой основе выполнен численный анализ базовых закономерностей пространственно-временного развития инфаркта миокарда в левом желудочке сердца мыши, в том числе при многососудистом поражении коронарного русла. Особое внимание уделено анализу терапевтического потенциала управления воспалением на ранней стадии инфаркта, в том числе в контексте «терапевтического окна».А. В. Викулова
Кубические поверхности над полями положительной характеристики.
Аннотация
В этом докладе мы обсудим кандидатскую диссертацию докладчика. Мы поговорим о гладких кубических поверхностях с наибольшей по порядку группой автоморфизмов над произвольным полем. Для произвольного заданного поля мы найдем все такие гладкие кубические поверхности и поговорим о том, почему с точностью до изоморфизма она окажется в единственном экземпляре. Мы предъявим наибольшие по порядку группы автоморфизмов гладких кубических поверхностей для всех полей. А еще мы обсудим, как именно гладкая кубическая поверхность над полем из двух элементов с наибольшей по порядку группой автоморфизмов может помочь в поиске константы Жордана группы Кремоны ранга 2 (то есть группы бирациональных автоморфизмов проективной плоскости).Л. Н. Дворный
Гамильтоновость кубических Pancake графов.
Г. Ольховиков (Рурский университет, Бохум)
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
Андрей Артёмович Симонов
Треугольные и почти-тривиальные квандлы.
Lars Rohwedder (Maastricht University)
Resent advances in flow time scheduling.
Аннотация
Баротов Б. Х. (НГУ)
О разрешимости некоторых классов интегро-дифференциальных уравнений с вырождением.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
