Доклады и лекции в базе данных Math-Net.Ru
Punctual structures, automatic structures and index sets. Part 2 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 8 апреля 2024 г. 18:30
Конструктивные модели для неклассических предикатных логик. Лекция 2 Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик» 5 апреля 2024 г.
Конструктивные модели для неклассических предикатных логик. Лекция 1 Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик» 4 апреля 2024 г.
Punctual structures, automatic structures and index sets. Part 1 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 1 апреля 2024 г. 18:30
Лекция 3. Элементарные теории абелевых групп Мини-курс Н. А. Баженова «Элементарные теории абелевых групп» 13 апреля 2023 г. 16:30
Лекция 2. Элементарные теории абелевых групп Мини-курс Н. А. Баженова «Элементарные теории абелевых групп» 12 апреля 2023 г. 16:30
Лекция 1. Элементарные теории абелевых групп Мини-курс Н. А. Баженова «Элементарные теории абелевых групп» 11 апреля 2023 г. 16:30
Learning for families of algebraic structures Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar" 4 апреля 2023 г. 18:30
On spectrally universal classes of structures Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика» 11 ноября 2022 г.
О проблемах классификации для вычислимых алгебраических структур Математический коллоквиум ИМ СО РАН 27 января 2022 г.
On positive preorders Конференция международных математических центров мирового уровня 12 августа 2021 г.
Primitive recursive and automatic structures Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 июля 2021 г.
© , 2024
