Справочная книга по математической логике, в 4 частях, часть 1, теория моделей, Барвайс Д., 1982

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

ОТ ИЗДАТЕЛЬСТВА.

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов,
интересующихся развитием современной математики и логики.





ПРЕДИСЛОВИЕ РЕДАКТОРОВ РУССКОГО ПЕРЕВОДА.

Бурное развитие теории моделей, одного из разделов математической логики, приходится на последние два десятилетия. Теория моделей изучает фундаментальные связи между синтаксическими свойствами множеств предложений формального языка, с одной стороны, и семантическими свойствами их моделей, с другой. За этот период теория обогатилась новыми идеями, методами и конструкциями. Развитие этой теории и ее приложений шло одновременно в разных направлениях. В первую очередь расширялось применение методов теории моделей в алгебре и геометрии, идущее от создателей теории — А. И. Мальцева и А. Тарского. Особый успех имели здесь идея классификации алгебраических систем с точностью до элементарной эквивалентности и проблемы разрешимости элементарных теорий классических алгебр.

Оглавление.

От издательства.
Предисловие Дж. Барвайса.
Предисловие редакторов русского перевода.
Введение.
Глава 1. ВВЕДЕНИЕ В ЛОГИКУ ПЕРВОГО ПОРЯДКА. Дж. Барвайс
Глава 2. ОСНОВЫ ТЕОРИИ МОДЕЛЕЙ. X. Дж. Кейслер.
Глава 3. ТЕОРИЯ УЛЬТРАПРОИЗВЕДЕНИИ ДЛЯ АЛГЕБРАИСТОВ. П. Эклоф.
Глава 4. МОДЕЛЬНАЯ ПОЛНОТА. А. Макинтайр.
Глава 5. ОДНОРОДНЫЕ МНОЖЕСТВА. М. Морли.
Глава 6. ИНФИНИТЕЗИМАЛЬНЫИ АНАЛИЗ КРИВЫХ И ПОВЕРХНОСТЕЙ. К. Д. Строян.
Глава 7. ДОПУСТИМЫЕ МНОЖЕСТВА И БЕСКОНЕЧНАЯ ЛОГИКА. М. Маккаи.
Глава 8. ДОКТРИНЫ В КАТЕГОРНОЙ ЛОГИКЕ. А. Кок, Г. Э. Рейес
Дополнение. СПЕКТР И СТРУКТУРА МОДЕЛЕЙ ПОЛНЫХ ТЕОРИЙ. Е. А. Палютин.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Справочная книга по математической логике, в 4 частях, часть 1, теория моделей, Барвайс Д., 1982 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - djvu - Яндекс.Диск.




Теги: Барвайс :: 1982 :: математика :: логика