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

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

blank
blank
blank
Красота
blank
Гильберт Д., Аккерман В. — Основы теоретической логики
Гильберт Д., Аккерман В. — Основы теоретической логики



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



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


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

Авторы: Гильберт Д., Аккерман В.

Аннотация:

Теоретическая логика, называемая также математик ческой или символической логикой, есть применение формального метода математики к области логики. Она применяет к логике тот же язык формул, который уже издавна употребляется для выражения математических отношений. В настоящее оремя было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком...


Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Principia Mathematica      18 50 194 206
Аксиома выбора      167 198
Аксиома свертывания      199
Аксиомы исчисления высказываний      49 и д.
Аксиомы исчисления предикатов второй ступени      166—167
Аксиомы исчисления ступенчатого исчисления      195 и д.
Аксиомы исчисления узкого исчисления предикатов      96 и д.
Аксиомы объемности      198
Аристотелева логика      73 и д.
Ассоциативный закон конъюнкции и дизъюнкции      23
Верхняя граница, теорема о      203
Взаимнооднозначное соответствие      181
Вполне упорядоченное множество      182—183
Всегда истинные сложные высказывания      32 и д.
Всеобщие суждения      69 84—85
Вывод правил и следствий из данных аксиом в исчислении высказываний      44 и д.
Вывод правил и следствий из данных аксиом в исчислении предикатов      133 и д.
Вывод правил и формул в исчислении высказываний      53 и д.
Вывод правил и формул в исчислении предикатов      100 и д.
Выполнимая формула      146 166
Выполнимости проблема      41 147
Греческие буквы (их употребление)      133
Дедекиндово сечение      200 218 223
Действительные числа (обоснование)      200 218 223
Дизъюнкция      24
Дистрибутивный закон исчисления высказываний      23
Заключения схема      50 98
Замены правило      108
Знак существования      85 161
Иерархия типов      209
Излишек основных логических связей      27
Или—или      20
Импликация      24
Индивидуальные знаки      133
Индивидуальные переменные      83
Индивидуумы      83
Исчисление высказываний      19 и д.
Исчисление классов      68 и д.
Исчисление предикатов второй ступени      161 и д.
Исчисление предикатов второй ступени одноместное      68 154 169
Исчисление предикатов второй ступени расширенное      61 и д.
Исчисление предикатов второй ступени узкое      81 и д.
Кванторы      85
Количественное число, его логическое введение      174 и д.
Коммутативный закон исчисления высказываний      23
Конституенты      39
Конъюнкция      24
Латинские буквы (их употребление)      93 133
Логическая сумма      23
Многообразие сложных высказываний      37
Множество вполне упорядоченное      182—183
Множество всех частичных множеств      181—182
Множество упорядоченное      182
Натуральный ряд чисел, его свойства      88—89
Независимость аксиом исчисления высказываний      63
Независимость аксиом исчисления предикатов      118 и д.
Немецкие буквы (их употребление)      34 95—96
Непротиворечивости проблема      61 117 145 169
Нормальная форма в исчислении высказываний дизъюнктивная      35 и д.
Нормальная форма в исчислении высказываний конъюнктивная      29 и д. 36
Нормальная форма в исчислении высказываний предваренная      112
Нормальная форма в исчислении высказываний Сколема      114
Нормальная форма в исчислении высказываний совершенная      39 40
Область действия индивидуумов      96 134 137
Область действия квантора      95
Обоснование теории действительного числа      200 218 223
Образование противоположности в исчислении высказываний      34—35
Образование противоположности в исчислении предикатов      109
Общезначимая формула      96 146 166
Общности знак      85 161
Одноместное исчисление предикатов      68 154
Основные логические связи      19
Основные свойства ряда чисел      88—89
Парадоксы логические      183 и д. 209
Паскаля теорема      141 и д.
Переименование связанных переменных (правило)      99
Переменные для высказываний, индивидуумов, предикатов      93
Переменные для предикатов      93 193
Переменные связанные и свободные      85—86
Пересечение      71 181 182
Полная индукция      162
Полнота аксиом исчисления высказываний      66—67
Полнота исчисления предикатов      122 и д. 167
Порядок множества      182—183
Правила исключения исчисления высказываний      40 164
Правило перестановки кванторов      87 111—112
Предикат тождества      139 и д. 162—163
Предикаты от предикатов      172 и д.
Преобразование сложного высказывания      29 и д.
Принцип двойственности в исчислении высказываний      34—35
Принцип двойственности в исчислении предикатов      110 и д.
Приставка      113
Проблема всегда-истинности в исчислении высказываний      41 и д.
Проблема всегда-истинности в исчислении предикатов      116 и д. 166
Проблема исключения в исчислении предикатов      169 и д.
Произведение логическое      23
Равночисленность предикатов      175
Разрешимости проблема      146 и д. 169
Расширенное исчисление предикатов      161 и д.
Рефлексивность      173
Симметрия      173
Система аксиом первой и второй ступени      139 и д.
Соответствие взаимнооднозначное      181
Ступенчатое исчисление      192
Сумма логическая      23
Сумма множеств      71 181—132
Существования знак      85 161
Схема для «все» и «существует»      99
Схема заключения      50 99
Сходимость обычная и равномерная      92—93
Теорема Паскаля      141 и д.
Теоремы сводимости для проблемы разрешимости      152 и д.
Теория множеств      177 и д.
Теория типов простая и разветвленная      194
Тип переменного предиката      193 и д. 209
Тождественная формула      97 166
Традиционная логика      68 81
Транзитивность      173
Узкое исчисление предикатов      81 и д.
Упрощение сложных высказываний      40
Фигуры заключения      73 и д.
Формула, определение в исчислении предикатом      93 и д.
Функция истинности      21
Частное суждение      72 и д. 85
Часть множества      181—182
Число, его логическая трактовка      174 и д.
Шеффера знак      29 52
Эквивалентности исчисления высказываний      22 и д.
Эквивалентность, теоретико-множественная      181
Экономия скобок      24 95
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте