Новиков П.С. - Элементы математической логики :: Электронная библиотека попечительского совета мехмата МГУ

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

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

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

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

Новиков П.С. - Элементы математической логики

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

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

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

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

Название: Элементы математической логики

Автор: Новиков П.С.

Аннотация:

Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин 'истинная в данном исчислении формула', который в первом издании использовался как синоним термина 'выводимая в данном исчислении формула'. Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул

Язык:

Рубрика: Математика/

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

ed2k: ed2k stats

Издание: второе, исправленное

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

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

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

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

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

Аксиом система      139
Аксиом система для натурального ряда      150
Аксиом система интерпретируемая (содержательно непротиворечивая)      139
Аксиом система неинтерпретируемая (содержательно противоречивая)      139
Аксиом система непротиворечивая      140
Аксиома      10 72
Алгебра Буля      45
Алгебра высказываний      36
Арифметика ограниченная      298
Ассоциативность сложения      331
Бесконечность актуальная      15
Бесконечность потенциальная      19
Вывод формальный      27
Вынесение квантора всеобщности      343
Вынесение кванторасуществования      369
Высказывание переменное      67 126 184
Высказывание примитивно истинное      339
Высказывание примитивно ложное      339
Высказывание элементарное      127
Геделя теорема      264
Дедукции теорема      82 218 290
Дизъюнкция      67
Дополнение      133
Зависимость аксиомы от других аксиом системы      141
Заключения правило      73 77 193
Заключения правило сложное      79
Закон двойственности      48 237
Закон дистрибутивности умножения относительно сложения      333
Законы дистрибутивные алгебры высказываний      44
Замены свободной предметной переменной правило      198
Изоморфизм областей      145
Изоморфизм областей, сохраняющий предикаты      146
Импликация      38 67
Интерпретация      12
Интерпретация системы аксиом      139
Исключенного третьего закон      15
Исчисление      27
Исчисление высказываний      67
Исчисление предикатов расширенное      282
Квантор всеобщности      128 185
Квантор всеобщности ограниченный      163 313
Квантор существования      129 185
Квантор существования ограниченный      163 313
Кванторы внешние      342 369
Кванторы двойственные      129
Коллизия переменных      190
Коммутативность сложения      329
Константа предметная      280
Константа рекурсивная      298
Конъюнкция      67
Левенгейма теорема      172 179
Мальцева теорема      254
Металогика      28
Множества равномощные      172
Множество вполне упорядоченное      138
Множество несчетное      172
Множество счетное      172
Множество упорядоченное      138
Множители внешние      343 369
Множитель простой      337
Монотонность      87
Независимость аксиом      112 141
Независимость аксиом внутренняя      141
Непротиворечивость      18
Непротиворечивость внутренняя      140
Непротиворечивость исчисления высказываний      108
Непротиворечивость исчисления предикатов      209
Область      126 132
Область действия квантора      188
Область предметная      126
Операции двойственные      47
Операции дистрибутивные алгебры высказываний      44
Операция дистрибутивная в теории доказательств      344 370
Отделение от квантора всеобщности      369
Отделение от квантора существования      344
Отношение      125
Отношение порядка      138
Отрицание      38 67
Переименования связанных предметных переменных правило      198
Переменная предметная      126
Переменная свободная      129 184
Переменная связанная      129 184 185
Перестановки посылок правило      84
Подобие упорядоченных множеств      151
Подстановка в формулу      78
Подстановка в формулу сложная      78
Подстановка формулы в переменную      194 196 197
Подстановки операция      24 75
Подстановки правило      73 76 77 193 281
Полной индукции аксиома (принцип)      25 26 150 291
Полнота в узком смысле      111 209
Полнота в широком смысле      110 261
Полнота системы аксиом      148
Полнота системы аксиом для натурального ряда      153
Полнота системы аксиом содержательная (с точностью до изоморфизма)      149
Порядка аксиомы      291
Постоянная предметная      126
Посылка      38

Правило вывода      27 72
Предикат      125
Предикат индивидуальный сложный      310
Предикат переменный      184
Предикат рекурсивный      310
Предмет индивидуальный      126
Предмет переменный      183
Представление двухзначной функции посредством формулы алгебры высказываний      57
Преобразование двойственное      49
Произведение теоретико-множественное      132
Произведение элементарное      50
Противоречивость формализма (исчисления)      27 202
Противоречия закон      25
Равенства аксиомы      282
Равенство рекурсивное      297
Разложение на простые множители      338
Разрешения проблема      18 50 159
Разъединения посылок правило      86
Рассуждение металогическое      29
Рефлексивности свойство      287
Свойство      125
Связывания квантором правила      200
Связывания квантором производное правило      216
Силлогизма правило      84
Символ индивидуального (постоянного) предиката      139
Символ металогический      28
Символ переменного предиката      139
Симметрии свойство      287
Скобки      67
Сколема теорема      245
Слагаемое внешнее      343 369
Слагаемое простое      338
Следование      38 67
Следствие      38
Сложение логическое      67
Соединения посылок правило      111
Сумма теоретико-множественная      132
Сумма элементарная      50
Существование      16
Теорема формальная      27
Теория доказательства      335
Теория множеств      12
Терм      29 281
Терм рекурсивный      296
Тождественность      288
Транзитивности свойство      287
Умножение логическое      67
Уничтожение квантора      348
Финитизм Гильберта      26
Форма нормальная дизтьюнктивная      51
Форма нормальная дизтьюнктивная совершенная      60
Форма нормальная для формулы исчисления предикатов      243
Форма нормальная для формулы логики предикатов      159
Форма нормальная конъюнктивная      52
Форма нормальная конъюнктивная совершенная      62
Форма нормальная Сколема      253
Форма приведенная      131 234
Формализм      27
Формализм пустой      31
Формула      27 68 185
Формула выводимая      72
Формула выводимая из формул      80 81 217
Формула выполнимая      49 159
Формула невыполнимая      49 159
Формула нормальная      155 240
Формула нормальная Сколема      244
Формула приведенная      131 233
Формула примитивная      339
Формула примитивно истинная      340
Формула примитивно истинная в слабом смысле      340
Формула регулярная      338 345 378
Формула слабо регулярная      345
Формула тождественно истинная      49 159
Формула тождественно ложная      49 159
Формула указующая      78
Формула элементарная      68 127 184
Формула элементарно регулярная      345
Формула элементарно регулярная в слабом смысле      345
Формула, выполнимая на области      179
Формулы двойственные      47 235
Формулы равносильные      41 129
Формулы равносильные на области      129
Функции разрешающие (функции Сколема)      174
Функция логическая      125
Функция общерекурсивная      325
Функция предметная      280
Функция предметная элементариая      280
Функция примитивно рекурсивная      303 324
Функция эффективно вычислимая      323
Цепочка регулярности      347
Цермело теорема      138
Часть формулы      69 70 187
Черча тезис      327
Эквивалентности знак      90 221
Эквивалентности отношение      287
Эквивалентности теорема      92
Эквивалентность      39 90 221 230
Эквивалентность дедуктивная      243
Эквивалентность предикатов      310

О проекте