Ершов Ю.Л. - Определимость и вычислимость :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/1371
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 02:08:27 2016
Кодировка: Windows-1251

Ершов Ю.Л. - Определимость и вычислимость :: Электронная библиотека попечительского совета мехмата МГУ

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

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

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

Красота

Ершов Ю.Л. - Определимость и вычислимость

Ершов Ю.Л. - Определимость и вычислимость

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

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

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

Название: Определимость и вычислимость

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

Аннотация:

Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию 'Сибирская школа алгебры и логики' под редакцией академика Ю. Л. Ершова. Все книги серии
издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Геделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

-пространство      260
$m\Sigma$ -перечислимость      145
$m\Sigma$ -сводимость      143
$m\Sigma$ -скачок      147
$m\Sigma$ -степень      144
$pm\Sigma$ -цилиндрификация      146
$\Delta$ -предикат      18 190
$\Delta_0$ -параметризация      95
$\Delta_0$ -формула      2 219
$\Delta_n$ -формула      52
$\Delta_{\nu}$ -предикат      188
$\mathbf A$ -конструктивизация      189
$\mathbf A$ -нумерация      150
$\mathbf A$ -эффективизация      260
$\mathbf A$ -эффективное пространство полное      262
$\mathbf{KPU}^+$ -теория      220
$\mathbf{RQ}$ -формулы      1
$\nu_0$ -сводимость      150
$\omega f$ -база      260
$\omega f_0$ -база      265
$\sideset{^*}{}\omega$ -спектр      210
$\sideset{^*}{}\omega$ -спектр конструктивизируемый      213
$\sigma$ -идеал      261
$\Sigma$ -оператор      102 147
$\Sigma$ -отображение непрерывное      252
$\Sigma$ -подмножество широкое      258
$\Sigma$ -предикат      18
$\Sigma$ -предикат типа $\tau\in T$       253
$\Sigma$ -рекурсия по TC      115
$\Sigma$ -формула $bar\pi$ -специальная      220
$\Sigma$ -формулы      2
$\sigma$ -функция      18
$\Sigma$ -функция частичная      28
$\Sigma^+$ -подмножество      225
$\Sigma^+$ -предикат      225
$\Sigma^+$ -формула      219
$\Sigma_*$ -множество      148
$\Sigma_1$ -расширение      136
$\Sigma_1$ -формула      136
$\Sigma_n$ -формулы      52
$\Sigma_{\nu}$ -предикат      188
f*-база      248
f-база      247
f-база слабая      260
F-пространство      260
m-сводимость      143
Аксиома объединения      87
Аксиома пары      87
Аксиома пустого множества      87
Аксиома экстенсиональности      87
Аксиомы      13 274
Аксиомы DL      240
Вычислимость      75
Ганди теорема      37 39 103 223
Геделевская нумерация      119
Геделя теорема о неполноте      62 69
Геделя теорема о полноте      275
Доказательство      275
Замыкание транзитивное      75 92 114
Идеал главный      249
Интерпретация переменных      273
Интерпретация переменных свободных      235
Квазирезольвента      201
Композиция      243
Конструктивизация      213
Лемма об усечении      136
Логика динамическая      233
Множества $\Delta$ -неотделимые      60
Множество $\mathbf A$ -квазиконечное      201
Множество G-плотное      181
Множество генерическое      181
Множество допустимое      95 159 200
Множество индексное      254
Множество индуктивное      84
Множество квазирезольвентное      201
Множество локально рефлексивное      161
Множество наследственно конечное      75 88
Множество основное      271
Множество простое      169
Множество резольвентное      157
Множество чистое      116
Модель $KPU_{\sigma}$       88
Модель достаточно насыщенная      195
Модель резольвентная      158
Нумерация вычислимая      150
Нумерация геделевская      119
Оператор слабо непрерывный      101
Операция *      244
Ординал      80 92

Ординал предельный      94
Отношение вынуждения      177
Отношение экстенсиональное      140
Отображение $\mathbf A$ -вычислимое      263
Пара упорядоченная      81
Переменная      272
Подмножество $\mathbf A$ -конечное      90
Подмножество $\pi$ -однородное      228
Подмножество простое      228
Подсистема      272
Подформула      273
Правила вывода      13 275
Правила вывода DL      241
Праэлемент      87
Предикат $\sigma$ -формульный      14
Предикат главный универсальный      126
Предпорядок специализации      259
Принцип $\Delta$ -выделения      223
Принцип $\Sigma$ -ограниченности      12
Принцип $\Sigma$ -параметризации      26
Принцип $\Sigma$ -рефлексии      10
Принцип $\Sigma^+$ -ограниченности      10
Принцип совместности      115
Присваивание      243
Проблема порождения      159
Программирование логическое      245
Произведение прямое      247 262
Произведение функциональное      248 265
Пространство $\mathbf A$ -эффективное      261
Пространство $\Sigma$ -идеалов      249
Размерность      229
Ранг      76
Расширение концевое      3
Резольвента      158
Рекурсия      243
Семейство $\Sigma$ -допустимое      227
Семейство $\Sigma$ -идеалов      249
Сигнатура      271
Символ константный      271
Символ предикатный      271
Символ функциональный      271
Система      271
Система $\mathbf A$ -конструктивизируемая      189
Система $\mathbf A$ -конструктивная      189
Система $\Sigma$ -определимая      190
Система локально конструктивизируемая      217
Система ограниченная      9
Система определимая      189
Система рекурсивно насыщенная      104
Следствие      5
Следствие семантическое      5
Схема аксиом $\Delta_0$ -выделения      88
Схема аксиом $\Delta_0$ -ограниченности      88
Схема аксиом фундированности      88
Теорема о неподвижной точке      126
Теорема об униформизации      128
Теория      61
Теория вычислимости      75
Теория непротиворечивая      61
Теория неразрешимая наследственно      61
Теория полная      61
Теория простая      207
Теория разрешимая      61
Теория регулярная      201
Терм      272
Топология сильная      101
Топология слабая      101
Уплощение      171
Формула      272
Формула атомарная      273
Формула атомная      273
Формула доказуемая      275
Формула истинная      273
Формула истинная тождественно      274
Формула ложная      273
Формулы $\mathfrak U$ -эквивалентные      6
Формулы семантически      6
Формулы эквивалентные      283
Функция $\sigma$ -формульная      15
Функция конечная      82
Функция носителя      116
Функция подстановочная      165
Функция ранга      116
Функция характеристическая      35
Функция характеристическая частичная      118
Черча теорема      61
Элемент $\pi$ -простой      230
Элемент компактный      259
Элемент конечный      259
Элемент конструируемый      155

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2016

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте