Успенский В.А. — Лекции о вычислимых функциях :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Успенский В.А. — Лекции о вычислимых функциях

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

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

Название: Лекции о вычислимых функциях

Автор: Успенский В.А.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Сохранять перечислимость      331
Строго ограниченные кванторы      79
Существенно зависеть от аргумента      30
Считываемый символ      409 418
Считывающая и записывающая головка      408 417
Таблица печати      404 411
Такт      402
Творческое множество      389 394
Тезис Чёрча      157
Тело множеств      99
Теорема о графике      161
Теорема о неотделимости      283
Теорема о нормальной форме      153 168 248 251
Теорема о подстановке      35
Теорема об униформизации      279
Точка      27
Точка минимума функции      292
Тьюринга машина      419
Универсальная дважды пара множеств      272
Универсальная функция      203 204 249
Универсальная функция нумерации      299
Универсальное множество      265 266 267 272
Универсальное множество нумерации      304
Униформизоваться      278
Униформное множество      27
Управляющая таблица      402 410
Урезанная разность      51
Фиктивный аргумент      30
Фундаментальная последовательность      337

Функция      39
Функция большого размаха      43
Функция в      29
Функция выбора аргумента      31
Функция следования      32
Функция типа $X\rightarrow Y$       29
Характеристическая функция действительного числа      339
Характеристическая функция множества      21 45
Характеристическая функция предиката      69
Цепочка отображений $\varepsilon^{[i]}$ определяется функциями $l_{1}$ , $l_{2}$       196
Цилиндр      27
Частично-рекурсивная функция      154 155 156 157 159 161 297 427 434 470
Частично-рекурсивно замкнутый класс      155
Частично-рекурсивно сводиться      295
Частично-рекурсивно эквивалентные нумерации      296 297
Частично-рекурсивное множество      173
Частично-рекурсивное описание      156
Частично-рекурсивное отображение      168 169
Частичное отображение      38—39
Число      26
Эквивалентные нумерации      364
Эквивалентные пары      340
Эквивалентные последовательности сегментов      339
Эквивалентные последовательности чисел      337 340
Эквивалентные сечения      338
Экспонента      115
Эффективно порождаемое множество      21
Эффективно-неотделимые множества      396
Эффективный порождающий процесс      21

1 2

О проекте