Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 2018, том 157, страницы 106–134 (Mi into409)  

Предполные нумерации

В. Л. Селивановab

a Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск
b Казанский (Приволжский) федеральный университет

Аннотация: В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.

Ключевые слова: нумерация, предполная нумерация, полная нумерация, универсальность, сводимость, иерархия, индексное множество

Финансовая поддержка Номер гранта
Российский научный фонд 18-11-00028
Работа выполнена при поддержке Российского научного фонда (проект № 18-11-00028).


Полный текст: PDF файл (399 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.5, 512.565.2
MSC: 03D45, 03C57

Образец цитирования: В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134

Цитирование в формате AMSBIB
\RBibitem{Sel18}
\by В.~Л.~Селиванов
\paper Предполные нумерации
\inbook Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета
\serial Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз.
\yr 2018
\vol 157
\pages 106--134
\publ ВИНИТИ РАН
\publaddr М.
\mathnet{http://mi.mathnet.ru/into409}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3940085}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/into409
  • http://mi.mathnet.ru/rus/into/v157/p106

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры» Итоги науки и техники. Серия «Современная математика и ее приложения. Тематические обзоры»
    Просмотров:
    Эта страница:106
    Полный текст:64
    Литература:2
    Первая стр.:6
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022