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

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

blank
blank
blank
Красота
blank
Мендельсон Э. — Введение в математическую логику
Мендельсон Э. — Введение в математическую логику



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



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


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

Автор: Мендельсон Э.

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$\alpha$-последовательность      226
$\beta$-функция Гёделя      146
$\Gamma$-дерево      283
$\in$-отношение      181
$\iota$-терм      96
$\lambda$-вычислимость      250
$\mu$-оператор      135
$\mu$-оператор ограниченный      139
f-свободный образ      94
modus ponens      38
Reduktionssatz Шютте      291
Автологическое прилагательное      9
Аккерман      49 273 281 282 293 299
Аксиома      36
Аксиома бесконечности (аксиома I)      187
Аксиома выбора (аксиома AC)      17 217
Аксиома выделения (аксиома S)      186
Аксиома замещения (аксиома R)      187
Аксиома логическая      65 66
Аксиома множества всех подмножеств (аксиома W)      186
Аксиома мультипликативная (Mult)      17 218
Аксиома объединения (аксиома U)      185
Аксиома объемности (аксиома T)      179
Аксиома ограничения (аксиома D)      221
Аксиома пары (аксиома P)      179
Аксиома пустого множества (аксиома N)      179
Аксиома собственная (или нелогическая)      66
Аксиома фундирования      221
Аксиоматическая теория множеств      10 177
Аксиомы существования классов      181
Алгебра Линденбаума      52 113 114
Алгебра полиадическая      114
Алгебра цилиндрическая      114
Алгорифм в алфавите      229
Алгорифм Маркова      230
Алгорифм над алфавитом      229
Алгорифм рекурсивный      246
Алгорифм Тьюринга      252
Алгорифм удваивающий      233 251
Алгорифм, применимость к слову      229
Алфавит      229
Алфавит машины Тьюринга      251 253
Арифметизация      152
Арифметика мощностей      214
Арифметика формальная      115
Ассер      260 296
Атомарное высказывание      23 24
Бар-Хиллел      227 307
Бахман      217 295 296
Бернайс      10 65 93 96 108 111 112 131 165 177 224—226 276 295 296 299
Бернштейн      8 15 201 208 214 217
Берри      9 160
Бесконечная индукция (правило вывода системы $S_\infty$)      283
Бесскобочная система записи      28
Бет      75 78 109 170 296
Биркгоф      297
Брауэр      10
Брёйн, де      110 297
Бриттон      279 297
Буква      229
Буква предикатная      54
Буква пропозициональная      22 38
Буква функциональная      54 261
Буква функциональная вспомогательная      261
Буква функциональная главная      261
Буква функциональная начальная      261
Булева алгебра      17 52
Бун      279 297
Бурали-Форти      8 188
Бурбаки      104 297
Вайсберг      93 297
Ван дер Варден      108 297
Ван Хао      115 160 227 297 300 305
Введение новых функциональных букв и предметных констант      93
Введение фиктивных переменных      136
Взаимно однозначно эквивалентные множества      276
Взаимно однозначное соответствие      15
Виноградов, И.М.      130 141 297
Включение      11 177
Внутреннее состояние машины Тьюринга      251 253
Внутренняя модель      224
Возведение в степень для порядковых чисел      197
Возвратная рекурсия      145
Возвращающая $\alpha$-последовательность      226
Воон      110 307
Воот      106 108 226 297 302 306 307
Вопенка      225 297
Вполне упорядочение      17
Вполне эквивалентные алгорифмы      235
Вторая $\varepsilon$-теорема      111
Вхождение переменной свободное      55
Вхождение переменной связанное      55
Вывод      36 39
Вывод в системе $S_\infty$      285
Вывод из гипотез (посылок)      37
Вывод равенства      261
Выполнимая формула      62
Выполнимость      58
Выражение      36
Выразимое в теории S арифметическое отношение (предикат)      132
Вычисление машины      253
Галлер      298
Гальперн      114
Гейтинг      10 52 298
Генкин      75 105 108 114 298
Генцен      165 282 295 298
Гермес      250 260 299
Гетерологическое прилагательное      9
Гёделев номер      151
Гёделев номер выражения      151
Гёделев номер последовательности выражений      152
Гёделев номер символа      151
Гёдель      10 11 51 65 75 78 91 146 152 159—161 163—166 173 176 177 225 227 250 261 262 265 267 273 280 282 298
Гжегорчик      299
Гильберт      49 65 93 108 110—112 131 165 228 295 299
Гипотеза      37
Граф      109
График функции      135
Греллинг      9
Двойник буквы      236
Девис      255 299
Дедекинд      115 116 24 206 207 277 299
Декартова степень      12 184
Декартово произведение      12 184 220
Декартово произведение n-кратное      12 184
Декартово произведение классов      184
Деккер      277 299
Делимость      128
Дерево вывода      284
Десятая проблема Гильберта      228
Детловс, В.К.      299
Дизъюнктивная нормальная форма      34
Дизъюнктивная нормальная форма совершенная      35
Дизъюнктивный член      20
Дизъюнкция      20
Дизъюнкция отрицаний (alternative denial)      34 51
Диксон      299
Дирихле      130
Длина выражения      61
Дополнение      181
Допустимое определение      174
Дребен      78 299
Евклид      228
Естественное распространение алгорифма      237
Зависимость в выводе      69
Заключение      20 283
Заключительная вершина      283
Заключительная формула      285
Закон исключенного третьего      10
Замыкание формулы      60
Зейденберг      299
Зиман      226 299
Идеал      17
Идеал максимальный      18
Идеал собственный      18
Изоморфные интерпретации      102
Изоморфные множества      276
Импликация      20
Индекс рекурсивно перечислимого множества      267
Индекс рекурсивного предиката      275
Индекс частично рекурсивной функции      267
Индуктивное предположение      16
Индукция по x      16
Индукция трансфинитная      17 193 195
Интерпретация      57
Интуиционизм      10 11
Интуиционистское исчисление высказываний      51
Истинностная таблица      19
Истинностная таблица сокращенная      23
Истинностная функция      22 24
Истинностное значение      19
Истинностное значение выделенное      47
История формулы      291
Исходные функции      135
Исчисление высказываний      19
Исчисление предикатов первого порядка      66
Исчисление предикатов первого порядка насыщенное (PF)      172
Исчисление предикатов первого порядка чистое (PP)      172
Кальмар      45 174 299
Камке      103 104 299
Кантор      8 188 202
Кардинальное число      8 15 203 221 224
Карнап      39 300
Карри      300
Квантификация      283
Квантор всеобщности      53
Квантор ограниченный      139
Квантор существования      53 55 235
Кемени      300
Кёниг      110
Китайская теорема об остатках      151
Класс      178
Класс R-эквивалентности      13
Класс бесконечный      204
Класс бесконечный по Дедекинду      204
Класс взаимно однозначный      187
Класс всех подмножеств      184
Класс однозначный      186
Класс счетный      204
Класс транзитивный      190
Клини      11 49 50 52 65 96 152 170 202 250 260 261 263 266 2568 279 300 308
Команда      252 253
Композиция алгорифмов      236
Композиция функций      14 199
Конечное расширение теории      171
Контрапозиция      28
Контрфактическое условное предложение      21
Конфигурация      253
Конъюнктивная нормальная форма      35
Конъюнктивная нормальная форма совершенная      35
Конъюнктивный член      19
Конъюнкция      19
Конъюнкция отрицаний (joint denial)      33
Коэн      225 300
Крейг      300
Крейдер      300
Крейсел      301 307
Куайн      10 21 22 39 227 301 308
Куратовский      180
Ладриер      301
Ландау      115 116 301
Леви      226 301
Лемма Линденбаума      74 105
Лемма Тайхмюллера — Тьюки      220
Лемма Цорна      218
Ленгфорд      107 301
Лента      251
Лёб      301
Лёвенгейм      79 92 301
Линденбаум      35
Линдон      301
Литерал      35
Логика      7
Логика двузначная      48
Логика математическая      7 11
Логика многозначная      48
Логически истинное высказывание      26
Логически истинное предложение      63
Логически ложное высказывание      26
Логически ложное предложение      63
Логически общезначимая формула      62
Логически эквивалентные пропозициональные формы      25
Логически эквивалентные формулы      62
Логическое следствие      25 62
Лойхли      301
Лоренцен      282 301
Лось      103 110 112 114 301 302
Люксембург      302
Майхилл      276 277 299 302
Мак-Кинси      48 302
Мак-Нотон      227 297
Макдоуэлл      302
Маклафлин      302
Максимальный элемент класса      206
Мальцев, А.И.      302
Марков, А.А.      229 230 235 242 244 248—250 255 256 260 279 280 302
Массовая проблема      278
Массовая проблема неразрешимая      278
Матиясевич, Ю.В.      228 302
Машина Тьюринга      251—253
Машина Тьюринга, вычисление частичной арифметической функции      254
Машина Тьюринга, остановка при конфигурации $\alpha$      253
Машина Тьюринга, перевод конфигурации $\alpha$ в конфигурацию $\beta$      253
Мендельсон      222 225 302
Мередит      51 302
Метаматематика      39
Метатеорема      39
Метаязык      39
Метод бесконечного спуска      128
Метод последовательного исключения кванторов существования      107 108
Минимальный элемент класса      206
Множество      7 11 178
Множество бесконечное      15
Множество взаимно однозначно сводимое      276
Множество вполне упорядоченное      17
Множество всех подмножеств      186
Множество выбирающее      218
Множество выбора      17
Множество значений бинарного отношения      13
Множество изолированное      277
Множество иммунное      277
Множество конечное      15 203
Множество конечное по Дедекинду      206
Множество креативное      276
Множество не более чем счетное      15
Множество однозначно сводимое      276
Множество одноэлементное      12
Множество примитивно рекурсивное      140
Множество продуктивное      277
Множество простое      276
Множество пустое      12 179 180
Множество рекурсивно перечислимое      273
Множество рекурсивное      140
Множество счетное      15
Модель      59
Модель нестандартная      121 131
Модель нормальная      91
Модель стандартная      121
Модель счетная      75
Монтегю      226 302307
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте