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

М.: Наука. Главная редакции физико-математической литературы, 1982. — 392 с. Качество: хорошее, текстовый слой, оглавление. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в ко...

М.: Наука. Главная редакции физико-математической литературы, 1982. — 392 с. Математическая логика традиционно подразделяется на четыре раздела: теория моделей, теория множеств, теория рекурсии и теория доказательств. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы...

Учебнеое пособие. 2009. 291 с. Основы теории множеств (Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества. Аксиома выбора и аксиома регулярности. Упорядоченные множества. Частично упорядоченные множества. Решетки и булевы алгебры. Вполне упорядоченные множества. Ординалы. Определение и основные свойства. Трансфинитные построения. Арифметика ординалов. Мощно...

Учебник — Тверь: Твер. гос. ун-т, 2013. — 480 с. Данный учебник полностью охватывает материал курса "Основы теории моделей". Он адресован, прежде всего, студентам старших курсов, изучающих указанный предмет или смежные с ним, а также всем, кто интересуется математической логикой. Основы теории множеств. Аксиомы теории множеств. Наследственно конечные множества. Подмножества и декартовы произведения. Отношения и функции. Индуктивные множества, акс...

М.: Наука, 1980. - 416 с. Серия "Математическая логика и основания математики" Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме тради...

Издательство «Мир», 614 стр. Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятся исторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и пединститутов.

М. : 1971. -184 с. Небольшая монография, посвященная теории классов моделей—области математической логики, интенсивно развивавшейся в течение последних 10—15 лет. Содержание монография—обобщение теори моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение...

СПб.: АФТУ РАН, 2010. — 11 с. [Академический физико-технологический университет РАН (АФТУ РАН). С.-Петербург]. Аннотация. Представлен конспект лекций по математической логике, прочитанный автором, студентам АФТУ РАН, II семестр, весна 2010 г. [Это из кратких лекций одногодичного курса по математической логике, который был представлен осенью 2009 года и весной 2010 года в Академическом физико-технологическом университете РАН (АФТУ РАН)]. Первый с...

Перевод: Е.Р. Байсалов и К.А. Мейрембеков, Казахстан, Алматы, механико-математический факультет Казахского Национального университета им. аль-Фараби. 2001. — 474 с. Оригинал: Bruno Poizat, Cours de théorie des modèles. Элементарные классы отношений Язык одного отношения Расширение языка, структуры Компактность Челночный метод в ω-насыщенных моделях Иллюстрации челночного метода Арифметика Ординалы и кардиналы Насыщенные модели Простые модели Насл...

М.: Наука, 1967. - 376 с. Серия "Математическая логика и основания математики". Понятие модели возникло в математике еще в девятнадцатом веке. Вплотную к нему подошел Н. И. Лобачевский, но в полной мере оно появилось в работах Э. Бельтрами и Ф. Клейна, посвященных непротиворечивости геометрии. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символически...

Новая область математики - теория моделей получила интенсивное развитие в последние двадцать лет. В книге известного математика Джеральда Сакса содержится тщательное изложение и классических, и новейших результатов теории; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. Эта теория позволила решить многие задачи, казавшиеся ранее неприступными. Книга рассчитана на студентов и...