Теория моделей

Автор(ы)

Кейслер Г.Дж, Чэн Ч.-Ч

Год

1977

Язык

rus

Аннотация

Теория моделей Год выпуска : 1977 (оригинал - 1973) Автор : Кейслер Г.Дж., Чэн Ч.-Ч. Жанр : Монография Издательство : М., Мир Формат : DjVu Качество : OCR без ошибок Количество страниц : 614 Язык: Русский Описание : Теория моделей - метаматематическая дисциплина, лежащая на стыке математической логики и высшей алгебры. Она изучает взаимосвязь между формальными языками и некими реализующими их структурами, называемыми моделями. 600-страничный труд Кейслера и Чэна по праву считается одним из известнейших фундамендальных учебников по теории моделей. Он посвящен моделям формальных языков первого порядка. Книга снабжена упражнениями в конце каждого параграфа. Примеры страниц (кликабельно)