Селиванов Виктор Львович

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

1. Boole vs Wadge: comparing basic tools of descriptive set theory
   В. Л. Селиванов
   Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
   7 ноября 2022 г. 15:00   
2. A Mathematical Journey
   Victor Selivanov
   Fourth Workshop on Digitalization and Computable Models (WDCM-2022)
   29 октября 2022 г. 17:40   
3. Primitive Recursive Ordered Fields and Some Applications
   V. L. Selivanov
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   4 октября 2021 г. 18:30   
4. Effective Wadge Hierarchy in Computable Quasi-Polish Spaces
   В. Л. Селиванов
   Конференция международных математических центров мирового уровня
   9 августа 2021 г. 15:20
5. Complexity of structures
   П. Е. Алаев, В. Л. Селиванов
   Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
   8 июля 2021 г. 12:45   
6. Вычисления с бесконечными данными. Лекция 4. Представление о вычислимом анализе
   В. Л. Селиванов
   Computer Science клуб при НГУ
   28 ноября 2020 г. 13:50
7. Вычисления с бесконечными данными. Лекция 3. Автоматы и бесконечные игры
   В. Л. Селиванов
   Computer Science клуб при НГУ
   28 ноября 2020 г. 12:00