Калимуллин Искандер Шагитович

Доклады и лекции в базе данных Math-Net.Ru

1. Punctual structures, automatic structures and index sets. Part 2
   N. A. Bazhenov, I. Sh. Kalimullin
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   8 апреля 2024 г. 18:30   
2. Конструктивные модели для неклассических предикатных логик. Лекция 2
   Н. А. Баженов, И. Ш. Калимуллин
   Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
   5 апреля 2024 г. 16:00   
3. Конструктивные модели для неклассических предикатных логик. Лекция 1
   Н. А. Баженов, И. Ш. Калимуллин
   Мини-курс Н. А. Баженова и И. Ш. Калимуллина «Конструктивные модели для неклассических предикатных логик»
   4 апреля 2024 г. 16:00   
4. Punctual structures, automatic structures and index sets. Part 1
   N. A. Bazhenov, I. Sh. Kalimullin
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   1 апреля 2024 г. 18:30   
5. The degrees of relative computable categoricity
   I. Sh. Kalimullin
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   11 апреля 2023 г. 18:30   
6. Алгебраические структуры и вычислимая категоричность
   И. Ш. Калимуллин
   Вторая конференция Математических центров России. Пленарные доклады
   8 ноября 2022 г. 10:00   
7. Computable families of sets and numberings
   Iskander Kalimullin
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   27 октября 2022 г. 18:05   
8. Punctual structures and punctual categoricity
   И. Ш. Калимуллин
   Конференция международных математических центров мирового уровня
   10 августа 2021 г. 17:30
9. Primitive recursive and automatic structures
   Н. А. Баженов, И. Ш. Калимуллин
   Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
   7 июля 2021 г. 11:30