Книжная полка букинистический сайт
  Главная    Разделы    Каталог    Оформление заказа    Ссылки   

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

Издательство: НАУКА, 1967
Формат: 84 х 108 / 32
Количество страниц: 376
Обложка: Твердая в суперобложке
Состояние: Хорошее.

Настоящая книга посвящена теории моделей — одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики.  Основное  содержание книги составляют известная теорема Гёделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления.
В первых пяти главах излагаются такие известные классические результаты, как локальная теорема Мальцева, полнота и разрешимость теорий вещественно замкнутого и алгебраически замкнутого полей, теорема Бета об определимости и др. Последующие четыре главы посвящены более современным проблемам. В них с помощью теоретико-модельных методов изучаются общие алгебраические понятия (сепарабельность, алгебраичность и т. д.), теория идеалов и многообразий, вопросы классического анализа, а также доказывается ряд известных классических теорем математики.
Книга рассчитана на научных работников, студентов и аспирантов, специализирующихся в различных областях математики, главным образом в области алгебры и математической логики.


Цена: 450 руб.
Наука, 1971
Митропольский А.К.
Техника статистических вычислений.
Гостехиздат, 1956
Зоммерфельд А.
Строение атома и спектры , в 2-х томах.
МАШИНОСТРОЕНИЕ, 1989
Кремлевский П.П.
Расходомеры и счётчики количества. СПРАВОЧНИК.
Наука, 1974
Архангельский А.В., Пономарев В.И.
Основы общей топологии в задачах и упражнениях.
ГОСЭНЕРГОИЗДАТ, 1946
Роддатис К, Ф., Ромм Э.И., Усенко Т.Т. и др.
КОТЕЛЬНЫЕ УСТАНОВКИ, в 2-х томах, том 2-й: Вспомогательные устройства и эксплоатация котельных установок.

Яндекс.Метрика

Copyright © SecondHandBook.ru