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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Теория рекурсивно аксиоматизируемая      163
Теория рекурсивно неразрешимая      168
Теория существенно неполная      164
Теория существенно рекурсивно неполная      170
Теория существенно рекурсивно неразрешимая      168
Теория типов      10 227
Теория формальная      25 36
Теория частичного упорядочения      67
Теория эффективно аксиоматизированная      36
Теория, подходящая для данной логики      48
Терм      54 261
Терм замкнутый      76
Терм, свободный для переменной в формуле      56
Тихонов А.Н.      110
Томпсон (Thompson F.B.)      114
Точное описание (definite description)      96
Транзитивное замыкание      222
Трихотомия (Trich)      218
Тьюки (Tukey J.W.)      220
Тьюринг (Turing A.M.)      251—257 260 261 280 306
Тюркетт (Turquette A.R.)      48 305
Уайтхед (Whitehead A.N.)      10 304
Уитекер (Whitaker J.)      201
Улам (Ulam S.)      226 306
Умножение      116
Умножение порядковых чисел      196 197
Универсальная выбирающая функция      221
Универсальный класс      181
Упорядочение      16
Упорядочение полное      16
Упорядочение рефлексивное      16
Упорядочение частичное      16 67
Упорядочение частичное рефлексивное      16
Упорядоченная n-ка      12 181 184
Упорядоченная структура      189
Упорядочиваемая группа      110
Фейс (Feys R.)      300
Ферма (Fermat P.)      143
Феферман (Feferman S.)      108 165 166 277 306 307 309
Фибоначчи (Fibonacci, Leonardo Pisano)      145
Финитные методы      39
фон Нейман(Neumann J., von)      10 177 222 303
Формальное расположение алгорифма      237
Формула      36 38 54
Формула k-общезначимая      93
Формула боковая      283
Формула выделенная      46
Формула главная      283
Формула гротескная      47
Формула двойственная      83
Формула замкнутая      57
Формула корректная      282
Формула некорректная      282
Формула подстановки      229
Формула подстановки заключительная      230
Формула подстановки простая      229 230
Формула предикативная      182
Формула секущая      283
Формула элементарная      54
Формула, выполнимость на последовательности      59
Формула, истинная в данной интерпретации      59
Формула, ложная в данной интерпретации      59
Фреге (Frege G.)      307
Френкель (Fraenkel A.A.)      225 227 307
Фридберг (Friedberg R.)      307
Функция      13 186
Функция взаимно однозначная      14
Функция всюду определенная      14
Функция выбирающая      217
Функция на множестве      14
Функция общерекурсивная      136
Функция от я аргументов      14
Функция потенциально рекурсивная      276
Функция примитивно рекурсивная      136
Функция рекурсивная      136
Функция характеристическая      134
Функция частичная      14
Функция частично рекурсивная      235
Функция эффективно вычислимая      228
Функция, вычислимая по Маркову      235
Функция, вычислимая по Тьюрингу      254
Функция, вычислимая по Эрбрану — Гёделю (ЭГ-вычислимая)      262
Функция, вычислимая с помощью системы равенств      262
Функция, частично вычислимая по Маркову      235
Хазенъегер (Hasenjaeger G.)      65 75 176 307
Халмош (Xalmos P.)      110 114 307
Характеристика поля      108
Хартогс (Hartogs F.)      207 307
Хаусдорф (Hausdorff F.)      220
Хеллман (Hellman M.)      201 307
Хигмен (Higman G.)      279 307
Хинтикка (Hintikka K.J.)      75 78 307
Хлодовский И.Н.      282 307
Холл (Hall M., Jr.)      308
Хон (Hohn F.)      29 308
Цепь      218
Цермело (Zermelo E.)      10 225 227 308
Цифра      121 231 261
Цорн (Zorn M.)      218
Частное      137
Частный случай пропозициональной формы      60
Чёрч (Church A.)      11 39 51 65 164 173 174 227 250 308
Чистое исчисление одноместных предикатов      174
Чистое исчисление предикатов (первого порядка)      99 172
Читающая головка      251
Чудновский Г.В.      228 308
Шапиро (Shapiro N.)      308
Шеннон (Shannon C.)      29 308
Шепердсон (Shepherdson J.)      226 308
Шестаков В.И.      29 308
Шёнфильд (Shoenfield J.)      227 295 308
Шмелева (Szmielew W.)      108 281 308
Шмидт (Schmidt A.)      308
Шмульян (Smullvan R.)      152 213 277 308
Шольц (Scholz H.)      65 176 307
Шпеккер (Specker E.)      225 227 302 308
Шрёдер (Schroeder E.)      8 15 201 208 214 217
Штрих Шеффера      34
Шураньи (Suranyi J.)      281 309
Шютте (Schuette K.)      165 282 291 295 309
ЭГ-вычислнмая функция      262
Эквивалентность      21
Эквивалентные алгорифмы      235
Элемент R-наименьший      17
Элемент множества      8 11
Элементарная теория      65
Элементарная теория абелевых групп      90
Элементарная теория групп      89
Элементарная теория коммутативных колец с единицей      90
Элементарная теория плотно упорядоченных множеств без первого и последнего элементов      89
Элементарная теория полей      90
Элементарная теория равенства      89
Элементарная теория упорядоченных полей      90
Эпименид      8 9
Эрбран (Herbrand J.)      40 78 250 261 309
Эрдёш (Erdoes P.)      110 226 297 309
Эренфойхт (Ehrenfeucht A.)      131 277 309
Эффективная неразрешимость      173
Эффективность      64
Яблонский С.В.      29 309
Язык-объект      39
Яськовский (Jaskowski S.)      52 309
—ограниченный      139
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте