1611678200-36438fb4f1ee6f855c93dc4a315ea8eb (826633), страница 68
Текст из файла (страница 68)
в. г.Н. н. г.846566Набор упорядоченныйНадсистемаНачало словаНоситель821594Нумерация гёделева-60, 6195Натуральное числомножества26785Обеднение системы96Область действия вхождения квантора-102значений63определенияОбраз rомоморфныйПара9694-множества при отображенииОбъединение множеств-систем96примитивной рекурсии63Обогащение системы-сигнатуры на множество16, 17646494298298регулярной суперпозиции 297Операция п-местная 16, 63- - частичная 16- тождественная на множестве 64Ординал 81- конечный 82- меньший ординала 83- предельный 82Основа тавтологии 116Остаток от деления 305Отношение 61- n-местное 6l- антисимметричное 62- обратное 61- рефлексивное 62- симметричное 62- транзитивное 62Отображение 16, 63- арности 93- биективное 63- взаимно однозначное 63- инъективное 63- местности 93- множества в множество 63- - на множество 63- разнозначное 63- сюръективное 63Отрезок начальный 69- замкнутый 69- открытый 69- собственный 69Отрицание 19-112локально выполнимое63отображения на множествоОператор минимизации1881формул выполнимое-Ограничение отношения на множе-,СТВО11810216упорядоченнаяПарадокс Рассела-лжеца12Переменная996l8Предметный указательПеременная входящая в формулусвободно102- - связанно 102- для формул 22- исчезающая в переходе 218- - правильно 218- пропозициональная 19Пересечение множеств l 6, 17Перестановка 216Переход 24- существенный 55Периодическая часть 322Подгруппа р-базисная 321- р-сервантная 32 lПоддерево 218Подмножество 14Подсистема 95- порожденная множеством 95- собственная 95- элементарная 147Подслово 15Подстановка 29Подформула 19, 101- обобщенная 217Поле алгебраически замкнутоеПорядок линейный--пустаяПотомок17221713-слова14Пренексная н.
ф.128Пренексная нормальная формаПриведенная н. ф.126128Приведенная нормальная формаПрименение правила303-:Е-ограниченности:Е-параметризации:Е-рефлексии198200213198кардинального упорядочениямаксимума12724Принцип Ло-оrраниченности7370, 90полного упорядоченияпотенциальной71, 90осуществимости251-трансфинитной индукцииПриставка кванторная68126Проблема разрешимости исчисления1529844ПрограммаПроекция-182946lдекартова произведения107Произведение множеств декартово21718- вывода ИПЕ 115ипf 136ив 22- - исчисления 17- - исчисления резольвент 24 7- - независимое 45- - основное 24, 216- - структурное 24, 216- перестановки 216- утончения 216-- -170сохраняющееся при гомоморфиз-Представитель абстрактной буквы65, 97Правило п-посылочное105интерполирующее для парымах15216Посылка правила202104п-общезначимоеПредок98частичный 65, 97Посылка61о--формульныйПредложениеплотныйопределяющаяПредикат-Последовательность-3476l- - фильтрованное l 07- отношений 62- семейства множеств декартово107- систем декартово 108, 109- - прямое 108, 109- - фильтрованное 108Пропозициональная форма формулы244Прямое произведение систем108Предметный указатель348РавенствоСигнатура функциональная101СимволРазбиение множества63Размерность базисная 325- группы 319Разность множеств 16Разрешимая проблема элементарныхиндексов31587LG 54Ранг множестваРасширение-исчисления консервативноеконцевое50192языка18335Решетка 66- булева 66- дистрибутивная 66РеброСвойство чистоты переменных21719Секвенция ипЕ 114- - тождественно истинная 119ив 21- ипч 140- доказуемая 122- - в ИПЕ 116- - в ив 24- - в исчислении предикатов 122- истинная в алгебраической системе при интерпретации 119- исчисления G 215- -LG 54- ложная в алгебраической системе119- получаемая из секвенций по правилу 24, 115- тождественно истинная 40Семантика исчисления 39Сигнатура 93- абелевых групп 314- групповая 97- класса 153- колец с единицей 97- предикатная 94- пустая 94- содержащаяся в сигнатуре 94Связка логическая-9413- вспомогательный 19- константы 93- логический 19- операции 93- отношения 93- предиката 93- предикатный п-местный 93- - позитивно входящий в формулу 209- пропозициональной переменной99- равенства 101- следования 19- функции 93- функциональный n-местный 93- - имеющий связанное вхождениев формулу 234Синтаксис исчисления 39Система 94- аксиом Цермело-Френкеля 89- - для теории 161, 283- алгебраическая 94- единичная 158- порожденная множеством 96Системы изоморфные 95Скулемизация сигнатуры 162- - полная 163- системы 162- - полная 163- теории 162- - полная 163Следствие формулы на алгебраической системе-семантическоеСлова равныеСлово1941951415- абстрактное 14- в алфавите 14- конкретное 14- машинное 295- - тупиковое 295- пустое 14Сложность булева 217Предметный указательСовершенная д.
н. ф.-к.н.ф.Теорема полноты исчисления преди-36катов36Соединение абстрактных слов15Список формул245304- фильтрованная 108Стратегия поиска 250Сукцедент 216Схема аксиом ИВ 22- - независимая 45- секвенций ИВ 22- секвенций, доказуемая- формул ИВ 22-Черчав ИВ26116Тезис Тьюринrа297298Теорема ИПI; 116-ипf 136- Гёделя о неполноте 283, 290- - о полноте 132- Ганди 261- - общая форма 264- ив 24- Кантора 80- Кантора - Бернштейна 80- Рыль- Нардзевского 183- Тарского о неопределимости истинности в276- Чёерча 283- Эрбрана 243- интерполяционная Крейга-Линдона 170- компактности 112- о I::-определимости истинностиI::-формул 268- о I::n -определимости истинностиI::n -формул 276- о дедукции 137- о существовании модели 129- об иерархии 276- об опускании типов 168- об униформизации 279- об устранении сечения 225nТеория119144, 161, 2833-аксиоматизируемая161161V:3-аксиоматизируемая 161- АЗП 303- взп 310- вещественно замкнутых полей310- графов 335- доказательств 11- категоричная в мощности 183- класса 153, 283- моделей 11- модельно полная 161- наследственно неразрешимая 283,332- непротиворечивая 283- неразрешимая 283- полная 161, 283- разрешимая 283- с элиминацией кванторов 161- сигнатуры I:: 16 l- универсально аксиоматизируемая161- элементарная 144, 161- - класса 153Терм 99, 100- базисный 164- замкнутый 99- константный 99- свободный для переменной 217-Степень полиномаТавтология349V-аксиоматизируемаяТип вполне упорядоченного множе-ства83176Тождество 157Тройка 16-набораУ льтрафильтр77Условие несмешанности переменных215Утончение216Факторсистема172Предметный указатель350Фильтр Фреше-главныйФормула тождественно истинная76булевой алгебры7678на множестве76счетно полный 79, 181Формула 100, 101- ИПЕ 114- ипf 135- ив 19- ипч 140- атомарная 19, 101- атомная 101- базисная второго рода 320- - первого рода 320- бескванторная 10 l- выводимая из множества гипотезв ипf 136- - в ИВ1 47- выполнимая в системе 104- главная 216- доказуемая в ИПЕ 116- - в ипf 136- - в ИВ1 47- - в ив 24- замкнутая 104- истинная в алгебраической системе 103- - на наборе 40- исчисления G 215- исчисления резольвент 247- ложная в алгебраической системе103- - на наборе 40- находящаяся в нормальной форме305- общезначимая l 04- отмеченная 237- отрицательная 175- позитивно примитивная 314- положительная 172- получаемая заменой связаннойпеременной 125- пропозиционального исчислениярезольвент 245- специальная 23840,104- тождественно ложная 40- фильтрующаяся 110- - условно 110- элементарная 19Формулы 2t-эквивалентные-195конгруэнтные125относительноэлементарноделяющие класс в классеопре-333- - систему в системе 333- пропозиционально эквивалентные123- семантически эквивалентные 195- эквивалентные 30, 122- - в ипf 137- - относительно теории 161Функция 63- и-формульная 203- базисная 298- истинностная 40- полученная минимизацией 259,298- - примитивной рекурсией 259,298- - регулярной суперпозицией 297- рекурсивная 298- характеристическая 260- - частичная 260- частичная 252- - k-местная 253- - всюду определенная 253- - вычислимая по Тьюринrу 296- - не определенная на наборе 253- - нигде не определенная 253- частично рекурсивная 298Характеризация вполне упорядоченных множеств-7243семантическая 43дедуктивнаяЦепь-70отмеченная70Предметный указательЧ.
у. м.65Частный случай-правиласхемы2422Часть периодическая32260, 82Член дизъюнктивный 33- конъюнктивный 33- последовательности 15Число натуральное351Эквивалентность6213- класса 109- наибольший 65- наименьший 65- последовательности 15- принадлежащий классу 109Эрбранова форма 243ЭлементЯзык исчисления18Указатель обозначенийDegx t 304(ВС) 62(BCD) 62( Ф)х1, ... ,Хn 114~····,tn21(Ф)х( Ф)Ро,---,Рns(Po), ... ,s(Pn)(ФА \JI) 1929(ФV\Jl)19(Ф-->W)19(п, m)-изоморфизм146(р, п)-размерность базисная второгорода325первого рода- - -третьего рода(t):/:.::·:t:n+ 97119Ап61А1284х...
х An 61283, 284Aj 290В(х, у, z) 256В-С 62Aiв- 161В 111 [х, у, z] 256D(Ф)Fo 29Fx 306Fп(~)- 97021 66121 662 32821 32821 /D 328< 83A(I) 17A[k] 319А ~m В 282Ai325325D-prod 2(; 108D* (2t) 150D* (2t, Х) множестваE(I) 17ER 63ЕЕ 158Ех 63F 93F(~) 100FV(C) 118FV(Ф) 102, 191FV(t) 99р(-) 5233D('Y) 110D(2t) 150D(2t, Х) 150D-prod Xi 107FEn175277G 267G 1> Ф 136Go 54Н 1> Ф 47Hi +а 312/-prod Х; 107J-prod 2t; 1081;.
298Io < 11 50/1/D 328Гf:(io, ... ,in-1) 253К-система 185К(Ф) 33, 110К+ 185К+-система 185Ко ~RED К, 333Ks 294KE(Z) 153KE(i21) 154Коо 160, 183Коо-система 185L(I) 18L(I,) ~ L(I2) 18Х в 2(150Указатель обозначений[Ф1: Ф2, А]LG 54М(а)= {3 295мп(f)О(ао)Л Ф;[Ф:Ф]~п316[Ф]~12114Ю. Л. Ершов, Е. А. Палютин315Х19лг 24529869О(ао, 2() 69О[ао, 2t] 69О[ао] 69Р(В) 68Р(Х) 17P(2t, SВ) 145R 93R(I) 17R(Го; ...
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
