Чёрч А. — Введение в математическую логику (том 1) :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Чёрч А. — Введение в математическую логику (том 1)

Чёрч А. — Введение в математическую логику (том 1)

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

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

Название: Введение в математическую логику (том 1)

Автор: Чёрч А.

Аннотация:

Эта монография принадлежит перу одного из самых известных современных специалистов в области математической логики. Она задумана автором в качестве учебника для студентов, а также в известной мере в качестве справочника. Предполагая у читателя только общую математическую культуру, книга с первых же страниц вводит его в глубокую проблематику, связанную с основными понятиями математической логики. Изложенный в ней материал представляет ценность для всякого математика, в том числе и для специалиста по математической логике. В качестве справочника ею могут пользоваться также и нематематики. Содержащееся в этом томе Введение (стр. 15-63) по существу представляет собой самостоятельное литературное произведение, которое с интересом и пользой может читаться самыми широкими кругами научных работников, интересующихся вопросами математической логики.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Пропозициональное исчисление (propositional calculus)      начало гл. 1 §
Пропозициональное исчисление с кванторами (propositional calculus with quantifiers)      п. 229
Простое исчисление равенства (simple calculus of equality)      § 48
Простое прикладное функциональное исчисление первого порядка (simple applied functional calculus of first order)      § 30
Простое прикладное функциональное исчисление первого порядка с равенством (simple applied functional calculus of first order with equality)      § 48
Простое функциональное исчисление второго порядка (simple functional calculus of second order)      начало гл. V §
Простой оператор (simple operator)      § 06
Простой порядок (simple order)      55.22
Противоречивый класс пп-формул (inconsistent class of wffs)      § 45 §
Противоречие (contradiction)      § 15 §23
Противоречить классу пп-формул (be inconsistent with a class of wffs)      § 45 §
Противоречия закон (law of contradiction)      15.0 (9) 26.13
Прототетика (protothetic)      § 28
Процедура разрешения (decision procedure)      § 15
Процедура разрешения с помощью истинностных таблиц (truth-table decision procedure)      § 15 §
Прямое употребление имени (ordinary use of a name)      § 01
Пуанкаре      § 58 п. п.
Пустая формула (null formula)      § 10
Пустой класс (empty class)      § 04 п.
Пфпи      § 32
Пфрпи      § 53
Равенство (equality)      п. 43 § § .п.
Равенство по определению (equality by definition)      п. 168
Равномерная непрерывность (uniform continuity)      п. 102
Равнообъемные свойства (properties which coincide in extension)      § 04
Равносильность константе (concurrency to a constant)      § 02
Равносильные константы (concurrent constants)      § 02
Равносильные формы (concurrent forms)      § 02
Развертывания закон (law of development)      28.1 (5) 28.1
Разветвленная арифметика второго порядка (ramified second-order arithmetic)      § 58
Разветвленная арифметика второго порядка уровня $\omega$ (remified second- order arithmetic of level $\omega$ )      § 58
Разветвленное функциональное исчисление второго порядка уровня $\omega$ (remified functional calculus of second order and level $\omega$ )      § 58
Разветвленные функциональные исчисления второго порядка (ramified functional calculi of second order)      § 58
Разделительная дизъюнкция (exclusive disjunction)      § 05
Разрешающая процедура (decision procedure)      § 15
Рамсей      § 49 п. п.
Расёва      25.5 § п.
Раскрытие пп-формулы относительно отрицания (expansion of a wwf with respect to negation)      § 23
Рассел      п. 5 п. п. п. п. п. п. п. § п. п. п. п. п. п. § п. п. п. § п. п. п. п. § п. п. п. п. п. п. п. § п. п. п. п. п. п. п. § п. п.
Расширенное пропозициональное исчисление (extended propositional calculus)      § 28
Результант (пп-формулы из ) (resultant (of a wff of ))      52.6
Рекурсивные равенства (recursion equations)      п. 526
Рефлексивность      см. «Законы рефлексивности»
Решение проблемы разрешения в частном случае (solution of the decision problem in a special case)      п. 421
Решер      19.12
Ригер      п. 212
Риман      п. 41 § п.
Россер      п. 100 §29 п.
Роуз, А.      п. 280
Роуз, Г.Ф.      п. 217
Самодуальность (self-duality)      § 16 §37
Сведение проблемы разрешения (reduction of the decision problem)      § 47
Сведение проблемы разрешения для выполнимости (reduction of the decision problem for satisfiability)      § 47
Сведение проблемы разрешения для общезначимости (reduction of the decision problem for validity)      §47
Свободная переменная (free variable)      § 02 п. п. п. § §
Свободное вхождение переменной (free occurence of a variable)      § 06 п. § 38.6
Сводимости аксиомы (axioms of reducibility)      § 59
Свойство (property)      § 04
Связанная переменная (bound variable)      п. 28 п. п. п. § п. § §
Связанное вхождение переменной (bound occurence of a variable)      § 06 п. § 38.6
Связанные строки (related rows)      п. 439
Связки (connectives)      п. 64 §05 п.
Секвенции (Sequenzen (нем.))      § 29 п. 39.11
Семантика (semantics)      § 09 п.
Семантическая проблема разрешения (semantical decision problem)      § 15 §
Семантическая теорема (semantical theorem)      § 09
Семантические правила (semantical rules)      §07 п.
Сентенциональная связка (sentence connective)      § 05
Сервантес      п. 192
Силлогизм (syllogism)      15.9 п. п. п. 46.22 п.
Символ (proper symbol)      § 05 п. §
Символическая логика (symbolic logic)      §07 п.
Симметричная бинарная форма (symmetric binary form)      § 03 п.
Симметричная функция (symmetric function)      § 03
Сингулярная присоединенная формула пропозиционального исчисления (singulary associated formula of the propositional calculus)      п. 318
Сингулярная связка (singulary connective)      § 05
Сингулярная форма (singulary form)      § 02
Сингулярная функция (singulary function)      §03
Сингулярно-сингулярный оператор (singulary-singulary operator)      § 06
Сингулярное функциональное исчисление первого порядка (singulary functional calculus of first order)      §30
Сингулярный функциональный оператор абстракции (singulary functional abstraction operator)      § 06
Синкатегорематический (syncategorematic)      § 05
Синонимы (synonymous)      § 01
Синтаксис (syntax)      § 08
Синтаксическая константа (syntactical constant)      § 08 п.
Синтаксическая переменная (syntactical variable)      § 08
Синтаксическая теорема (syntactical theorem)      § 08
Скобки (brackets)      § 05 § п.
Скобки (parentheses)      § 05 п. п.
Сколем      п. 430 п. п. п. 46.13 п. п. § п. п. п. п. п. п.
Слабее чем (weaker than)      § 57
Слабый закон исключенного третьего (weak law of excluded middle)      26.13
Следствие (consequence)      § 55
Слупецкий      § 29 п.
Смысл (sense)      § 01 п. п.
Смысл предложения (sense of a sentence)      § 04
Смысловое значение (sense value)      п. 27
Собирательное имя (collective name)      п. 6
Собоцинский      п. 238 § п.
Собственное имя (personal name, proper name)      § 01 п. п. п.
Собственный подкласс (proper subclass)      п. 564
Совершенная дизъюнктивная нормальная форма (full disjunctive normal form)      24.9 п. § п. 39.3
Совершенная конъюнктивная нормальная форма (full conjunctive normal form)      § 29 п. 39.8
Совершенное число (perfect number)      п. 317
Совместимость (compatibility)      п. 2
Совместимость с классом пп-формул (consistency with a class of wffs)      § 45 §
Совместно (одновременно) выполнимый в области (simultaneously satisfiable in a domain)      § 45 §
Совместно (одновременно) выполнимый класс пп-формул (simultaneously satisfiable (class of wffs))      § 45 п. §
Совместно (одновременно) выполнимый относительно системы областей (simultaneously satisfiable with respect to a system of domains)      § 54
Совпадающие по смыслу (senseconcurrent)      § 30
Совпадете по объему (coincide in extension)      § 04
Содержание (matter)      § 00 §
Содержание (собственных имен) (meaning)      п. 20
Содержательность (meaningfulness)      п. 120
Специализированная система исходных связок (specialized system of primitive connectives)      24.7
Специальный принцип дуальности для (материальных) импликаций (special principle of duality for (material) implications)      *164 *373
Специальный принцип дуальности для (материальных) эквивалентностей (special principle of duality for (material) equivalences)      *165 *374
Стандартная предваренная нормальная форма (the prenex normal form)      § 39
Стоун      п. 185 п. п.
Строчная пара (row-pair)      п. 440
Суждение (proposition)      § 04 п. п.
Существования предположение (existential import)      п. 441
Сфпи      п. 318

Схема доказательства (schema of proof)      § 33
Схема определения (definition schema)      § 11
Тавтологии законы (laws of tautology)      п. 186
Тавтологичность (tautologous)      46.6(1)
Тавтология (tautology)      § 15 § §
Тарский      п. 87 п. п. п. § п. п. п. п. п. § п. п. п. п. п. § п. п. п. п. п. п. п. п. п. п. п.
Теорема (theorem)      § 07 §
Теорема Гёделя о полноте (Goedel’s completeness theorem)      § 44 **440
Теорема дедукции (deduction theorem)      *130 п. § п. *360 *516
Теорема Лёвенгейма (Loewenheim’s theorem)      **451
Теорема Сколема — Лёвенгейма (Skolem — Loewenheim’s theorem)      **455
Теорема Хенкина о полноте (Henkins completeness theorem)      § 54 **546
Теоремная схема (theorem schema)      § 33
Теоретический синтаксис (theoretical syntax)      §08
Терм (term)      39.10
Термин (term)      п. 4
Тернарная форма (ternary form)      § 02
Тернарное отношение (ternary relation)      п. 78
Тип (type)      п. 578
Типо-класс (type-class)      п. 578
Типов теория (theory of types)      п. 87 п.
Типовая неопределенность (typical ambiguity)      п. 149 п.
Тождественность (identity)      см. «Равенство»
Томэ      п. 139
Трахтенброт, Б.А.      п. 450 § п. п.
Тройного отрицания закон (law of triple negation)      26.13
Тьюринг      п. 119
Тюркетт      § 29
Уайт      п. 20
Уайтхэд      п. 5 п. § п. п. § п. п. п. § п. п. п. § п. п. п. п. п. §
Удовлетворять (выполнять) (пропозициональную форму) (satisfy (a propositional form))      § 04
Удовлетворяться (выполняться) (данным аргументом) (hold for (an argument))      § 04
Удовлетворяться (выполняться) (некоторым значением переменной) (be satisfied by (a value of a variable))      § 04
Унарная (unary)      п. 29
Универсальный класс (universal class)      § 04
Упоминать (иметь в виду) слово (mention of a word)      § 08
Упорядоченная пара (ordered pair)      п. 88
Употребление слова (в отличие от его упоминания) (use of a word (distinguished from mention))      § 08
Уровень (level)      п. 578
Условная дизъюнкция (conditioned disjunction)      § 24
Условный союз (conditional)      § 05
Утверждать предложение (assert a sentence)      § 04 п.
Утверждать пропозициональную форму (assert a propositional form)      § 06 п. п.
Утверждать суждение (assert a proposition)      § 04 п.
Утверждения закон (law of assertion)      12.7
Утверждения знак (assertion sign)      п. 65
Утверждения знак консеквента закон (law of affirmation of the consequent)      †02 †202
Уэйтли      п. 68
Фейс      п. 100
Фиктивная переменная (apparent variable)      п.28 п.
Фило      п. 188
Фитч      п. 107 п.
Форма (form)      § 00 § п. § п. п. п.
Формализованный язык (formalized language)      §00
Формальная импликация (formal implication)      § 06 п. п.
Формальная логика (formal logic)      § 00
Формальная эквивалентность (formal equivalence)      § 06 п. п.
Формальный аксиоматический метод (formal axiomatic method)      § 07
Формула (formula)      § 07
Формулировки пропозиционального исчисления (formulations of the propositional calculus)      начало гл. I §25
Фреге      § 01 п. п. п. п. п. п. п. п. § п. п. п. § § п. п. п. п. п. п. п. § п. п. п. § § п. п.
Френкель      п. 535 п.
Фреше      п. 553
Функциональная абстракция (functional abstraction)      § 03
Функциональная переменная (functional variable)      § 30
Функциональная — константа (functional constant)      § 05 §
Функциональное исчисление второго порядка (functional calculus of second order)      начало гл. V
Функциональное исчисление первого порядка (functional calculus of first order)      начало гл. III
Функциональное исчисление первого порядка с равенством (functional calculus of first order with equality)      § 48
Функция (function)      п. 26 § п.
Функция в объемном (экстенциональном) смысле (function in extension)      § 03
Функция двух аргументов (function of two arguments)      §03
Функция двух переменных (function of two variables)      п. 42
Функция от (function of)      § 03
Функция, отображающая... в... (function from... to...)      § 03
Фурье      п. 59
Хан      п. 589
Хантингтон      § 29 п. § п. 55.23(6)
Характеристическая система истинностных таблиц (characteristic system of truth-tables)      п. 217
Характеристическая функция (characteristic function)      43.2
Хаусдорф      п. 549
Хвистек      п. 588 п. п.
Хемпел      п. 2
Хенкин      п. 288 § § п. п. п. п. п.
Цермело      § 04 п. п. §
Частичный порядок (partial order)      55.22
Частный закон приведения к абсурду (special law of reductio ad absurdum)      §26
Частный случай (теоремной схемы) (instance (of a theorem schema))      § 33
Четность (вхождения элементарной части) (parity (of an occurrence of an elementary part))      п. 508
Чёрч      п. 19 п. п. п. п. п. 19.12 п. п. п. п. п. 55.23(7) п.
Чистое предикативное функциональное исчисление второго порядка (pure predicative functional calculus of second order)      § 58
Чистое разветвленное функциональное исчисление второго порядка уровняю (pure ramified functional .calculus of second order and level со)      § 58
Чистое функциональное исчисление второго порядка (pure functional calculus of second order)      § 50
Чистое функциональное исчисление первого порядка (pure functional calculus of first order)      § 30
Чистое функциональное исчисление первого порядка с равенством (pure functional calculus of first order with equality)      § 48
Шейнфинкель      п. 100 п. § 46.10 § п. § п.
Шеффер      п. 207 §
Шмидт      п. 554
Шольц      п. 26 п. § п. § п.
Шредер      п. 77 п. п. § § п.
Шрётер      п. 177 § п.
Штамм      п. 207
Штеккель      п. 570
Штрих Шеффера (Sheffer’s stroke)      § 05 п.
Шураньи      п. 446 п. п. п.
Шютте      п. 409 п. п. § п. п. 46.23 п. 46.24 § п. § п. п. п. п.
Эвклид      48.0
Эйлер      § 03 п. п. п.
Эквивалентность (equivalence)      § 05 п.
Эквивалентность логистических систем (equivalence of logistic systems)      § 23 п.
Элементарная арифметика (elementary arithmetic)      § 55 п.
Элементарная теория чисел (elementary number theory)      § 55 п. п.
Элементарная часть (elementary part)      § 30 38.13 § п. §
Элементарный синтаксис (elementary syntax)      §08
Элементы класса (members of a class)      § 04
Элементы области определения класса (rangemembers of a class)      § 04
Элиминирования проблема (elimination problem)      52.6
Эрбран      п. 186 п. § п. п. п.
Эффективность (effectiveness)      § 07 п. § п. п.
Юнг      п. 126 п. п. 55.23(1)
Язык (language)      § 07 п. п.
Язык-объект (object language)      § 07
Яськовский      п. 177 п. § п. 29.4

1 2 3

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте