Ершов Ю.Л. — Теория нумераций :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Ершов Ю.Л. — Теория нумераций

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Теория нумераций

Автор: Ершов Ю.Л.

Аннотация:

Предлагаемая читателю книга представляет собой введение в проблематику и методы теории нумераций - нового развивающегося раздела теории алгоритмов.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 416

Добавлена в каталог: 09.05.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$(n, \delta)$ -преобразование      394
-преобразование      393
-пространство      358
$\eta$ -замыкание множества      173
$\lambda$ -модель      376
$\Lambda$ -последовательность      207
$\Lambda$ -последовательность m-универсальная в классе      209
$\Lambda$ -последовательность m-универсальная для класса      209
$\Lambda$ -последовательность копродуктивная      250
$\Lambda$ -последовательность креативная      250
$\Lambda$ -последовательность, сопряженная нумерованному множеству      209
$\nu$ -предпорядок      109
$\omega n$ -нумерация      146
$\omega n$ -подмножество      46 146
$\omega n$ -подобъект      143
$\omega$ -степень нумерованного множества      324
$\varphi$ -преобразование      389
e-нумерация      146
E-подмножество      146
e-подобъект      142
F-множество      358
F-пространство      358
f-пространство полное      370
f-элемент      363
l-м орфизм      165
l-сводимость      16
l-сводимость $\Lambda$ -последовательностей      208
l-сводимость нумераций      104
l-степень      16
l-эквивалентность      16
m-перечислимость      244
m-сводимость $\Lambda$ -последовательностей      207
m-сводимость множеств      15
m-сводимость относительно       221
m-сводимость по отделимости      232
m-скачок m-степени      244
m-скачок множества      244
m-степень      15
m-степень нераспадающаяся      288
m-цилиндрификация      16
m-эквивалентность      15
m-эквивалентность относительно       221
m-эквивалентность по отделимости      232
N-нумерация      146
n-подмножество      146
n-подобъект      145
n-преобразование      393
n-развертка      14
n-развертка множества      14
P-последовательность      276
p-цилиндр      241
p-цилиндр ( $\Lambda$ -последовательность)      245
p-цилиндрификация $\Lambda$ -последовательности      245
p-цилиндрификация множества      241
pm-сводимость      237
pm-степень множества      237
pm-эквивалентность      237
r-нумерация      146
r-подмножество      146
r-подобъект      146
R-преобразование      392
Алгебра булева      21
Алгебра булева атомная      21
Алгебра булева суператомная      21
Алгебра, порожденная множеством      350
Алгоритм Тарского — Куратовского      18
Аппроксимация нумерованного множества      192
Атом булевой алгебры      21
Вложение диагональное $\delta$       319
График функции      15
Замыкание      350
Идеал паруса      366
Идеал паруса главный      366
Идеал полурешетки (решетки)      19
Идеал полурешетки (решетки) главный      19
Идеал простой      20
Иерархия Клини — Мостовского      17
Изоморфизм $\Lambda$ -последовательностей      208
Изоморфизм нумераций      104
Изоморфизм нумерованных множеств      167
Изоморфизм рекурсивный множеств      16
Категория      29
Категория       132
Категория $\mathbf F$       374
Категория $\mathbf F_c$       373
Категория $\mathbf P$       373
Категория $\mathscr R$       111
Категория $\mathscr R\mathscr{PD}_0$       138
Категория $\mathscr R^*$       112
Категория $\mathscr R_p$       178
Категория $\mathscr R_{\pi}$       168
Категория $\mathscr R_{\text{от}}$       129
Категория Set      29
Квадрат коуниверсальный      150
Квадрат универсальный      122
Класс арифметических множеств (предикатов)      18
Класс всюду определенных непрерывных функционалов      382
Класс замкнутый $\Lambda$ -последовательностей      209
Класс функционалов      376
Класс функционалов экстенсиональный      377
Класс частичных вычислимых функционалов      378
Класс частичных непрерывных функционалов      379
Коидеал      98
Конус      80
Конус верхний      80
Конус нижний      80
Множество $\eta$ -гиперпростое      300
Множество $\eta$ -замкнутое      173 387
Множество $\eta$ -конечное      300
Множество $\eta$ -максимальное      300
Множество $\eta$ -простое      300
Множество $\Pi$ -замкнутое      196
Множество арифметическое      18
Множество индексное      217
Множество нумерованное      96
Множество нумерованное $\mathbf 1$       116
Множество нумерованное $\mathbf K$       44
Множество нумерованное $\mathbf N$       112
Множество нумерованное $\mathbf O$       111
Множество нумерованное $\mathbf X_M$       100 241
Множество нумерованное $\mathbf{\Pi}$       44
Множество нумерованное $\mathbf{\Pi}_2$       171 347
Множество нумерованное $\mathbf{\Pi}_{\Pi}$       196
Множество нумерованное $\mathfrak B_0$       267
Множество нумерованное $\mathfrak B_2$       331
Множество нумерованное $\partial\mathbf{\Pi}$       275
Множество нумерованное отделимое      129
Множество нумерованное, сопряженное с $\Lambda$ -последовательностью      208
Множество пар допустимое      348 350
Множество пар точное      352
Множество позитивно нумерованное      178
Множество предельное для семейства множеств      93
Множество совершенное      288
Множество согласованное      199
Множество, нумерованное полное (полно нумерованное множество)      153
Множество, нумерованное полное над аппроксимацией      198
Множество, нумерованное полное универсальное      267
Множество, нумерованное предполное (предполно нумерованное множество)      153
Мономорфизм (в категории)      29
Мономорфизм точечный      265
Морфизм категории      29
Морфизм нумерованных множеств      111
Морфизм частичный      303
Набор отмеченный      400
Номер ( $\nu$ -номер)      35 97
Нумерация      12 96
Нумерация $\nu$ -вычислимая      132
Нумерация вычислимая      32 33 273
Нумерация вычислимая семейства морфизмов      301
Нумерация главная      40 139

Нумерация главная множества      302
Нумерация допустимая относительно порядка      191
Нумерация каноническая Ц-класса      249
Нумерация клиниевская $\varkappa$       43
Нумерация конечных множеств $\gamma$       37
Нумерация кортежей $\nu_{\omega}$       14
Нумерация минимальная      40
Нумерация негативная      52 102
Нумерация однозначная      52 93 102
Нумерация отделимая      60
Нумерация отделимая эффективно      60
Нумерация позитивная      52 102
Нумерация полная      163
Нумерация постовская $\pi$       44
Нумерация предполная      163
Нумерация разрешимая      52 102
Нумерация цилиндрическая      107
Область значения морфизма      29
Область определения морфизма      29
Область определения частичного морфизма      303
Объект инъективный      125
Объект категории      29
Объект проективный      127
Определение модели элементарное      384
Остов ортогональный      74
Отношение эквивалентности негативное      52
Отношение эквивалентности отделимое      59
Отношение эквивалентности отделимое эффективно      59
Отношение эквивалентности позитивное      52 170
Отношение эквивалентности разрешимое      52
Парус      342
Парус конструктивный      342
Парус полный      372
Перестановка рекурсивная      16
Пересчет прямой      387
Подмножество $\nu$ -вполне перечислимое      109
Подмножество вполне перечислимое      109 141
Подмножество вполне рекурсивное      141
Подмножество главное      44 139
Подмножество слабо перечислимое      141
Подмножество слабо рекурсивное      141
Подмножество совместное      342
Подобъект      118 131
Подобъект главный      138
Подобъект плотный      118
Подпарус      366
Подпространство базисное      364
Полурешетка (верхняя)      18
Полурешетка m-степеней      15
Полурешетка дистрибутивная      21
Полурешетка дистрибутивная c-универсальная      28
Полурешетка дистрибутивная допустимая      28 103
Полурешетка дистрибутивная эффективная      386
Полурешетка рекурсивно перечислимых m- степеней      63
Последовательность вычислимая      59 273
Последовательность копродуктивная      277
Последовательность креативная      277
Последовательность отделяющая      59
Последовательность равномерно не наибольших (равномерно не наименьших) элементов      78
Последовательность сильная      37
Последовательность сопряженная      59 276
Последовательность, удовлетворяющая устойчивому условию      283
Предел прямого спектра полурешеток      24
Предикат рекурсивно перечислимый      196
Предикат рекурсивный      196
Предикат совместности      341
Предикат совместности конструктивный      342
Предикат совместности общий      342
Предикат совместности общий конструктивный      342
Представимость      305
Представление каноническое морфизма      114
Представление неразложимое (элемента дистрибутивной полурешетки)      69
Представление тройки      388
Преобразование естественное функторов      30
Проблема P для пары нумерованных множеств      301
Проблема P для пары нумерованных множеств неразрешимая      302
Проблема P для пары нумерованных множеств разрешимая      302
Произведение прямое      119
Произведение расслоенное      150
Равенство частичных морфизмов      303
Разбиение рекурсивное      387
Разбиение цилиндрическое      387
Размерность ортогональная      74
Ретракт      146
Ретракт замкнутый      344
Решетка      19
Решетка дистрибутивная      19
Свертка      14
Свертка множества      14
Сводимость нумераций      34 96
Семейство вычислимое      34 72 273
Семейство главное      44
Семейство дискретное      92
Семейство дискретное эффективно      92
Семейство предельное для семейства множеств      93
Семейство сильно перечислимое      37
Семейство сильно рекурсивное      37
Спектр прямой полурешеток      24
Стратегия      395
Стратегия плохая для набора      400
Сумма прямая      118
Сумма прямая нумераций      35 97
Сумма расслоенная      121
Счетчик      38
Теорема о вложении      265
Теорема о пополнении      261
Теорема о представлении      267
Теорема о редукции      16
Теорема о рекурсии      161
Теорема об универсальности      267
Теорема Раиса      156
Тип специальный      377
Тип функционала      376
Точка предельная      50
Ус      342
Ус конструктивный      342
Условие       196
Условие устойчивое      282
Условие устойчивое элементарное      282
Фактор-объект      117
Фактор-полурешетка (фактор-решетка)      19
Факторизация      114
Функтор       369
Функтор $F_{\pi}$       257
Функтор $F_{\text{от}}$       129
Функтор       132
Функтор       149
Функтор       149
Функтор $\mathbf C$       373
Функтор $\mathbf C^*$       374
Функтор $\mathbf{\Omega}$       373
Функтор $\mathscr L^*$       138
Функтор LE      152
Функтор Mor      30
Функтор ковариантный      29
Функтор контравариантный      30
Функтор левый сопряженный      31
Функтор многоместный      30
Функтор правый сопряженный      31
Функтор представимый      31
Функтор унивалентный      265
Функторы сопряженные      31
Функционал всюду определенный      381
Функционал всюду определенный вычислимый      382
Функционал частично рекурсивный      304
Функционал частичный вычислимый      378
Функционал частичный непрерывный      379
Функция $\mathbf 1$ -сводящая      104
Функция канторовская нумерующая      13
Функция клиниевская универсальная      41

1 2

О проекте