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

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

blank
blank
blank
Красота
blank
Линдон Р. — Заметки по логике
Линдон Р. — Заметки по логике



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



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


Название: Заметки по логике

Автор: Линдон Р.

Язык: ru

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

Серия: Современная математика. Популярная серия

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абелева группа      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
Омега-непротиворечивость ($\omega$-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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте