Теория моделей: пер. с англ.
| 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: (Москва, Мир, 1971)
Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1984)
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1984)
Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1976)
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1976)
Теория формальных языков: Вводный курс; пер. с англ.
od: Рейуорд-Смит В. Дж
Izdano: (Москва, Радио и связь, 1988)
od: Рейуорд-Смит В. Дж
Izdano: (Москва, Радио и связь, 1988)
Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
od: Барендрегт Х. П. Хендрик Питер
Izdano: (Москва, Мир, 1985)
od: Барендрегт Х. П. Хендрик Питер
Izdano: (Москва, Мир, 1985)
Ч. 1 : Теория моделей; Справочная книга по математической логике
Izdano: (1982)
Izdano: (1982)
Основания математической логики: пер. с англ.
od: Карри Х. Хаскелл
Izdano: (Москва, Мир, 1969)
od: Карри Х. Хаскелл
Izdano: (Москва, Мир, 1969)
Основания теории множеств: пер. с англ.
od: Френкель А. А. Абрахам А.
Izdano: (Москва, Мир, 1966)
od: Френкель А. А. Абрахам А.
Izdano: (Москва, Мир, 1966)
Введение в конечную математику: пер. с англ.
od: Кемени Дж.
Izdano: (Москва, Изд-во иностранной литературы, 1963)
od: Кемени Дж.
Izdano: (Москва, Изд-во иностранной литературы, 1963)
Основания математики. Теория доказательств: пер. с нем.
od: Гилберт Д. Давид
Izdano: (Москва, Наука, 1982)
od: Гилберт Д. Давид
Izdano: (Москва, Наука, 1982)
Математический интуиционизм. Введение в теорию доказательств
od: Драгалин А. Г. Альберт Григорьевич
Izdano: (Москва, Наука, 1979)
od: Драгалин А. Г. Альберт Григорьевич
Izdano: (Москва, Наука, 1979)
Теория графов: алгебраическая теория учебник для вузов
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2025)
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2025)
Теория графов: алгебраическая теория учебное пособие для вузов
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2024)
od: Константинова Е. В. Елена Валентиновна
Izdano: (Москва, Юрайт, 2024)
Математическая логика: пер. с англ.
od: Клини С. К. Стефан Коул
Izdano: (Москва, Мир, 1973)
od: Клини С. К. Стефан Коул
Izdano: (Москва, Мир, 1973)
Теория множеств: абсолютно неразрешимые классические проблемы учебник для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2025)
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2025)
Математическая логика
od: Гладкий А. В. Алексей Всеволодович
Izdano: (Москва, Изд-во Российского ГГУ, 1998)
od: Гладкий А. В. Алексей Всеволодович
Izdano: (Москва, Изд-во Российского ГГУ, 1998)
Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2021)
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2021)
Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2024)
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2024)
Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2022)
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2022)
Теория множеств: абсолютно неразрешимые классические проблемы учебное пособие для вузов
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2023)
od: Любецкий В. А. Василий Александрович
Izdano: (Москва, Юрайт, 2023)
Дискретная математика: Математика для менеджера в примерах и упражнениях; учебное пособие
od: Москинова Г. И. Галина Ивановна
Izdano: (Москва, Логос, 2000)
od: Москинова Г. И. Галина Ивановна
Izdano: (Москва, Логос, 2000)
Теория множеств и континуум-гипотеза
od: Коэн П. Д. Пол Дж.
Izdano: (Москва, Мир, 1969)
od: Коэн П. Д. Пол Дж.
Izdano: (Москва, Мир, 1969)
Введение в конечную математику: пер. с англ.
od: Кемени Дж.
Izdano: (Москва, Мир, 1965)
od: Кемени Дж.
Izdano: (Москва, Мир, 1965)
О математической логике и философии математики. Начальные сведения об основаниях математики: пер. с англ.
od: Ивс Г.
Izdano: (Москва, Знание, 1968)
od: Ивс Г.
Izdano: (Москва, Знание, 1968)
Математическая логика и теория алгоритмов: учебное пособие
od: Гурова Л. М. Любовь Михайловна
Izdano: (Москва, Изд-во МГГУ, 2006)
od: Гурова Л. М. Любовь Михайловна
Izdano: (Москва, Изд-во МГГУ, 2006)
Основы дискретной математики: учебное пособие
od: Горбатов В. А. Вячеслав Афанасьевич
Izdano: (Москва, Высшая школа, 1986)
od: Горбатов В. А. Вячеслав Афанасьевич
Izdano: (Москва, Высшая школа, 1986)
Математика метаматематики: пер. с англ.
od: Расева Е. Елена
Izdano: (Москва, Наука, 1972)
od: Расева Е. Елена
Izdano: (Москва, Наука, 1972)
Математическая логика: учебное пособие
od: Ершов Юрий Леонидович
Izdano: (Москва, Наука, 1987)
od: Ершов Юрий Леонидович
Izdano: (Москва, Наука, 1987)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2023)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2023)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2022)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2022)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2021)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2021)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2024)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2024)
Дискретная математика: теория множеств и комбинаторный анализ. Сборник задач учебное пособие для вузов
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)
od: Пак В. Г. Вадим Геннадьевич
Izdano: (Москва, Юрайт, 2025)
Введение в математическую логику: учебное пособие
od: Колмогоров А. Н. Андрей Николаевич
Izdano: (Москва, Изд-во Московского ун-та, 1982)
od: Колмогоров А. Н. Андрей Николаевич
Izdano: (Москва, Изд-во Московского ун-та, 1982)
Популярная логика: общедоступный очерк логики предложений; пер. с пол.
od: Гжегорчик А. Анджей
Izdano: (Москва, Наука, 1979)
od: Гжегорчик А. Анджей
Izdano: (Москва, Наука, 1979)
Основы кибернетики. Математические основы кибернетики: учебное пособие
Izdano: (Москва, Высшая школа, 1974)
Izdano: (Москва, Высшая школа, 1974)
Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2021)
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2021)
Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2024)
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2024)
Дискретная математика. Теория однородных структур учебник для вузов
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2023)
od: Кудрявцев В. Б. Валерий Борисович
Izdano: (Москва, Юрайт, 2023)
Podobne knjige/članki
-
Теория непрерывных моделей: пер. с англ.
od: Кейслер Г. Дж. Говард Джером
Izdano: (Москва, Мир, 1971) -
Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1984) -
Введение в математическую логику: пер. с англ.
od: Мендельсон Э. Эллиот
Izdano: (Москва, Наука, 1976) -
Теория формальных языков: Вводный курс; пер. с англ.
od: Рейуорд-Смит В. Дж
Izdano: (Москва, Радио и связь, 1988) -
Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
od: Барендрегт Х. П. Хендрик Питер
Izdano: (Москва, Мир, 1985)