Теория моделей: пер. с англ.

Теория моделей: пер. с англ.

Bibliografske podrobnosti
Glavni avtor:	Кейслер Г. Дж. Говард Джером
Drugi avtorji:	Чэн Ч. Ч. Чень Чунь
Izvleček:	Изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятсяисторические замечания и формулировки нерешенных проблем. Предназначена для математиков различных специальностей и может использоваться как учебное пособие студентами и аспирантами университетов и пединститутов.
Jezik:	ruščina
Izdano:	Москва, Мир, 1977
Teme:	математика модели теория математическая логика построение упражнения
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=36867

Podobne knjige/članki

Теория непрерывных моделей: пер. с англ.
od: Кейслер Г. Дж. Говард Джером
Izdano: (Москва, Мир, 1971)

Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1984)

Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1976)

Теория формальных языков: Вводный курс; пер. с англ.
od: Рейуорд-Смит В. Дж
Izdano: (Москва, Радио и связь, 1988)

Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
od: Барендрегт Х. П. Хендрик Питер
Izdano: (Москва, Мир, 1985)

Ч. 1 : Теория моделей; Справочная книга по математической логике
Izdano: (1982)

Основания математической логики: пер. с англ.
od: Карри Х. Хаскелл
Izdano: (Москва, Мир, 1969)

Основания теории множеств: пер. с англ.
od: Френкель А. А. Абрахам А.
Izdano: (Москва, Мир, 1966)

Введение в конечную математику: пер. с англ.
od: Кемени Дж.
Izdano: (Москва, Изд-во иностранной литературы, 1963)

Основания математики. Теория доказательств: пер. с нем.
od: Гилберт Д. Давид
Izdano: (Москва, Наука, 1982)

Математический интуиционизм. Введение в теорию доказательств
od: Драгалин А. Г. Альберт Григорьевич
Izdano: (Москва, Наука, 1979)

Теория графов: алгебраическая теория учебник для вузов
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2025)

Теория графов: алгебраическая теория учебное пособие для вузов
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2024)

Математическая логика: пер. с англ.
od: Клини С. К. Стефан Коул
Izdano: (Москва, Мир, 1973)

Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2025)

Математическая логика
od: Гладкий А. В. Алексей Всеволодович
Izdano: (Москва, Изд-во Российского ГГУ, 1998)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2021)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2024)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2022)

Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2023)

Дискретная математика: Математика для менеджера в примерах и упражнениях; учебное пособие
od: Москинова Г. И. Галина Ивановна
Izdano: (Москва, Логос, 2000)

Теория множеств и континуум-гипотеза
od: Коэн П. Д. Пол Дж.
Izdano: (Москва, Мир, 1969)

Введение в конечную математику: пер. с англ.
od: Кемени Дж.
Izdano: (Москва, Мир, 1965)

О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
od: Ивс Г.
Izdano: (Москва, Знание, 1968)

Математическая логика и теория алгоритмов: учебное пособие
od: Гурова Л. М. Любовь Михайловна
Izdano: (Москва, Изд-во МГГУ, 2006)

Основы дискретной математики: учебное пособие
od: Горбатов В. А. Вячеслав Афанасьевич
Izdano: (Москва, Высшая школа, 1986)

Математика метаматематики: пер. с англ.
od: Расева Е. Елена
Izdano: (Москва, Наука, 1972)

Математическая логика: учебное пособие
od: Ершов Юрий Леонидович
Izdano: (Москва, Наука, 1987)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2023)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2022)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2021)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2024)

Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)

Введение в математическую логику: учебное пособие
od: Колмогоров А. Н. Андрей Николаевич
Izdano: (Москва, Изд-во Московского ун-та, 1982)

Популярная логика: общедоступный очерк логики предложений; пер. с пол.
od: Гжегорчик А. Анджей
Izdano: (Москва, Наука, 1979)

Основы кибернетики. Математические основы кибернетики: учебное пособие
Izdano: (Москва, Высшая школа, 1974)

Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2021)

Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2024)

Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2023)