|
Итоги науки и техники. Современная математика и ее приложения. Тематические обзоры, 2018, том 157, страницы 106–134
(Mi into409)
|
|
|
|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Предполные нумерации
В. Л. Селивановab a Институт систем информатики им. А. П. Ершова СО РАН, г. Новосибирск
b Казанский (Приволжский) федеральный университет
Аннотация:
В обзоре обсуждается теория предполных нумераций, которые часто встречаются в ряде разделов теории вычислимости. Предполные нумерации тесно связаны с различными вариантами теоремы о неподвижной точке, играющей важную методологическую роль. В ряде случаев этот подход позволяет заменить громоздкие доказательства, связанные с так называемым методом приоритета, изящными и простыми применениями этой теоремы. В некотором смысле статья охватывает часть теории вычислимости, в которой можно обойтись элементарными методами.
Ключевые слова:
нумерация, предполная нумерация, полная нумерация, универсальность, сводимость, иерархия, индексное множество.
Образец цитирования:
В. Л. Селиванов, “Предполные нумерации”, Труды семинара кафедры алгебры и математической логики Казанского (Приволжского) федерального университета, Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157, ВИНИТИ РАН, М., 2018, 106–134; J. Math. Sci. (N. Y.), 256:1 (2021), 96–124
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/into409 https://www.mathnet.ru/rus/into/v157/p106
|
Статистика просмотров: |
Страница аннотации: | 219 | PDF полного текста: | 147 | Список литературы: | 25 | Первая страница: | 6 |
|