Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Гильберт Д.N. Основания математики Теория доказательств
 
djvu / html
 

650
АЛФАВИТНЫЙ УКАЗАТЕЛЬ
Подтерм прямой 84
Подчинение 44, 626
Позитивная логика 429, 512
Позитивно тождественная формула 512
-------1-К-формула 523
Положительные действительные числа 556
Понятие терма, рекурсивное изображение 278, 372
— формулы, рекурсивное изображение для исчисления высказываний 276
-------,----------------предикатов 281
-------,------------(?„) 312
Порядок полный 442 Пост (Post E. L.) 421 Постоянные термы и формулы 58 Правила подстановки и переименования 462 - (ц) и (V) 173
— (ц*) и (•«*) 209 Правило замены 35
— подстановки в К. 581
------------L 590
Предваренные формулы 471
-------, рекурсивное изображение для
(Z) 408 Предикатный символ 463
-------в расширенном смысле слова 448
Представимость 326, 404
— рекурсивных функций в (Z) 404
— функций в К. 586 Примерное выражение 534 Пример формулы 192 Примитивная рекурсия 466 Принцип выбора 23, 236, 565, 596
— индукции, обобщенный 443, 453
— наименьшего числа 469
------------, обобщенный 442
Проблема разрешимости для исчисления предикатов 505
Прогрессивность общей замены 634
Разделение свободных переменных 601
— связанных переменных 607 Разделяющая система функций 217 Разложение вывода на нити 473 Разрешающая функция 506
Ранг списка формул 146
— е-выражения 46, 626 Расёва (Rasiowa H.) 203 Распределение истинностных значений
постоянных элементарных формул 58 Рассел (Russell В.) 17, 589 Регулярная импликативная формула
512
Редукционное число 635
------- первое и второе 635
Резольвента 128 Рекурсивная формула 272
— функция 271, 467 Рекурсивное определение 466, 591 Рекурсивный предикат 271
— терм 271, 479
-------нормальный 391
Рекурсия примитивная 466
— пробега 275
— трансфинитная 577 Рёддинг (Rodding D.) 16
Ришар (Richard J.) 16, 321, 331, 335,
349, 363
Робинсон (Robinson R.) 508 Россер (Rosser J. В.) 335, 342, 345, 507
Сабо (Szabo M.) 439 Свободно становящаяся последовательность 216
Связанность по выполнимости 235 Секвенция 454 Семантические антиномии 321
— парадоксы 321 Сикорский (Sikorski R.) 203 Символьное решение 23, 35 Система, см. Формализм
— аксиом в разрешенном виде 25
-------геометрии 25, 61—64, 67
------- первой ступени 320, 463
Скобки 458
Сколем (Skolem Th.) 235, 243, 260, 418
Сколемовская нормальная форма 176, 233, 472
Сложение положительных действительных чисел 561—562
Собственная переменная схемы 601
Список формул, ранг 146
Стениус (Stenius E.) 15, 37, 191, 203, 322
Степень формулы 603
— е-терма 45, 626 Столбец замен 154 Строка замен 154 Сукцедент 454
Схема двукратного устранения 525
— для квантора существования 601
— заключения 461, 601
— замены 480
— индукции 75, 468, 601
— перестановки 490
— разъединения посылок 525
— силлогизма 525
— соединения посылок 525
— явного определения 550 Схемы (а) и (0) 460—461

 

1 10 20 30 40 50 60 70 80 90 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260 270 280 290 300 310 320 330 340 350 360 370 380 390 400 410 420 430 440 450 460 470 480 490 500 510 520 530 540 550 560 570 580 590 600 610 620 630 640 650 651 652


Математика