Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Линдон Р. — Заметки по логике Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Заметки по логике Автор: Линдон Р. Язык: Рубрика: Математика/Алгебра/Математическая логика/ Серия: Современная математика. Популярная серия Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1968 Количество страниц: 127 Добавлена в каталог: 14.05.2005 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель Абелева группа      62 Адекватность      80 81 84 91 96 Аксиома      14 55 65 66—72 91 Аксиоматизируемость      55—57 64 Алгебра      23 Алгебра абстрактная      23 Алгебра булева      45—47 Алгебра высказываний (algebra of propositions)      36 39 45 46 Алгебра истинностных значений (algebra of truth values)      37 Алгебра Линденбаума      39 48 Алгебра множеств      46 Алгебра подмножеств      46 48 Алгебра подобная      23 Алгебра полиадическая      48 Алгебра свободная      20 23 24 29 48 Алгебра термов      23 29 Алгебра формул      25 36 37 39 Алгебра цилиндрическая      48 Алгорифм      61 101 117 Арифметика      54 55 63 116 117 Ассоциативный закон      18 Атом      48 Атомарная формула      24 35 Базис алгебры      20 23 24 45 Булева алгебра      45—47 Бун      63 Вершина      98 Вещественно-замкнутое поле      62 Внутренность множества      52 Возможность (possibility)      51 Воот      89 90 Вхождение (occurrence)      25—26 Выбора аксиома      75 90 Вывод (derivation)      65 67 92 Вывод естественный (natural inference)      90—108 Выводимость синтаксическая (syntactical implication)      8 11 Выражение (expression)      17—18 Выразимость (expressibility)      113—115 Высказывание (proposition)      39 Высказываний алгебра (algebra of propositions)      39 Вычислительная машина      101 Гейтинг      52 Генкин      64 Генцен      64 90 102—105 107 Гёделев номер      111—122 Гёдель      16 54 55 64 80 109 111 116 121 Гильберт      16 110 Гомоморфизм      19 23 45 46 Гомоморфизм, теорема о гомоморфизме      108 Грамматика      17—21 Группа абелева      62 Группа конечная      82 Двузначная логика (two-valued logics)      49 Дедуктивная непротиворечивость (deductive consistency)      66 71 74—80 Действительные числа      62 90 Дерево      98 Диагональное рассуждение      109—111 113 115 116 Дизъюнктивная приведенная (reduced disjunctive form)      42 44 Дизъюнктивная совершенная (complete disjunctive form)      43 44 47 49 61 Дизъюнктивная форма (disjunctive form)      39—44 61 106 Дизъюнкция (disjunction)      20 40 41 Доказательство (proof)      55 66 92 Дополнение      29 Евклидова геометрия      63 Единственности разложения свойство      19 20 Естественный вывод (natural inference)      90—108 Зависимость      30 Заключение (conclusion)      65 Замкнутое множество      81 Изоморфизм      46 48 88 89 113 Импликация (implication)      51 Импликация материальная (material implication)      51 Импликация строгая (strict implication)      51 Индукции аксиома      87 Интерполяционная теорема      106 Интерпретация      12 13 26—31 33 35 73 83 88 Интерпретация собственная (proper interpretation)      83—85 Интуиционизм      51 52 Интуиционистская логика      51 52 Исключение кванторов (elimination of guantifiers)      57 61 62 Исключенного третьего закон      52 ИСТИНА (TRUE)      20 27 Истинностное значение (truth value)      27 37 Истинность (truth)      113 116 Истинность собственная      83 Каноническое отображение      38 Кантор      90 109 Категоричность      88—90 Квантор      20 62 118—119 Квантор общности      20 Квантор ограниченный (bound quantifier)      118 119 Квантор существования      20 Класс эквивалентности, порожденный элементом      37 Классическая логика      49 53 Коммутативная полугруппа      19 Компактность      80 81 83 Комплексные числа      63 Конгруэнция      38 Конечного пересечения свойство      81 Конструктивный      51 52 Конъюнкция (conjunction)      39 Крипке      51 Крэйг      69 105—108 Лемма Цорна      75 76 Лёвенгейм      85—88 Лжеца парадокс      110 111 115 116 119 Линденбаума алгебра      39 48 Линдон      106 Логика предикатов      54 64 83 118—120 Логика предикатов с равенством      83 Ложь (falce)      20 27 Лоренцен      17 Льюис      51 Лэнгфорд      57 Максимальный элемент      75 76 Материальная импликация      51 Машина вычислительная      101 Метаматематика      16 Метатеория      14—17 Метаязык      14 15 Минимальный элемент      48 Многозначная логика (manyvalued logic)      50 Многочлен      40 Множество      16 81 Множество замкнутое      81 Множество открытое      52 Множество пустое      29 Множество, алгебра множеств      46 Множество, внутренность множества      52 Множество, теория множеств      87 88 109 Модальная логика      51 Модель      33 74 79 88—90 Модель собственная      84—86 Мощность      88 89 90 109 Натуральное число      63 87 Недоказуемость      116—122 Необходимость      51 Неполнота      116 Непротиворечивость (consistency)      16 56 57 74—80 84 88 116 120—122 Непротиворечивость дедуктивная      66 71 74—80 Непротиворечивость собственная      83—85 Неразрешимость (indecidabllity)      63 116—117 Новиков, П.С.      63 Область      23 27 Обобщения правило      65—71 Общезначимость (validity)      33 35 36 52 99—102 116—118 Объединение      29 Ограниченный квантор      118 119 Омега-непротиворечивость (-consistency)      120 121 Операция      23 49 50 Определенная формула (definite formula)      117 118 Открытое множество      52 Отношение      16 Отрицание (negation)      20 Парадокс      109—111 Парадокс Кантора      109 Парадокс лжеца      110 111 115 116 119 Парадокс Рассела      110 Парадокс семантический      110 Пеано      87 Переменная      20—22 26 31 Переменная, свободное вхождение (free occurence)      26 Переменная, связанное вхождение (bound occurrence)      26 Пересечение      29 38 Плотный линейный порядок      57—61 90 Подобные алгебры      23 Подстановка (substitution)      30—32 Полиадическая алгебра      48 Полнота (completeness)      56 57 Полнота функциональная      49 50 Полугруппа      18—20 Полугруппа коммутативная      19 Полугруппа с единицей      19 Полугруппа с единицей, проблема тождества для полугрупп      63 Порядок плотный линейный      57 60 61 Пост      63 Посылка (premise)      65 Правило вывода (rule of lnference)      55 65 92 95 Правило обобщения (rule of generalisation)      65 71 Правильная интерпретация      83 Предваренная формула (prenех formula)      102 103 107 Предложение (sentence)      25 35 Предметная теория (object theory)      14 15 Предметный язык (object language)      14 15 Представление      40 Проблема тождества      63 Пропозициональная логика (sentential logic)      34 35 49 50 51 54 Пропозициональный язык (sentential language)      34—36 Простая формула      97 Равенства теория      60—62 Разбиение      37 38 Разнообразности отношение (kernel)      37 38 Разрешимость      36 54—63 116—117 Разрешимость, разрешающий алгоритм (метод, процедура) (decision procedure)      36 57—63 90 101 Ранг      20 Расёва      64 Рассел      64 110 Рекурсивное определение      115 Рефлексивность      37 62 Робинсон      83 90 Роджерс      57 Россер      121 Самоотносимость (self-reference)      110 111 Свободная алгебра      20 23 24 29 45 Свободное вхождение переменной      26 Связанное вхождение переменной      26 Связка (connective)      20 50 Секвенция (sequent)      91—108 Секвенция простая      97 Семантическая непротиворечивость      33 Семантическая эквивалентность      33 Семантический парадокс      110 Семантическое следование      8 11 33—35 53 Семантическое следствие      90 Сикорский      64 Символ      18 35 Символ отношения      20 35 113 Симметричность      37 62 Синтаксическая выводимость (syntactical implication)      8 11 Сколем      85—88 Следование семантическое      8 11 33—35 53 Совместимость (consistency)      65 Стандартная модель      113 Стоун      48 Строгая импликация (strict implication)      51 Структура      12 13 27 29 30 33 35 Схема аксиом      65 Схема вывода      67 Схема доказательства      66 Тарский      16 48 52 62 63 90 111 113—115 Теорема      55 92 Теорема дедукции      72 Теорема о гомоморфизме      108 Теория      14 15 Теория вероятностей      50 51 Теория равенства      60—62 Терм      21—23 30 31 Терм, алгебра термов      23 29 Топологическое пространство      52 53 81 82 Транзитивность      37 62 68 Тьюринг      63 Уайтхед      64 Умножение      18 Факторалгебра      38 39 108 Фактормножество      84 Формула      21 24—26 35 40 73 97 Формула предваренная (prenex formula)      102 103 107 Формула простая      97 Формула, алгебра формул      25 36 Формула, определенная формула      117 118 Функциональная полнота      49 50 Функциональный символ      20—22 94 105 113 Функция      16 22 Халмош      48 Цепь      75 76 Цилиндрическая алгебра      48 Цорн      75 76 Часть      25 26 Чёрч      54 117 119 120 Шеффер      50 Шмелёва      62 Эквивалентность      33 37 Эквивалентность семантическая      33 Эквивалентность элементарная      90 Эквивалентность, отношение эквивалентности      37 38 47 62 84 Эпименид      110 Эрбран      101—105 107 Язык      12 13 Язык, метаязык      14 15 Язык, предметный язык (object language)      14 15 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте