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

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

Авторизация

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

Цепь элементарных расширений      244
Цермело, Э.      5 93
Цорн, М.      61 248
Частичный порядок, продолжение до линейного      209
Чёрч, А.      160 205
Число гипердействительное      259
Чэн      218 243
Шенфилд, Дж.      200
Шкала Крипке      77
Штурм      135
Эквивалентные формулы      13 159
Экзистенциально замкнутое множество      153
Экзистенциально полная теория      183
Элементарная теория интерпретации      216
Элементарная эквивалентность      117 137 258
Элементарная эквивалентность $\mathbb{R}$ и $\mathbb{Q}$ с (=,<,+,0,1)      139

Элементарная эквивалентность $\mathbb{Z}$ и $\mathbb{Z}+\mathbb{Z}$       140 146
Элементарная эквивалентность интерпретаций      137
Элементарно эквивалентные интерпретации      216
Элементарное расширение      210
Элементарное расширение интерпретации      142
Элиминация в арифметике Пресбургера      122
Элиминация в поле комплексных чисел      136
Элиминация кванторов      109 140 219 236
Элиминация кванторов в $(\mathbb{Q},=,<)$       115
Элиминация кванторов в $(\mathbb{Z},=,<,S)$       113
Элиминация кванторов в $(\mathbb{Z},=,S,0)$       110
Эрбран, Ж.      199 203
Эрбрановская функция      203
Эренфойхт, А.      144
Язык первого порядка      91
Языки второго порядка      201

1 2 3

О проекте