Верещагин Н.К., Шень А. — Языки и исчисления :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Верещагин Н.К., Шень А. — Языки и исчисления

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

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

Название: Языки и исчисления

Авторы: Верещагин Н.К., Шень А.

Аннотация:

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$S_{ab}$       104
$\beta$ -функция Гёделя      103
$\mathbb{N}+\mathbb{N}$       141
$\mathbb{N}+\mathbb{Z}$       141
$\mathbb{Z}+\mathbb{Z}$       140 146
$\mathbb{Z}\times\mathbb{Z}$       141
$\mathrm{Comp}_n$       32
$\Pi_1$ -аксиоматизируемая теория      241
$\Sigma_1$ -аксиоматизируемая теория      242
$\zeta$ -функция Римана      229
3-значная логика      76
3-тавтология      77
F (false)      10
Gen, правило      167
k-местная функция      89
k-местный предикат      89
majority      39
Modus ponens (MP), правило      48 79
notand      21
T (true)      10
tertium non datur, закон      55
ZF      93
Автоморфизм интерпретации      106
Айтаи      43
Аксиома Архимеда      257
Аксиома объёмности (экстенсиональности)      93
Аксиома регулярности (фундирования)      93
Аксиомы исчисления высказываний      48
Аксиомы исчисления секвенций      67
Аксиомы порядка      92
Аксиомы равенства      206 209 230
Алгебраически замкнутое поле      141 225
Алгебраическое замыкание      209
Алгебраическое множество      126
Алгоритм проверки простоты      43
Алфавит      233
Алфавит, буква      233
Алфавит, слово      233
Антецедент импликации      9
Арифметика Пеано      235
Арифметика Пресбургера      114 121 224
Арифметический предикат      101
Арифметическое множество      101
Архимед      257
Атомарная формула      91
Ахо, А.      39
Базис трансцендентности      226
Бернайс, П.      166 193
Бернайса правила      178
Бесконечно близкие гипердействительные числа      263
Бесконечно малое гипердействительное число      262
Большое множество      246
Брауэр, Л.Э.Я.      71 73
Буква алфавита      233
Булева функция n аргументов      12
Булева функция монотонная      20
Булева функция, вычисляемая схемой из функциональных элементов      29
Булева функция, сложность      29 44
Булева функция, фиктивный аргумент      37
Буль, Дж.      5
Бурбаки, Никола      193
Валентность символа      90
Ван дер Варден, Б.Л.      226
Вещественно замкнутое поле      226 261
Внутреннее множество гипердействительных чисел      267
Воот, Р.      217 225
Вход      28
Вывод в исчислении высказываний      49
Вывод из $\Gamma$       51
Выводимая формула      215
Выводимая формула в исчислении высказываний      49
Выводимость из посылок с параметрами      177
Выводимость формулы из $\Gamma$       175
Выигрышная стратегия      250
Выполнимая формула      58 159
Выразимый предикат      98
Высказывание      9
Высказывание истинное      9
Высказывание истинностное значение      10
Высказывание ложное      9
Выход      28
Галактика гипердействительного числа      266
Гейтинг, А.      71 73
Генцен, Г.      64 70 200
Гёдель, К.      5 70 87 103 236
Гильберт, Д.      5 64 73 143 193 200
Гипердействительное число      259
Гипердействительное число бесконечно малое      262
Гипердействительное число гипернатуральное      259
Гипердействительное число гиперцелое      259
Гипердействительное число конечное      262
Гипердействительное число нестандартное      259
Гипердействительное число положительное бесконечно большое      262
Гипердействительное число стандартное      259
Гипердействительное число, абсолютная величина      261
Гипердействительное число, галактика      266
Гипердействительное число, стандартная часть      264
Гипердействительные числа бесконечно близкие      263
Гипернатуральное число      259
Гиперцелое число      259
Главный фильтр      247
Гливенко, Валерий Иванович      87
Глубина схемы из функциональных элементов      34 44
Горбачёв, Михаил Сергеевич      196
Двоичное дерево      63
Двойное отрицание, снятие      55
де Морган, А.      15 75
Диаграмма интерпретации      237
Диаграмма семейства многочленов      128
Дизъюнкт      19
Дизъюнктивная нормальная форма      19 27 30
Дизъюнкция      10
Дискриминант      137
Допустимость правила сечения      83
Дэвис, М.      257 273
Жегалкин, И.И.      21
Зайденберг      124 136 141
Заключение импликации      9
Закон исключённого третьего      55
Закон поглощения      15
Закон снятия двойного отрицания      55
Законы (правила) Де Моргана      75
Законы де Моргана      15 19
Замкнутая формула      97 215
Замыкание множества      268
Замыкание формулы      159
Значение переменной      95
Значение терма      95
Значение формулы      95
И (истина)      10
Игра Эренфойхта      144
Изоморфизм интерпретаций      138
Изоморфные интерпретации      138
Импликация (следование)      10
Индивидная переменная      90
Индивидная переменная, свободное вхождение      162
Индивидная переменная, связанное вхождение      163
Интеграл      273
Интепретация      215
Интепретация нормальная      215
Интерпретации изоморфные      138
Интерпретации элементарно эквивалентные      137 216
Интерпретации, изоморфизм      138
Интерпретация      91
Интерпретация нормальная      92 139 140 206
Интерпретация, автоморфизм      106
Интерпретация, диаграмма      237
Интерпретация, носитель      91
Интерпретация, подструктура      142
Интерпретация, расширение      142

Интерпретация, элементарное расширение      142
Интуиционистская логика      55
Интуиционистское исчисление высказываний      70
Исключённого третьего закон      55
Истинная пропозициональная переменная      77
Истинная формула      96 215
Истинное высказывание      9
Истинностное значение высказывания      10
Исчисление высказываний      48 160
Исчисление высказываний интуиционистское      70
Исчисление высказываний классическое      70
Исчисление высказываний, вывод      49
Исчисление высказываний, выводимая формула      49
Исчисление высказываний, схемы аксиом      48
Исчисление высказываний, теорема      49
Исчисление генценовского типа      64
Исчисление гильбертовского типа      64
Исчисление предикатов      58 158
Исчисление предикатов, корректность      168
Исчисление секвенций      64
Исчисление секвенций, аксиомы      67
Исчисление секвенций, правила вывода      67
Кантор, Г.      5 73
Канторовское пространство      62
Категоричная теория      226
Квадрат, разрезание      119
Квантор      88
Квантор, область действия      162
Кванторная глубина формулы      148
Кейслер, Г.      218 257
Кёниг, Ю.      63
Классическое исчисление высказываний      70
Клини, С.К.      73 193 200
Кодирование последовательностей/множеств      103
Коконечное подмножество      247
Коллизия переменных      164
Колмогоров Андрей, Николаевич      73
Комлош      43
Компактное множество      270
Компактность      189 208
Комплексные числа      225
Конечно аксиоматизируемая теория      216
Конечное гипердействительное число      262
Консеквент импликации      9
Консерватор (в игре Эренфойхта)      144
Константа      90
Константы свежие      178
Контрапозиция      15
Контрпример (к секвенции)      65
Конъюнкт      19
Конъюнктивная нормальная форма      19
Конъюнкция      10
Кормен, Т.      39
Корректная подстановка      164
Корректность исчисления предикатов      177
Корректность подстановки      168
Коэн, П.Дж.      74
Крейг      21
Крипке, С.      73 77
Критерий Лося — Воота      217
Критерий Лося — Воота, общая форма      217
Критерий Поста      23
Курош, Александр Геннадиевич      240
Л (ложь)      10
Лебег, А.      267
Лейбниц, Г.В.      256 263
Лейзерсон, Ч.      39
Лемма Кёнига      63
Лемма Крейга      21
Лемма о дедукции      51 74 175 178
Лемма о добавлении констант      179 184
Лемма о расширении      245
Лемма о свежих константах      178
Лемма Тарского      244
Лемма Цорна      61 248
Лёвенгейм, Л.      117 210
Линейная функция      24
Линейный порядок      209
Литерал      19
Логика высказываний      9
Логические связки      9
Ложная пропозициональная переменная      78
Ложная формула      96 215
Ложное высказывание      9
Лось      217 225 241 243 253
Малое множество      247
Мальцев, Анатолий Иванович      240
Марков, Андрей Андреевич (младший)      73
Мир (в шкале Крипке)      77
Множества элементарно эквивалентные      117
Множество алгебраическое      126
Множество арифметическое      101
Множество большое      246
Множество гипердействительных чисел внутреннее      267
Множество компактное      270
Множество малое      247
Множество однородное      214
Множество открытое      269
Множество полуалгебраическое      125
Множество формул непротиворечивое      58 182
Множество формул полное      60 182
Множество формул противоречивое      58 180
Множество формул совместное      58
Множество экзистенциально замкнутое      153
Множество, замыкание      268
Множество, предельная точка      268
Модель      180
Модель Крипке      77
Модель нормальная      215
Модель счётная      188
Модель теории      177
Монада      263
Моном      21
Монотонная булева функция      20
Монотонная функция      24
Морли      218 220
Моцарт, В.А.      79
Мультилинейная функция      23
Мучник, Андрей Альбертович      127
Непрерывная функция      271
Непротиворечивая теория      180
Непротиворечивое множество формул      58 182
Несовместность теории      216
Нестандартное гипердействительное число      259
Нестандартный анализ      256
Новатор (в игре Эренфойхта)      144
Нормальная интерпретация      92 139 140 206 215
Нормальная модель      207 209
Нормальная форма дизъюнктивная      19
Нормальная форма конъюнктивная      19
Нормальная форма предварённая      194
Нормальная форма сколемовская      203
Носитель интерпретации      91
Ньютон, И.      256
Область действия квантора      162
Образующая полугруппы      233
Общезначимая формула      158
Однозначность разбора      16
Однородное множество      214
Операция взятия модифицированного остатка      131
Открытое множество      269
Отрицание      10
Оценка      95
Пара полная      83
Пара противоречивая      81
Пара совместная      81
Параметр формулы      94
Пеано, Дж.      5 235
Переменная индивидная      90
Переменная пропозициональная      12

1 2 3

О проекте