Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Судоплатов, С. В.$<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Вид документа : Однотомное издание
Шифр издания : 91735
Автор(ы) : Судоплатов С. В.
Заглавие : Классификация счётных моделей полных теорий в 2 частях. Ч.1 : Монография
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :376 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6: Б.ц.
УДК : 510.67
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): ациклический граф--генерическая конструкция--детерминированный моноид--классификация моделей--конструкция хрушовского--математическая логика--полная теория--счётная модель--теория моделей--характеризация эренфойхтовости
Аннотация: Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т.е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т.е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 91736
Автор(ы) : Судоплатов С. В.
Заглавие : Классификация счётных моделей полных теорий в 2 частях. Ч.2 : Монография
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :452 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6: Б.ц.
УДК : 510.67
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): генерическая теория--классификация моделей--математическая логика--полная теория--предпорядок рудин-кейслера--предранговая функция--проблема гончарова-миллара--проблема лахлана--счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 91617
Автор(ы) : Судоплатов С. В., Овчинникова Е. В.
Заглавие : Дискретная математика : Учебник
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :280 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2820-7: Б.ц.
УДК : 519.1
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра логики--булева алгебра--дискретная математика--комбинаторика--компьютерная алгебра--логическая задача--система счисления--теория графов--теория множеств--числовая система
Аннотация: В книге излагаются основы теории множеств, алгебраических систем, компьютерной арифметики, теории графов, комбинаторики, алгебры логики, которые образуют курс дискретной математики. Для студентов технических вузов, изучающих дискретную математику. Может служить справочным пособием по дискретной математике.
(для доступа требуется авторизация)

Тематический навигатор

Статистика обращений

Статистика за 01.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)