Введение в теорию моделей и математику алгебры, Робинсон А., 1967

Введение в теорию моделей и математику алгебры, Робинсон А., 1967.

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




ПРЕДИСЛОВИЕ.
Прошло уже довольно значительное время с момента выхода в свет «Метаматематики алгебры» — предыдущей монографии автора, изданной в этой же серии в 1951 г. Основное внимание в этой работе было уделено логическому анализу методов абстрактной алгебры и применению результатов символической логики к соответствующим алгебраическим задачам. Дальнейшее развитие этой теории привело к появлению новых разделов математики, известных в настоящее время под общим названием «Теория моделей».

ОГЛАВЛЕНИЕ.
Предисловие редактора.
Глава I.Узкое исчисление предикатов.
Глава II.Алгебраические понятия.
Глава III.Некоторые методы и понятия теория моделей.
Глава IV.Полнота.
Глава V.Определимость.
Глава VI.Обобщение алгебраических понятий.
Глава VII.Метаматематическая теория идеалов.
Глава VIII.Метаматематическая теория многообразий.
Глава IX.Различные вопросы.
Библиография.
Именной указатель.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Введение в теорию моделей и математику алгебры, Робинсон А., 1967 - fileskachat.com, быстрое и бесплатное скачивание.

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


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

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






Теги: Робинсон :: книги по алгебре :: алгебра :: теория моделей