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

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

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



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



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


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

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

Аннотация:

В книге Э. Мендельсона'Введение в математическую логику? дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини'Введение в метаматематику', которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С. К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Другие книги по математической логике на сайте: Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики


Язык: ru

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
"Конечная" аксиома выбора      220
$\alpha$-последовательность      226
$\beta$-функция Гёделя      146
$\Gamma$-дерево      283
$\in$-отношение      181
$\lambda$-вычислимость      250
$\mu$-оператор      135
f-свободный образ      94
i-терм      96
modus ponens      38
Reduktionssatz Шютте      291
Автологическое прилагательное      9
Аккерман (Ackermann W.)      49 273 281 282 296 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
Алгебра полиадическая (      14
Алгебра цилиндрическая      114
Алгорифм в алфавите      229
Алгорифм Маркова      230
Алгорифм над алфавитом      229
Алгорифм рекурсивный      246
Алгорифм Тьюринга      252
Алгорифм удваивающий      233 251
Алгорифм, применимость к слову      229
Алфавит      229
Алфавит машины Тьюринга      251 253
Арифметизация      152
Арифметика мощностей      214
Арифметика формальная      115
Ассер (Asser G.)      260 296
Атомарное высказывание      23 24
Бар-Хиллел (Bar-Hillel Y.)      227 307
Бахман (Bachmann Н.)      217 295 296
Бернайс (Bernays Р.)      10 65 93 96 108 111 112 131 165 177 224—226 276 295 296 299
Бернштейн (Bernstein F.)      8 15 201 208 214 217
Берри (Berry Q.D.W.)      9 160
Бесконечная индукция (правило вывода системы $S_{\infty}$)      283
Бесскобочная система записи      28
Бет (Beth E.W.)      75 78 109 170 296
Биркгоф (Birkhoff Q.)      297
Брауэр (Brower L.Е.J.)      10
Бриттон (Britton J.L.)      279 297
Буква      229
Буква предикатная      54
Буква пропозициональная      22 38
Буква функциональная      54 261
Буква функциональная вспомогательная      261
Буква функциональная главная      261
Буква функциональная начальная      261
Булева алгебра      17 52
Бун (Boon W.)      279 297
Бурали-Форти (Burali-Forti C.)      8 188
Бурбаки (Bourbaki N.)      104 297
Вайсберг (Wajsberg M.)      93 297
Ван дер Варден (Waerden B., van der)      108 297
Ван Хао (Wang Hao)      115 160 227 297 300 305
Введение новых функциональных букв и предметных констант      93
Введение фиктивных переменных      136
Взаимно однозначно эквивалентные множества      276
Взаимно однозначное соответствие      15
Виноградов И.М.      130 141 297
Включение      11 177
Внутреннее состояние машины Тьюринга      251 253
Внутренняя модель      224
Возведение в степень для порядковых чисел      197
Возвратная рекурсия      145
Возвращающая $\alpha$-последовательность      226
Воон (Vaughn H.)      110 307
Воот (Vaught R.)      106 108 226 297 302 306 307
Вопенка (Vopenka P.)      225 297
Вполне упорядочение      17
Вполне эквивалентные алгорифмы      235
Вторая $\varepsilon$-теорема      111
Вхождение переменной свободное      55
Вхождение переменной связанное      55
Вывод      36 39
Вывод в системе $S_{\infty}$      285
Вывод из гипотез (посылок)      37
Вывод равенства      261
Выполнимая формула      62
Выполнимость      58
Выражение      36
Выразимое в теории S арифметическое отношение (предикат)      132
Вычисление машины      253
Галлер (Galler B.A.)      298
Гальперн (Halpern J.D.)      114
Гейтинг (Heyting A.)      10 52 298
Генкин (Henkin L.)      75 105 108 114 298
Генцен (Gentzen G.)      165 282 295 298
Гермес (Hermes H.)      250 260 299
Гетерологическое прилагательное      9
Гёделев номер      151
Гёделев номер выражения      151
Гёделев номер поледовательности выражений      152
Гёделев номер символа      151
Гёдель (Goedel K.)      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
Гжегорчик (Grzegorczyk A.)      299
Гильберт (Hilbert D.)      49 65 93 108 110—112 131 165 228 295 299
Гипотеза      37
Граф      109
График функции      135
Греллииг (Grelling K.)      9
Двойник буквы      236
де Брёйн(de Bruijn N.)      110 297
Девис (Davis M.)      255 299
Дедекинд (Dedekind R.)      115 116 204 206 207 277 299
Декартова степень      12 184
Декартово произведение      12 184 220
Декартово произведение n-кратное      12 184
Декартово произведение классов      184
Деккер (Dekker J.)      277 299
Делимость      128
Дерево вывода      284
Десятая проблема Гильберта      228
Детловс В.К.      299
Дизъюнктивная нормальная форма      34
Дизъюнктивная нормальная форма совершенная      35
Дизъюнктивный член      20
Дизъюнкция      20
Дизъюнкция отрицаний (alternative denial)      34 51
Диксон (Dixon L.E.)      299
Дирихле (Dirichlet P.G.L.)      130
Длина выражения      61
Дополнение      181
Допустимое определение      174
Дребен (Dreben B.)      78 299
Евклид      228
Естественное распространение алгорифма      237
Зависимость в выводе      69
Заключение      20 283
Заключительная вершина      283
Заключительная формула      285
Закон исключенного третьего      10
Замыкание формулы      60
Зейденберг (Seidenberg A.)      299
Зиман (Zeeman E.G.)      226 299
Идеал      17
Идеал максимальный      18
Идеал собственный      18
Изоморфные интерпретации      102
Изоморфные множества      276
Импликация      20
Индекс рекурсивно перечислимого множества      275
Индекс рекурсивного предиката      267
Индекс частично рекурсивной функции      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
Кальмар (Kalmar L.)      45 174 299
Камке (Kamke E.)      103 104 299
Кантор (Cantor G.)      8 188 202
Кардинальное число      8 15 203 221 224
Карнап (Carnap R.)      39 300
Карри (Curry H.B.)      300
Квантификация      283
Квантор всеобщности      53
Квантор ограниченный      139
Квантор существования      53 55 235
Кемени (Kemeny J.)      300
Кёниг (Koenig J.)      110
Китайская теорема об остатках      151
Класс      178
Класс R-эквивалентности      13
Класс бесконечный      204
Класс бесконечный по Дедекинду      204
Класс взаимно однозначный      187
Класс всех подмножеств      184
Класс однозначный      186
Класс счетный      204
Класс транзитивный      190
Клини (Kleene S.C.)      11 49 50 52 65 96 152 170 202 250 260 261 263 266 268 279 300 308
Команда      252 253
Композиция алгорифмов      236
Композиция функций      14 199
Конечное расширение теории      171
Контрапозиция      28
Контрфактическое условное предложение      21
Конфигурация      253
Конъюнктивная нормальная форма      35
Конъюнктивная нормальная форма совершенная      35
Конъюнктивный член      19
Конъюнкция      19
Конъюнкция отрицаний (joint denial)      33
Коэн (Cohen P.J.)      225 300
Крейг (Craig W.)      300
Крейдер (Kreider D.L.)      300
Крейсел (Kreisel G.)      301 307
Куайн (Quine W.V.)      10 21 22 39 227 301 308
Куратовский (Kuratowski K.)      180
Ладриер (Ladriere L.)      301
Ландау (Landau E.)      115 116 301
Леви (Levy A.)      226 301
Лемма Линденбаума      74 105
Лемма Тайхмюллера — Тьюки      220
Лемма Цорна      218
Ленгфорд (Langford C.H.)      107 301
Лента      251
Лёб (Loeb M.H.)      301
Лёвенгейм (Loewenheim L.)      79 92 301
Линденбаум (Lindenbaum A.)      52 74 105 113 114
Линдон (Lyndon R.C.)      301
Литерал      35
Логика      7
Логика двузначная      48
Логика математическая      7 11
Логика многозначная      48
Логически истинное высказывание      26
Логически истинное предложение      63
Логически ложное высказывание      26
Логически ложное предложение      63
Логически общезначимая формула      62
Логически эквивалентные пропозициональные формы      25
Логически эквивалентные формулы      62
Логическое следствие      25 62
Лойхли (Laeuchli H.)      301
Лоренцен (Lorenzen P.)      282 301
Лось (Los J.)      103 110 112 114 301 302
Люксембург (Luxemburg W.A.J.)      302
Майхилл (Myhill J.)      276 277 299 302
Мак-Кинси (McKinsey J.C.C.)      48 302
Мак-Нотон (McNaughton R.)      227 297
Макдоуэлл (Macdowell R.)      302
Маклафлин (Maclaughlin T.)      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
Мендельсон (Mendelson E.)      222 225 302
Мередит (Meredith C.A.)      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
Монтегю (Montague R.)      226 302 307
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте