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

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

(Все)общности квантор (unwersal quantifier)      § 06
He противоречить классу пп-формул (be consistent with a class of wffs)      § 45 §
Абсолютизм (absolutism)      п. 535
Абсолютная непротиворечивость (absolute consistency)      § 17
Абсолютная полнота (absolute completeness)      § 18
Абстракция (abstraction)      § 03
Автонимия (autonymy)      § 08 п.
Аккерман      п. 28 п. п. п. § п. п. п. п. § п. п. п. п. п. п. п. п. п. п. п.
Аксиома (axiom)      § 07 п.
Аксиома (w) (axiom (w))      § 56
Аксиома бесконечности (axiom of infinity)      § 57 п. п.
Аксиома вполне-упорядочиваемости индивидов (axiom of well-ordering of the individual)      § 56
Аксиоматическая теория множеств (axiomatic set theory)      п. 75 п. конец
Аксиоматический метод (axiomatic method)      § 07 п. п.
Аксиомная схема (axiom schema)      § 27 §
Аксиомы выбора (axioms of choice)      § 56 п.
Аксиомы объемности (axioms of extensionality)      п. 590
Аксиомы сводимости (axioms of reducibility)      § 59
Алгебра логики (algebra of logic)      п. 125 §
Алгоритм (algorithm)      п. 118
Алфавитной замены связанной (индивидной) переменной правило (rule of alphabetic change of bound (individual) variable)      *350 *402 *502
Алфавитной замены связанных пропозициональных и функциональных переменных правило (rule of alphabetic change of bound propositional and functional variable)      *515
Алфавитный порядок (alphabetic order)      § 10 § §
Анализ (analysis)      п. 520
Антецедент (antecedent)      § 10 п. § §
Антидизъюнкция (non-disjunction)      § 05
Антиимпликация (non-implication)      § 05
Антиконъюнкция (non-conjunction)      § 05 п.
Антиэквивалентность (non-equivalence)      § 05
Аргумент (argument)      § 03
Аргументное место (argument place)      п. 578
Арифметика n-го порядка (nth-order arithmetic)      § 55
Арифметика Гильберта (Hilbert arithmetic)      п. 524
Арифметика первого порядка (first-order arithmetic)      § 55
Ассоциативности законы (associative laws)      см. «Полные законы ассоциативности»
Ассоциативности умножения закон (associative law of multiplication)      55.8
Бельтрами      п. 539
Бернайс      п. 28 п. п. п. § п. п. п. п. п. п. п. п. п. п. п. п. § 46.10 § п. п. п. п. § п. п. п. § п. п.
Бернулли Иоганн      § 03
Бернштейн      п. 119
Берри      п. 107 п.
Бескванторная (quantifier-free)      § 32
Бесконечности аксиома (axiom of infinity)      § 57 п. п.
Бесскобочная символика Лукасевича (parentheses-free notation of Lukasiewicz)      п. 91 12.2
Бет      п. 462
Бёнер      п. 188
Бинарная связка (binary connective)      §05
Бинарная форма (binary form)      § 02
Бинарная функция (binary function)      § 03
Бинарное отношение (binary relation)      п. 78
Бинарное функциональное исчисление первого порядка (binary functional calculus of first order)      § 30
Биусловный союз (biconditional)      § 05
Бойаи      п. 539
Больцано      п. 565
Большая посылка (major premiss)      § 10 п. §
Брауэр      § 26
Булев закон развертывания (Bool’s law of development)      28.1(5) 28.1(6) п.
Булева алгебра (Bool’s algebra)      15.8
Булево кольцо (Boolean ring)      15.6 п. 15.7
Буль      п. 125 п. § п.
Буркхард      п. 59
Бэман      п. 299 § п. § 48.14 § п. п. п. п. 52.11
В силу P (by P)      § 31 п. §
Вайлати      п. 550
Вайсберг      § 25 п. § п. п. п. п. § п. п. п. п. п. п. п. п. п.
Ван, Хао      п. 554
Вариант пп-формулы (variant of a wff)      § 13 §
Вариантное доказательство (variant proof)      § 13
Ватс      п. 68
Вебер      п. 569
Веблен      п. 126 п. п. § п. 55.23(1)
Вейль, Г.      п. 139 п. п. § п. п.
Венн      п. 125
Верник      п. 206
Вес функциональной переменной (weight of a functional variable)      46.11(2)
Вещь (thing)      п. 9 п.
Витгенштейн      § 29 п.
Влечет (implies)      п. 89
Внесения закон (law of importation)      15.0(4)
Внешнее (вхождение) относительно вхождения квантора (external (occurence) to an occurence of a quantifier)      § 39
Вопросительная логика (interrogative logic)      п. 63
Вполне-упорядочивание (well-ordering)      55.22
Вполне-упорядочивание индивидов, аксиома (well-ordering of the individuals, axiom of)      § 56
Вторичная интерпретация исчисления $F^{2p}_2$ (secondary interpretation of $F^{2p}_2$ )      § 54.
Вторично выполнима (secondary satisfiable)      § 54
Вторично общезначима (secondarily valid)      § 54
Второй типо-класс (second type-class)      п. 578
Вхождение в качестве P-составляющей (occurence as a P-constituent)      § 46
Вхождение в качестве истинностно-функциональной составляющей (occurence as a truth-functional constituent)      § 46
Вхождение квантора вырожденное (vacuous occurence of a quantifier)      § 39
Вхождение квантора начально расположенное (initially placed occurence of a quantifier)      § 39
Выбора аксиомы (axioms of choice)      § 56 п.
Выделенное истинностное значение (designated truth-value)      § 19
Вынесения закон (law of exportation)      15.0(3)
Выполнимость (satisfiability)      § 43 п. §
Выполнимость в некоторой области (satisfiability in a domain)      § 43 §
Выполнимость относительно системы областей (satisfiability with respect to a system of domains)      § 54
Выполнять (удовлетворять) пропозициональную форму (satisfy a positional form)      § 04
Выполняться (удовлетворяться) данным аргументом (hold for (be satisfied by) an argument)      § 04
Выполняться (удовлетворяться) некоторым значением переменной (be satisfied by a value of a variable)      § 04
Выражать (express)      § 01 п.
Вырожденное вхождение квантора (vacuous occurence of a quantifier)      §39
Высшая прототетика (higher protothetic)      п. 229
Ганкель      § 03 п.
Гейтинг      § 26 п. п. § п.
Генцен      § 26 п. § п. п. п. п. п. п. п. п. п.
Герц      п. 295
Гёдель      п. 145 п. 26.12 26.16 п. § п. п. 41.1 п. п. п. п. п. § п. п. п. п. § п.
Гётлинд      § 29 п.
Гильберт      п. 28 п. п. п. п. п. § § п. п. п. § п. п. п. п. п. п. § п. п. п. п. п. п. § п. п. п. п. 55.23(4) п. п. п. п.
Гипотетический силлогизм (hypothetical sillogism)      15.9
Главная интерпретация (principal interpretation)      § 07
Главный дуал (principal dual)      § 16 §
Главный знак импликации (principal implication sign)      § 10 § §
Гливенко, В.И.      п. 210 26.15 п. § п.
Гутберлет      п. 550
Двойного отрицания закон (law of double negation)      †104 п. †221
Двойного отрицания обратный закон (converse law of double negation)      п. 163 †222 26.13
Двойного отрицания полный закон (complete law of double negation)      п. 163 †154
Двойственность (дуальность) (duality)      § 16
де Морган      п. 125 п. § п. п.
де Моргана законы (laws of De Morgan)      15.8 п.
Дедекинд      п. 525 п. п. п. § п.
Действительная переменная (real variable)      п. 28
Дельбёф      п. 125
Денотат (denotation)      § 01
Денотатное значение (denotation value)      п. 27
Дескрипции (контекстуальное определение Рассела) (descriptions (Russell’s contextual definition))      п. 546
Дефинициально эквивалентный (definitially equivalent)      начало гл. III
Джилмэн      п. 550
Дизъюнктивная нормальная форма (disjunctive normal form)      п. 299
Дизъюнктивная общезначимость (disjunctive validity)      45.5
Дизъюнктивный силлогизм (disjunctive syllogism)      15.9 п. п. п.
Дизъюнкция (disjunction)      § 05 п.
Дилемма (dilemma)      15.9 п. п.
Динз      19.12
Дирихле      § 03 п.
Дистрибутивности закон (distributive laws)      см. «Полные законы дистрибутивности»
Доказательство (proof)      § 07 п. § п.
Доказательство из гипотез (proof from hypotheses)      § 13 § §
Доктринальная функция (doctrinal function)      п. 529 п.
Дребен      п. 442
Дуал (dual)      § 16 § 48.11 § п.
Дуал метатеоремы (dual of a metatheorem)      п. 354
Дуал теоремной схемы (dual of a theorem schema)      § 37
Дуальности принцип (principle of duality)      *161 *372 48.11 55.0
Дьюи      п. 541
Дюрр      п. 239
Если . . ., то . . . (if ..., then ...)      п. 89
Жегалкин, И.И.      п. 185 п. п.

Заключение (conclusion)      § 07 п.
Заключительная скобка (final bracket)      § 14
Закон ассоциативности умножения (associative law of multiplication)      55.8
Закон внесения (law of importation)      15.0 (4)
Закон вынесения (law of exportation)      15.0(3)
Закон двойного отрицания (law of double negation)      †104 п. †221
Закон исключенного третьего (law of excluded middle)      15.0 (10)
Закон коммутативности (материальной) эквивалентности (commutative law of (material) equivalence)      †155
Закон коммутативности равенства (commutative law of equality)      § 48 †521
Закон коммутативности умножения (commutative law of multiplication)      55.9
Закон коммутации (law of commutation)      12.7
Закон композиции (law of composition)      15.0(5)
Закон консеквента (law of affirmation of the consequent)      †102 †202
Закон контрапозиции (law of contraposition)      15.0 (6) †223 26.13
Закон косвенного доказательства (law of indirect proof)      26.11
Закон отрицания антецедента (law of denial of the antecedent)      †123 †220 §
Закон Пирса (Pierce’s law)      12.6 п.
Закон приведения к абсурду (law of reductio ad absurdum)      § 26 26.13
Закон противоречия (law of contradiction)      15.0(9) 26.13
Закон развертывания (law of development)      28.1 (5) 28.1
Закон рефлексивности (материальной) импликации (reflexive law of (material) implication)      †120 †211
Закон рефлексивности равенства (reflexive law of equality)      § 48 †520
Закон самодистрибутивности (материальной) импликации (self-distributive law of (material) implication)      †103 п. †203
Закон транзитивности (материальной) импликации (transitive law of (material) implication)      12.4 †141
Закон транзитивности (материальной) эквивалентности (transitive law of (material) equivalence)      †157
Закон транзитивности равенства (transitive law of equality)      § 48 †522
Закон тройного отрицания (law of triple negation)      26.13
Закон утверждения (law of assertion)      12.7
Законы де Моргана (laws of De Morgan)      15.8 п.
Законы идемпотентности (idempotent laws)      п. 186
Законы коммутативности (commutative laws)      см. «Коммутативность» и «Полные законы коммутативности»
Законы поглощения (laws of absorption)      15.8
Законы тавтологии (laws of tautology)      п. 186
Замкнутая пп-формула (closed wff)      § 50
Замыкание (closure)      § 43 §
Замыкание (все)общности (universal closure)      § 43 § §
Замыкание существования (existential closure)      § 43 §
Значение в синтаксическом смысле (value in the syntactical sense)      п. 143 §
Значение для (модели) (value for (a model))      § 55
Значение для пустого класса переменных (value for a null class of variables)      § 10 п.
Значение константы (value of a constant)      § 10 п.
Значение переменной (value of a variable)      § 02 §
Значение пп-формулы (value of a wff)      § 15 § §
Значение пп-формулы исчисления (value of a wff of )      § 15
Значение пп-формулы исчисления (value of a wff of )      § 23
Значение формы (value of a form)      § 02 п.
Значение функции (value of a function)      § 03
Идемпотентности законы (idempotent laws)      п. 186
Идентичность (тождественность) (identity)      см. «Равенство»
Изоморфный (isomorphic)      § 55
Имеет место между (hold between)      § 04
Иметь в виду (упоминать) слово (mention of a word)      § 08
Императивная логика (imperative logic)      п. 63
Импликативная нормальная форма (implicative normal form)      15.4
Импликативное пропозициональное исчисление (implicative propositional calculus)      § 26
Импликация (implication)      § 05
ИМЯ (NAME)      § 01 п. п.
Индивидная константа (individual constant)      § 30
Индивидная переменная (individual variable)      § 30
Индивиды (individuals)      § 30 п.
Интенциональная пропозициональная переменная (intentional propositional variable)      § 04
Интерпретация (логистической системы) (interpretation (of a logistic system))      §07 п.
Интерпретация (математической теории) (interpretation (of a mathematical theory))      п. 536
Интерпретация исчисления $F^{2p}_2$ (interpretation of $F^{2p}_2$ )      § 54
Интуиционизм (intuitionism)      см. «Математический интуиционизм»
Интуиционистское пропозициональное исчисление (intuitionistic propositional calculus)      § 26
Интуиционистское функциональное исчисление первого порядка (intuitionistic functional calculus of first order)      38.6
Иогансон      § 26 п. 210 п.
Исключенного третьего закон (law of excluded middle)      15.0 (10)
Исключенного третьего слабый закон (weak law of excluded middle)      26.13
Испанский, Петр      п. 68
Использование P (use P)      § 31 п.
Истина (в смысле Тарского) (truth (in Tarski’s sense))      § 09 п. п. п. п.
Истина (т. е. истинностное значение истина) (truth (i. e. the truth-value truth))      § 04
Истинное предложение (true sentence)      § 04 § п. 43.2 п.
Истинное суждение (true proposition)      § 04
Истинностная таблица (truth-table)      § 15 §
Истинностная функция (truthfunction)      § 05 п.
Истинностно функциональный биусловный союз (truth-functional biconditional)      § 05
Истинностно функциональный условный союз (truth-functional conditional)      § 05
Истинностно-функциональная переменная (truth-functional variable)      § 28
Истинностно-функциональная составляющая (truth-functional constituent)      § 46
Истинностное значение (truth-value)      § 04 §
Истинный для (некоторой системы значений свободных переменных) (true for (a system of values of the free variables))      § 04
Исходная константа (primitive constant)      п. 117 §
Исходное семантическое правило (primitive semantical rule)      п. 168
Исходное собственное имя (primitive proper name)      § 01
Исходные символы (primitive symbols)      § 07
Исходный базис (primitive basis)      § 07 п.
Ительсон      п. 125
Итон      п. 70
Йоргенсен      п. 239
Кавайе      п. 563
Кавычки (quotation marks)      § 08 п.
Кальмар      § 29 п. п. п. п. п. п. п. п. п. п. § п. п.
Кантор      п. 541 п. п. п.
Карнап      п. 5 п. п. п. п. п. п. п. § п. п. п. 19.10 п. п. п. § п. п. п.
Карри      п. 100
Кастильон      п. 125 п.
Категорическая система постулатов (categorical system of postulates)      § 55
Категорический силлогизм (categorical syllogism)      46.22 п.
Категорическое суждение (categorical proposition)      46.22
Квантификация (quantification)      § 06 §
Квантор (quantifier)      п. 64 § §
Квантор (все)общности (universal quantifier)      § 06
Квантор существования (existential quantifier)      § 06
Кейнз      п. 26
Кейсер      п. 529 п.
Кемени      § 18 п.
Класс (class)      § 04
Класс сведения (reduction class)      § 47
Клейн      п. 539
Клеро      § 03
Клини      п. 119 п. п. п. п. п. п.
Коксетер      55.23(3)
Колмогоров, А.Н.      § 26 п. п. 26.20 п.
Комбинаторная логика (combinatory logic)      п. 100
Коммутативности (материальной) эквивалентности закон (commutative law of (material) equivalence)      †155
Коммутативности равенства закон (commutative law of equality)      § 48 †521
Коммутативности умножения закон (commutative law of multiplication)      55.9
Коммутации закон (law of commutation)      12.7
Композиции закон (law of composition)      15.0(5)
Конверсия (converse)      § 10 §
Конверсия функции (converse of a function)      § 03
Конверсная область (converse domain)      п. 517
Конверсные функции      § 03
Консеквент (consequent)      § 10 п. § §
Константа (constant)      п. 6 § п. п. п. § § п. §
Константная функция (constant function)      § 03
Контекстуальное определение (contextual definition)      § 55 п.
Контрапозиции закон (law of contraposition)      15.0(6) †223 26.13
Контрапозиции обратный закон (converse law of contraposition)      †204
Концепт (concept)      § 01 п. п.
Концепт класса (class concept)      п. 17 §
Концепт отношения (relation concept)      § 04
Концепт функции (function concept)      § 03
Конъюнктивная нормальная форма (conjunctive normal form)      п. 299
Конъюнкция (conjunction)      § 05 п. п.
Косвенного доказательства закон (law of indirect proof)      26.11
Косвенное употребление имени (oblique use of a name)      § 01
Куайн      п. 20 п. п. п. § п. § п. п. § п. § п. п. п. § п. п. п. п.
Куратовский      5.23(8) 55.23(9)
Кутюра      п. 125 п. § п.
Кюршак      п. 569
Лаланд      п. 125
Ламберт      п. 239
Лангер      п. 26 п.
Леви      п. 112
Лейбниц      § 03 п. п. п.
Лексикографический порядок (lexicographic order)      § 44 п.

1 2 3

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте