Книга А. Робинсона, возникшая из переработки трех его старых монографий, является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории.
ПРЕДИСЛОВИЕ.
Прошло уже довольно значительное время с момента выхода в свет «Метаматематики алгебры» — предыдущей монографии автора, изданной в этой же серии в 1951 г. Основное внимание в этой работе было уделено логическому анализу методов абстрактной алгебры и применению результатов символической логики к соответствующим алгебраическим задачам. Дальнейшее развитие этой теории привело к появлению новых разделов математики, известных в настоящее время под общим названием «Теория моделей».
ОГЛАВЛЕНИЕ.
Предисловие редактора.
Глава I.Узкое исчисление предикатов.
Глава II.Алгебраические понятия.
Глава III.Некоторые методы и понятия теория моделей.
Глава IV.Полнота.
Глава V.Определимость.
Глава VI.Обобщение алгебраических понятий.
Глава VII.Метаматематическая теория идеалов.
Глава VIII.Метаматематическая теория многообразий.
Глава IX.Различные вопросы.
Библиография.
Именной указатель.
Предметный указатель.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в теорию моделей и математику алгебры, Робинсон А., 1967 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать файл № 1 - pdf
Скачать файл № 2 - djvu
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - djvu - Яндекс.Диск.
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Робинсон :: книги по алгебре :: алгебра :: теория моделей
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи:
