Меню
Электронные Книги:
Журналы
Аудиокниги
Самое интересное

Дж. Барвайс. Справочная книга по математической логике. В 4-х частях

Категория: Учебные пособия

 (голосов: 0)
Date Дата: 9 декабря 2019 | Смотрели Дж. Барвайс. Справочная книга по математической логике. В 4-х частях Просмотров: 403
Дж. Барвайс. Справочная книга по математической логике. В 4-х частях

Настоящее издание состоит из четырех книг: "Теория моделей", "Теория множеств", "Теория рекурсии", "Теория доказательств и конструктивная математика".
Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие места в основном тексте издания.
Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Первая книга рассматривает основную связь между математическими утверждениями (аксиомами), с одной стороны, и математическими структурами (моделями), с другой
Вторая книга состоит из ряда глав и добавлений по теории множеств, написанных видными специалистами по теории множеств. Каждая глава - это самостоятельная статья.
1. Аксиомы теории множеств. 2. Об аксиоме выбора. 3. Комбинаторика. 4. Вынуждение. 5. Конструктивность. 6. Аксиома Мартина. 7. Результаты о непротиворечивости в топологии. 8. Дескриптивная теория множеств: проективные множества. Добавление. Проективная иерархия Н.Н. Лузина: современное состояние теории.
"Теория рекурсии" - так называется третий том "Справочной книги по математической логике" - составляет теоретическую основу современного учения об алгоритмах.
Первая вводная глава тома, написанная Эндертоном, знакомит с тем разделом теории алгоритмов, который теперь называется "классической" теорией рекурсии.
Две следующие главы, написанные Девисом и Рабином, занкомят с постановками различных алгоритмических проблем, возникающих в арифметике, алгебре, математической логике и других разделах математики.
Четвертая глава, написанная Симпсоном, знакомит с теорией (тьюринговых) степеней неразрешимости.
Пятая глава, написанная Шором, является содержательным обзором по так называемой a-рекурсии.
В шестой главе, написанной Кекрисом и Московакисом, излагается новый подход к изложению теории рекурсии по Клини для функционалов конечных типов.
Седьмая глава, написанная Ацелом, является введением в общую теорию индуктивных определений.
Четвертый том содержит обзоры по наиболее современным направлениям теории доказательств и конструктивной математики.

Название: Справочная книга по математической логике. В 4-х частях
Автор: Барвайс Дж.
Жанр: Учебное пособие
Издательство: Наука
Год: 1982
Страниц: 392, 376, 360, 392
Язык: Русский
Формат: djvu
Размер: 17,82 Mb

Купить/cкачать Дж. Барвайс. Справочная книга по математической логике. В 4-х частях




Уважаемые посетители, если вы хотите скачать Дж. Барвайс. Справочная книга по математической логике. В 4-х частях и не видите ссылок, то скорее всего наши партнёры(литрес) их не предоставили. Можем предложить купить данное издание.

Книги из категории Учебные пособия:



Теория рекурсии для программистов. Теория рекурсии для программистов.

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и резуль ... Читать

Основания теории множеств Основания теории множеств
В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой наиболее полный из существующих обзор исследований, вызванн ... Читать

Рассказы о множествах (3-е издание). Рассказы о множествах (3-е издание).

Конструктивная теория доказательств и нестандартный анализ Конструктивная теория доказательств и нестандартный анализ
А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистск ... Читать

Математический аппарат биологической кибернетики Математический аппарат биологической кибернетики
Книга в доступной форме знакомит читателя с математическими методами общей кибернетики и дает дополнительные сведения, необходимые для работы в области биологической кибернетики.

Математическая теория логического вывода Математическая теория логического вывода
Эта книга представляет собой сборник переводов статей по теории логического вывода. Возросший за последнее время интерес к этой области математической логики вызван бурным развитием "машинной логики", в частности, появлением многочисленных работ, по ... Читать

re...
Добавление коментария
Ваше Имя:
Код: Включите эту картинку для отображения кода безопасности
обновить если не виден код
Введите код



Кабинет
Ты не поверишь!