«И» «ИЛИ»  
•© Публичная Библиотека•
◄►  -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Математика. Справочники (пер.)
Фотографии

Математика. Справочники 348k

(переводные авторы)

()

◄ СМЕНИТЬ   РАЗВЕРНУТЬ ▼
▲ СВЕРНУТЬ    СМЕНИТЬ ►
Отдельные неавторизованные и коллективные издания по математике переводных авторов.
Словари, справочники, энциклопедии...
 Обложки
РАЗВЕРНУТЬ ►
◄ СВЕРНУТЬ
РАЗВЕРНУТЬ ►
◄ СВЕРНУТЬ
▼
▲
Обложка 1
  • ⒶⒸСправочная книга по математической логике. Часть 1. Теория моделей. (Handbook of Mathematical Logic, 1977) [Djv-10.6M] Редактор: Дж. Барвайс. Перевод с английского: С.С. Гончаров, В.Д. Дзгоев, К.Ф. Самохвалов, Д.И. Свириденко. Редакторы: Юрий Леонидович Ершов, Е.А. Палютин, А.Д. Тайманов.
    (Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1982)
    Скан: AAW, обработка, формат Djv: pohorsky, 2013
    • ОГЛАВЛЕНИЕ:
      От издательства (5).
      Предисловие Дж. Барвайса (6).
      Предисловие редакторов русского перевода (7).
      Введение (11).
      Глава 1. Введение в логику первого порядка. Дж. Барвайс (13).
      Глава 2. Основы теории моделей. Х.Дж. Кейслер (55).
      Глава 3. Теория ультрапроизведений для алгебраистов. П. Эклоф (109).
      Глава 4. Модельная полнота. А. Макинтайр (141).
      Глава 5. Однородные множества. М. Морли (183).
      Глава 6. Инфинитезимальный анализ кривых и поверхностей. К.Д. Строки (199).
      Глава 7. Допустимые множества и бесконечная логика. М. Маккаи (235).
      Глава 8. Доктрины в категорной логике. А. Кок, Г.Э. Рейес (289).
      Дополнение. Спектр и структура моделей полных теорий. Е.А. Палютин (320).
      Предметный указатель (388).
От издательства: Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги.
Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания.
Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
 Обложка 2
▼
▲
Обложка 1
  • ⒶⒸСправочная книга по математической логике. Часть 2. Теория множеств. (Handbook of Mathematical Logic, 1977) [Djv- 9.6M] Редактор: Дж. Барвайс. Перевод с английского: В.Г. Кановей. Под редакцией В.Н. Гришина.
    (Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1982)
    Скан: AAW, обработка, формат Djv: pohorsky, 2013
    • ОГЛАВЛЕНИЕ:
      Предисловие редактора русского перевода (5).
      Введение (7).
      Глава 1. Аксиомы теории множеств. Джозеф Р. Шенфилд (9).
      Глава 2. Об аксиоме выбора. Томас Дж. Йех (35).
      Глава 3. Комбинаторика. Кеннет Кюнен (64).
      Гласа 4. Вынуждение. Джон П. Берджес (99).
      Глава 5. Конструктивность. Кейт Дж. Девлин (158).
      Глава 6. Аксиома Мартина. Мэри Эллен Рудин (201).
      Глава 7. Результаты о непротиворечивости в топологии. И. Юхас (213).
      Глава 8. Дескриптивная теория множеств: проективные множества. Дональд А. Мартин (235).
      Добавление. Проективная иерархия Н.Н. Лузина: современное состояние теории. В.Г. Кановей (273).
      Именной указатель (365).
      Предметный указатель (368).
      Обозначения, связанные с определимостью (371).
      Указатель обозначений (372).
.
 Обложка 2
▼
▲
Обложка 1
  • ⒶⒸСправочная книга по математической логике. Часть 3. Теория рекурсии. (Handbook of Mathematical Logic, 1977) [Djv- 8.8M] Перевод с английского: С.Г. Дворников, И.А. Лавров. Редактор: Юрий Леонидович Ершов.
    (Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1982)
    Скан: AAW, обработка, формат Djv: pohorsky, 2013
    • ОГЛАВЛЕНИЕ:
      Предисловие редактора русского перевода (6).
      Введение (7).
      Глава 1. Элементы теории рекурсии. Герберт Б. Эндертон (9).
      Глава 2. Неразрешимые проблемы. Мартин Девис (51).
      Глава 3. Разрешимые теории. Михаэль О. Рабин (77).
      Глава 4. Степени неразрешимости. Обзор результатов Стивен Г. Симпсон (112).
      Глава 5. Теория α-рекурсии Ричард А. Шор (134).
      Глава 6. Рекурсия в высших типах. Александр С. Кекрис, Яннис И. Московакис (166).
      Глава 7. Введение в теорию индуктивных определении. Петер Ацел (224).
      Дополнение. Алгоритмические проблемы в теории полей (положительные аспекты). Ю.Л. Ершов (269).
      Предметный указатель (354).
.
 Обложка 2
▼
▲
Обложка 1
  • ⒶⒸСправочная книга по математической логике. Часть 4. Теория доказательств и конструктивная математика. (Handbook of Mathematical Logic, 1977) [Djv- 5.9M] Перевод с английского: Г.В. Давыдов, Григорий Ефроимович Минц. Редактор: В.П. Оревков.
    (Москва: Издательство «Наука»: Главная редакция физико-математической литературы, 1983)
    Скан: AAW, обработка, формат Djv: pohorsky, 2013
    • ОГЛАВЛЕНИЕ:
      От редактора русского перевода (5).
      Введение (7).
      Глава 1. Теоремы о неполноте. К. Сморинский (9).
      Глава 2. Теория доказательств: некоторые приложения устранения сечения. Г. Швихтенберг (54).
      Глава 3. Теорема Эрбрана и генценовское понятие прямого доказательства. Р. Стетмен (84).
      Глава 4. Теории конечного типа, родственные математической практике. С. Феферман (100).
      Глава 5. Аспекты конструктивной математики. Л. Трулстра (160).
      Глава 6. Логика топосов. М. Фурман (241).
      Глава 7. Бестиповое λ-исчисление. X. Барендрегт (278).
      Глава 8. Математическая неполнота в арифметике Пеано. Дж. Парис, Л. Харрингтон (319).
      Добавление 1. Теорема непрерывности для эффективных операторов. Г.Е. Минц (328).
      Добавление 2. Теорема Эрбрана. Г.Е. Минц (331).
      Добавление 3. Каноническое дерево вывода для арифметических формул. Г.Е. Минц (341).
      Добавление 4. Ступенчатая семантика А.А. Маркова. Г.Е. Минц (348).
      Добавление 5. Мажорантная семантика Н.А. Шанина. Г.Е. Минц (357).
      Добавление 6. Равномерно непрерывное конструктивное отображение квадрата в себя без неподвижных точек. В.П. Оревков (366).
      Предметный указатель (383).
.
 Обложка 2