Заседания семинаров
- Павел Сергеевич Сурнин (ИМ СО РАН)
Прямые и обратные задачи математического моделирования динамики COVID-19 с учетом экономических показателей.
М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.
Аннотация
Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.Идентификатор конференции: 314 114 3903
Код доступа: 009
Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).
Yandex Telemost
В. Н. Желябин и А. С. Мамонтов
Примитивные идеалы йордановых банаховых алгебр.
Федосеев Михаил Вячеславович
Ранги транзитивных матриц.
Т. В. Васильев
О графах, не содержащих независимых циклов (реферат работы László Lovász, On graphs containing no independent circuits, Mat. Lapok, V. 16 (1965) 289–299).
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
Поликанова Ирина Викторовна (АлтГПУ)
Обобщенные Йенсена-Коши функциональные уравнение от функций многих переменных.
Аннотация
В докладе рассматриваются решения функциональных уравнений напоминающих одновременно уравнения Йенсена и Коши. Особенность этих уравнений состоит в том, что неизвестные функции зависят от нескольких переменных. Поскольку функциональные уравнения содержат произвольный гомеоморфизм, они допускают бесконечное количество следствий. В докладе будут представлены некоторые наиболее интересные из них. Например, функциональное уравнение Гаусса, а также другие.А. Л. Искра
Конечные порядки произведений двух транспозиций классов делят 840.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
