Заседания семинаров
Yandex Telemost
Сторожук Константин Валерьевич (НГУ)
Дизъюнктно почти тривиальные неограниченные функционалы.
Аннотация
На бесконечномерных функциональных пространствах показано существование неограниченных линейных функционалов, принимающие не более одного ненулевого значения на произвольном семействе элементов, носители которых попарно не пересекаются.М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.
Аннотация
Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (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.
