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

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

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



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



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


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

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

Аннотация:

Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики. Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел приложение в вопросах конструкций вычислительных машин и автоматических устройств. Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул. Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам: С. К. Клини, Введение в метаматематику, ИЛ, 1957. А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965. А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954. Э. Мендельсон, Введение в математическую логику, «Наука», 1971.


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Аксиом система      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
Соединения посылок правило      86
Сумма теоретико множественная      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
Формула выполнимая на области      179
Формула невыполнимая      49 159
Формула нормальная      155 240
Формула нормальная Сколема      244
Формула приведенная      131 233
Формула примитивная      339
Формула примитивно истинная      340
Формула примитивно истинная в слабом смысле      340
Формула регулярная      338 345 378
Формула слабо регулярная      345
Формула тождественно истинная      49 159
Формула тождественно ложная      49 159
Формула указующая      78
Формула элементарная      68 127 184
Формула элементарно регурярная      343
Формула элементарно регурярная в слабом смысле      345
Формулы двойственные      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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте