Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
11 ноября 2022 г. 15:30–16:00, г. Москва, МГУ Ломоносов Холл
 


Generalized computable numberings and fixed points

М. Х. Файзрахманов
Видеозаписи:
MP4 483.8 Mb
Дополнительные материалы:
Adobe PDF 558.6 Kb
Adobe PDF 558.6 Kb

Количество просмотров:
Эта страница:145
Видеофайлы:22
Материалы:12



Аннотация: The talk considers generalized computable numberings from the point of view of uniform enumerability of numbered families relative to arbitrary oracles. The results presented are aimed at classifying oracles such that all (principal) families computable in them have generalized computable numberings that satisfy the Kleene fixed point theorem with different degrees of uniformity: complete and precomplete numberings, weakly precomplete numberings, and also numberings that satisfy the Recursion theorem and the Recursion theorem with parameters.

Дополнительные материалы: ФайзрахмановМ.Х..pdf (558.6 Kb) , ФайзрахмановМХ2.pdf (558.6 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024