Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 Скачать бесплатно
В последние годы сильно ощущается отсутствие в советской литературе книг, содержащих основные методы и теоремы теории моделей и предназначенных для первоначального изучения. Этот пробел будет в некоторой степени заполнен предлагаемым советскому читателю переводом книги А. Робинсона, известного математика, внесшего существенный вклад в теорию моделей. А. Робинсону принадлежит теория идеалов, нестандартный анализ, метод модельной полноты и др. А. Робинсон является также страстным пропагандистом теории моделей и главой Иерусалимской школы. Книга А. Робинсона, возникшая из переработки трех его старых монографий ([1], [3], [9]), является пока лучшей книгой в мировой литературе для первоначального ознакомления с теорией моделей и содержит основные достижения теории моделей узкого исчисления предикатов, полученные до 1963 г. В ней подробно изложены основные теоремы общей теории классов моделей и основные методы доказательства разрешимости теории. Из методов доказательства разрешимости теории, применявшихся в последние годы для решения конкретных задач и не изложенных в книге А. Робинсона, можно отметить метод перекидывания.
Название: Робинсон Введение в теорию моделей и метаматематику алгебры.djvu
Размер: 3.04 Мб
Описание: Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967
Ключевые слова: математические методы, скачать учебник бесплатно, скачать книгу бесплатно, математические модели | 
