Смальян Р. — Теория формальных систем :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Смальян Р. — Теория формальных систем

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

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

Название: Теория формальных систем

Автор: Смальян Р.

Аннотация:

В этой книге в систематической форме и, фактически, начиная с <азов>, излагается обширный комплекс
математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Аксиома математической системы      25
Аксиома теории      183
База системы U      31
Базис для рекурсивно перечислимых отношений      54
Биравномерная сводимость совокупности множеств      155
Биравномерное сведение      156
Вполне креативное множество      139
Вполне представимое множество      76
Вполне продуктивное множество      139
Вполне продуктивное множество относительно $\Sigma$       153
Вполне сдвоенно продуктивная относительно $\Sigma$ пара множеств      171
Вполне сдвоенно универсальная пара множеств      163
Вывод в математической системе      25
Вывод в элементарной формальной системе      129
Выводимая строка элементарной формальной системы      20
Гёделева нумерация      29
Гёделева система      180
Гёделево соответствие      см. «Гёделева нумерация»
Декартово произведение      46
Диагонализация выражения представляющей системы      71
Диагонализация строки системы U      33
Диагональное множество R*      98
Диагональное множество T*      98
Диагональное предложение      71
Диадическая гёделева нумерация      119
Диадическая конкатенация      119
Диадическое представление положительных целых чисел      27
Диадическое числительное      27
Доказательство в теории      188
Доказуемое предложение теории      184
Допустимая гёделева нумерация      30
Изоморфизм представляющих систем      180
Индекс РП множества      105
Индекс функциональный      135
Квалификация отношения      42
Квалификация формулы теории      183
Клиниевские множества      141
Композиция отношений      47
Композиция функций      46
Компонента базы      32
Конечное соответствие      176
Конкатенация диадическая      119
Конкатенация строк      19
Конструктивно арифметические отношения      54
Конструктивно определимые отношения      54
Конъюнкция формул теории      182
Креативная представляющая система      143
Креативное множество      138
Лексикографическая гёделева нумерация      29
Лексикографическое упорядочение      59
Логически истинное предложение теории      184
Логическое следствие      184
Математическая система      25
Много-односводимость      142
Множество S-рудиментарное      132
Множество, определимое в представляющей системе      76
Независимые элементарные формальные системы      39
Ненасыщенная представляющая система      74
Неразрешимое предложение представляющей системы      75
Несобственная переменная      40
Образ отношения      45
Общая представимость      39
Ограниченная квантификация      53
Одно-односводимость      142
Определимая функция в теории      186
Отношение      22
Отношение S-рудиментарное      132
Отрицание формулы теории      182
Переменная теории      182
Переменная элементарной формальной системы      19
Перечислимое в теории множество      187
Перечислимое в теории отношение      192
Подбазис для рекурсивно перечислимых отношений      54
Полная представляющая система      74
ППФ      см. «Правильно построенная формула»
Правильно построенная формула      19
Предикат представляющей системы      69
Предикат системы $\mathscr U$       36
Предикат системы U      32
Предикат теории      185
Предикат элементарной формальной системы      19
Представимость в представляющей системе      70
Представимость в системе U      32
Представимость в теории      185
Представимость в элементарной формальной системе      22
Представление положительных целых чисел n-адическое      60
Представляющая система      69
Прежде, чем      133
Продуктивная представляющая система      143
Продуктивная функция      138
Продуктивное множество      138
Продуктивное множество относительно совокупности множеств      153
Прообраз отношения      45
Равномерная креативность совокупности множеств      150
Равномерная представимость множеств в системе Q      155

Равномерная сводимость совокупности множеств к множеству      149
Равномерная сводимость совокупности множеств к множеству, паре множеств      163—164
Равномерно сдвоенно универсальная пара      164
Равномерно универсальное множество      152
Равномерное сведение совокупности множеств      149
Разрешимая математическая система      26
Разрешимая представляющая система      86
Разрешимое множество над K      22
Разрешимое предложение представляющей системы      75
Расширение алфавита      19
Расширение представляющей системы      82
Расширение теории      191
Рекурсивно неотделимая пара множеств      94
Рекурсивно неотделимые множества      94
Рекурсивно отделимая пара множеств      94
Рекурсивно отделимые множества      93
Рекурсивно перечислимое множество      27
Рекурсивный изоморфизм множеств      142
РП множество      см. «Рекурсивно перечислимое множество»
Рудиментарная функция      124
Рудиментарное множество      121
Рудиментарное отношение      121*
Сводимость      см. «Много-односводимость»
Сводимость пар множеств к парам множеств      162
Сдвоенно креативная пара множеств      158
Сдвоенно продуктивная пара множеств      157
Сдвоенно универсальная пара множеств      163
Сдвоенный изоморфизм пар множеств      175
Сдвоенный изоморфизм представляющих систем      180
Сильная отделимость множества в представляющей системе      79
Симметричная представляющая система      81
Система $\mathscr U$       35
Система U      31
Система Россера      97
Слабая отделимость множеств в представляющей системе      78
Слабо продуктивная функция      147
Слабо продуктивное множество      147
Слабо сдвоенно продуктивная пара множеств      166
Совершенное множество формул теории      183
Строгая формула элементарной формальной системы      126
Строгая элементарная формальная система      126
Строгий терм элементарной формальной системы      126
Строка символов      18
Су      см. «Сдвоенно универсальная пара множеств» см.
Существенно креативная теория      197
Существенно неразрешимая теория      196
Схема аксиом элементарной формальной системы      21
ТА      см. «Транскрибированная элементарная диадическая арифметика»
Теорема математической системы      26
Теорема представляющей системы      69
Теорема теории      184
Теорема элементарной формальной системы      21
Теория      181
Теория $\omega$ -непротиворечивая      187
Теория $\omega$ -противоречивая      187
Теория N      196
Теория P      196
Теория Q      196
Теория R      195
Теория Гёделя      191
Теория Гёделя для n-местных отношений      192
Теория Гёделя для множеств      см. «Теория Россера»
Теория Россера      185
Точная отделимость множеств в теории      199
Точная теория Россера      199
Транскрибированная элементарная диадическая арифметика      31
Унарное числительное      60
Универсальная квантификация формулы      183
Универсальная представляющая система      90
Универсальная система U      см. «Система U»
Универсальное множество      152
Универсальное отношение      103
Формальная представляющая система      86
Формально представимая функция      25
Формула теории      182
Формула элементарной формальной системы      19
Функция $\beta$       125
Функция Россера      146
Функция, включающая аргументы      132
Числительное n-адическое      60
Число      23
Экзистенциальная квантификация отношения      42
Экзистенциальная квантификация формулы      183
Экзистенциальная определимость      43
Элементарная диадическая арифметика      27
Элементарная формальная система      19
ЭН пара множеств      см. «Эффективно неотделимая пара множеств»
ЭН функция      141
ЭФС      см. «Элементарная формальная система»
Эффективная операция      109
Эффективно неотделимая пара множеств      141
Эффективно россеровская система      146
Явно определимое отношение      42
Явные преобразования      42
Ядра представляющей системы      94

О проекте