|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Верещагин Н.К., Шень А. — Языки и исчисления |
|
|
|
| Предметный указатель |
 104
 -функция Гёделя 103
 141
 141
 140 146
 141
 32
 -аксиоматизируемая теория 241
 -аксиоматизируемая теория 242
 -функция Римана 229
3-значная логика 76
3-тавтология 77
F (false) 10
Gen, правило 167
k-местная функция 89
k-местный предикат 89
majority 39
Modus ponens (MP), правило 48 79
notand 21
T (true) 10
tertium non datur, закон 55
ZF 93
Автоморфизм интерпретации 106
Айтаи 43
Аксиома Архимеда 257
Аксиома объёмности (экстенсиональности) 93
Аксиома регулярности (фундирования) 93
Аксиомы исчисления высказываний 48
Аксиомы исчисления секвенций 67
Аксиомы порядка 92
Аксиомы равенства 206 209 230
Алгебраически замкнутое поле 141 225
Алгебраическое замыкание 209
Алгебраическое множество 126
Алгоритм проверки простоты 43
Алфавит 233
Алфавит, буква 233
Алфавит, слово 233
Антецедент импликации 9
Арифметика Пеано 235
Арифметика Пресбургера 114 121 224
Арифметический предикат 101
Арифметическое множество 101
Архимед 257
Атомарная формула 91
Ахо, А. 39
Базис трансцендентности 226
Бернайс, П. 166 193
Бернайса правила 178
Бесконечно близкие гипердействительные числа 263
Бесконечно малое гипердействительное число 262
Большое множество 246
Брауэр, Л.Э.Я. 71 73
Буква алфавита 233
Булева функция n аргументов 12
Булева функция монотонная 20
Булева функция, вычисляемая схемой из функциональных элементов 29
Булева функция, сложность 29 44
Булева функция, фиктивный аргумент 37
Буль, Дж. 5
Бурбаки, Никола 193
Валентность символа 90
Ван дер Варден, Б.Л. 226
Вещественно замкнутое поле 226 261
Внутреннее множество гипердействительных чисел 267
Воот, Р. 217 225
Вход 28
Вывод в исчислении высказываний 49
Вывод из  51
Выводимая формула 215
Выводимая формула в исчислении высказываний 49
Выводимость из посылок с параметрами 177
Выводимость формулы из 175
Выигрышная стратегия 250
Выполнимая формула 58 159
Выразимый предикат 98
Высказывание 9
Высказывание истинное 9
Высказывание истинностное значение 10
Высказывание ложное 9
Выход 28
Галактика гипердействительного числа 266
Гейтинг, А. 71 73
Генцен, Г. 64 70 200
Гёдель, К. 5 70 87 103 236
Гильберт, Д. 5 64 73 143 193 200
Гипердействительное число 259
Гипердействительное число бесконечно малое 262
Гипердействительное число гипернатуральное 259
Гипердействительное число гиперцелое 259
Гипердействительное число конечное 262
Гипердействительное число нестандартное 259
Гипердействительное число положительное бесконечно большое 262
Гипердействительное число стандартное 259
Гипердействительное число, абсолютная величина 261
Гипердействительное число, галактика 266
Гипердействительное число, стандартная часть 264
Гипердействительные числа бесконечно близкие 263
Гипернатуральное число 259
Гиперцелое число 259
Главный фильтр 247
Гливенко, Валерий Иванович 87
Глубина схемы из функциональных элементов 34 44
Горбачёв, Михаил Сергеевич 196
Двоичное дерево 63
Двойное отрицание, снятие 55
де Морган, А. 15 75
Диаграмма интерпретации 237
Диаграмма семейства многочленов 128
Дизъюнкт 19
Дизъюнктивная нормальная форма 19 27 30
Дизъюнкция 10
Дискриминант 137
Допустимость правила сечения 83
Дэвис, М. 257 273
Жегалкин, И.И. 21
Зайденберг 124 136 141
Заключение импликации 9
Закон исключённого третьего 55
Закон поглощения 15
Закон снятия двойного отрицания 55
Законы (правила) Де Моргана 75
Законы де Моргана 15 19
Замкнутая формула 97 215
Замыкание множества 268
Замыкание формулы 159
Значение переменной 95
Значение терма 95
Значение формулы 95
И (истина) 10
Игра Эренфойхта 144
Изоморфизм интерпретаций 138
Изоморфные интерпретации 138
Импликация (следование) 10
Индивидная переменная 90
Индивидная переменная, свободное вхождение 162
Индивидная переменная, связанное вхождение 163
Интеграл 273
Интепретация 215
Интепретация нормальная 215
Интерпретации изоморфные 138
Интерпретации элементарно эквивалентные 137 216
Интерпретации, изоморфизм 138
Интерпретация 91
Интерпретация нормальная 92 139 140 206
Интерпретация, автоморфизм 106
Интерпретация, диаграмма 237
Интерпретация, носитель 91
Интерпретация, подструктура 142
Интерпретация, расширение 142
| Интерпретация, элементарное расширение 142
Интуиционистская логика 55
Интуиционистское исчисление высказываний 70
Исключённого третьего закон 55
Истинная пропозициональная переменная 77
Истинная формула 96 215
Истинное высказывание 9
Истинностное значение высказывания 10
Исчисление высказываний 48 160
Исчисление высказываний интуиционистское 70
Исчисление высказываний классическое 70
Исчисление высказываний, вывод 49
Исчисление высказываний, выводимая формула 49
Исчисление высказываний, схемы аксиом 48
Исчисление высказываний, теорема 49
Исчисление генценовского типа 64
Исчисление гильбертовского типа 64
Исчисление предикатов 58 158
Исчисление предикатов, корректность 168
Исчисление секвенций 64
Исчисление секвенций, аксиомы 67
Исчисление секвенций, правила вывода 67
Кантор, Г. 5 73
Канторовское пространство 62
Категоричная теория 226
Квадрат, разрезание 119
Квантор 88
Квантор, область действия 162
Кванторная глубина формулы 148
Кейслер, Г. 218 257
Кёниг, Ю. 63
Классическое исчисление высказываний 70
Клини, С.К. 73 193 200
Кодирование последовательностей/множеств 103
Коконечное подмножество 247
Коллизия переменных 164
Колмогоров Андрей, Николаевич 73
Комлош 43
Компактное множество 270
Компактность 189 208
Комплексные числа 225
Конечно аксиоматизируемая теория 216
Конечное гипердействительное число 262
Консеквент импликации 9
Консерватор (в игре Эренфойхта) 144
Константа 90
Константы свежие 178
Контрапозиция 15
Контрпример (к секвенции) 65
Конъюнкт 19
Конъюнктивная нормальная форма 19
Конъюнкция 10
Кормен, Т. 39
Корректная подстановка 164
Корректность исчисления предикатов 177
Корректность подстановки 168
Коэн, П.Дж. 74
Крейг 21
Крипке, С. 73 77
Критерий Лося — Воота 217
Критерий Лося — Воота, общая форма 217
Критерий Поста 23
Курош, Александр Геннадиевич 240
Л (ложь) 10
Лебег, А. 267
Лейбниц, Г.В. 256 263
Лейзерсон, Ч. 39
Лемма Кёнига 63
Лемма Крейга 21
Лемма о дедукции 51 74 175 178
Лемма о добавлении констант 179 184
Лемма о расширении 245
Лемма о свежих константах 178
Лемма Тарского 244
Лемма Цорна 61 248
Лёвенгейм, Л. 117 210
Линейная функция 24
Линейный порядок 209
Литерал 19
Логика высказываний 9
Логические связки 9
Ложная пропозициональная переменная 78
Ложная формула 96 215
Ложное высказывание 9
Лось 217 225 241 243 253
Малое множество 247
Мальцев, Анатолий Иванович 240
Марков, Андрей Андреевич (младший) 73
Мир (в шкале Крипке) 77
Множества элементарно эквивалентные 117
Множество алгебраическое 126
Множество арифметическое 101
Множество большое 246
Множество гипердействительных чисел внутреннее 267
Множество компактное 270
Множество малое 247
Множество однородное 214
Множество открытое 269
Множество полуалгебраическое 125
Множество формул непротиворечивое 58 182
Множество формул полное 60 182
Множество формул противоречивое 58 180
Множество формул совместное 58
Множество экзистенциально замкнутое 153
Множество, замыкание 268
Множество, предельная точка 268
Модель 180
Модель Крипке 77
Модель нормальная 215
Модель счётная 188
Модель теории 177
Монада 263
Моном 21
Монотонная булева функция 20
Монотонная функция 24
Морли 218 220
Моцарт, В.А. 79
Мультилинейная функция 23
Мучник, Андрей Альбертович 127
Непрерывная функция 271
Непротиворечивая теория 180
Непротиворечивое множество формул 58 182
Несовместность теории 216
Нестандартное гипердействительное число 259
Нестандартный анализ 256
Новатор (в игре Эренфойхта) 144
Нормальная интерпретация 92 139 140 206 215
Нормальная модель 207 209
Нормальная форма дизъюнктивная 19
Нормальная форма конъюнктивная 19
Нормальная форма предварённая 194
Нормальная форма сколемовская 203
Носитель интерпретации 91
Ньютон, И. 256
Область действия квантора 162
Образующая полугруппы 233
Общезначимая формула 158
Однозначность разбора 16
Однородное множество 214
Операция взятия модифицированного остатка 131
Открытое множество 269
Отрицание 10
Оценка 95
Пара полная 83
Пара противоречивая 81
Пара совместная 81
Параметр формулы 94
Пеано, Дж. 5 235
Переменная индивидная 90
Переменная пропозициональная 12
|
|
|
| Реклама |
|
|
|
|
|
О проекте