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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

Найдено в других БД:

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

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

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

Поисковый запрос: (<.>U=510<.>)

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

1-10 11-20 21-30 31-40 41-50 51-60

IPRBooks-91255

91255

Sudoplatov, S. V.
Classification of countable models of complete theories. Р.1 [Электронный ресурс] : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 326 с. - ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
алгебра -- математическая логика -- полная теория -- семантическая модель -- счетная модель
Аннотация: The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-91256

91256

Sudoplatov, S. V.
Classification of countable models of complete theories. Р.2 [Электронный ресурс] : monograph in two parts / Sudoplatov S. V. - Новосибирск : Новосибирский государственный технический университет, 2018. - 394 с. - ISBN 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
гиперграф -- задача -- математическая логика -- полная теория -- предельная модель -- счетная модель
Аннотация: The book is the second part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the book, generic Ehrenfeucht theories and realizations of Rudin–Keisler preorders are considered as well as a solution of the Goncharov–Millar problem on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous, stable Ehrenfeucht theories solving the Lachlan problem, hypergraphs of prime models, distributions of countable models of small theories, and distributions of countable models of theories with continuum many types. The book is intended for specialists interested in Mathematical Logic.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-47005

47005

Акопьян, В. А.
Методы и алгоритм определения полного набора совместимых материальных констант пьезокерамических материалов [Электронный ресурс] / Акопьян В. А. - Ростов-на-Дону : Южный федеральный университет, 2008 ; Ростов-на-Дону : Издательство Южного федерального университета, 2008. - 144 с. - ISBN 978-5-9275-0474-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
методика -- пьезокерамический материал -- расчет -- технический модуль -- упругость
Аннотация: Монография содержит описание нового теоретически обоснованного метода и алгоритма определения полного набора совместимых материальных констант пьезокерамики и усовершенствованной методики расчета ее технических модулей упругости на основе результатов теоретико-экспериментального анализа и идентификации различных мод колебаний электроупругих стержней и пластин. В дополнение к этому, на основе модифицированной методики определения пьезомодуля dзз в квазистатическом режиме установлены физические и геометрические ограничения на форму образцов, позволяющие рассчитать научно достоверные значения dзз пьезокерамики, и определены границы применимости этой методики. Предназначена для научных работников, аспирантов, инженеров и студентов, занятых исследованиями и техническими разработками в области экспериментальной механики, приборостроении и в других отраслях современной техники.

(для доступа требуется авторизация)

Доп.точки доступа:
Соловьев, А. Н.; Шевцов, С. Н.
Свободных экз. нет
Найти похожие

IPRBooks-93463

93463

Алаев, П. Е.
Математическая логика. В 2 частях. Ч.1 [Электронный ресурс] : учебное пособие / Алаев П. Е. - Новосибирск : Новосибирский государственный университет, 2018. - 99 с. - ISBN 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1) : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.

(для доступа требуется авторизация)

Доп.точки доступа:
Максимова, Л. Л.
Свободных экз. нет
Найти похожие

IPRBooks-96015

96015

Алаев, П. Е.
Математическая логика [Электронный ресурс] : учебное пособие для СПО / Алаев П. Е. - Саратов, Москва : Профобразование, Ай Пи Ар Медиа, 2020. - 98 с. - ISBN 978-5-4488-0789-3, 978-5-4497-0450-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
алгебраическая система -- математическая логика -- множество -- предикат -- формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».

(для доступа требуется авторизация)

Доп.точки доступа:
Максимова, Л. Л.
Свободных экз. нет
Найти похожие

IPRBooks-99391

99391

Александрова, О. В.
Теория игр [Электронный ресурс] : учебное пособие для студентов по направлению 38.03.01 «Экономика», профиль «Экономика предприятий» (образовательный уровень «Бакалавр») / Александрова О. В. - Макеевка : Донбасская национальная академия строительства и архитектуры, ЭБС АСВ, 2020. - 165 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
бескоалиционная игра -- биматричная игра -- динамическая игра -- математика -- матричная игра -- экономическая ситуация
Аннотация: Данное пособие написано на основе чтения курса «Теория игр» студентам ГОУ ВПО «Донбасская национальная академия строительства и архитектуры» направления «Экономика». Изложены основные положения теории игр, рассмотрены методы решения и анализа основных типов игр. Каждый раздел содержит теоретические сведения, подкрепленные примерами. Для студентов, обучающихся по направлению подготовки «Экономика», а также всем, кто интересуется теорией игр.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-94981

94981

Александровская, Ю. П.
Классификация многомерных данных в экономике: дискриминантный анализ [Электронный ресурс] : учебное пособие / Александровская Ю. П. - Казань : Казанский национальный исследовательский технологический университет, 2018. - 80 с. - ISBN 978-5-7882-2396-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
выборка -- дискриминантный анализ -- математический метод -- статистика -- экономика
Аннотация: Рассмотрены теоретические и практические вопросы проведения дискриминантного анализа многомерных данных. Каждая тема наряду с теоретическим материалом содержит методические рекомендации по выполнению лабораторных работ. Предназначено для студентов, обучающихся по направлению «Экономика». Подготовлено на кафедре бизнес-статистики и математических методов в экономике.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-79316

79316

Альпина, В. С.
Линейное программирование. Транспортная задача. Дискретная математика. Теория вероятностей и математическая статистика [Электронный ресурс] : учебное пособие / Альпина В. С. - Казань : Казанский национальный исследовательский технологический университет, 2017. - 84 с. - ISBN 978-5-7882-2189-2 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

(для доступа требуется авторизация)

Доп.точки доступа:
Бикмухаметова, Д. Н.; Веселова, Л. В.; Гурьянова, Г. Б.; Тюленева, О. Н.
Свободных экз. нет
Найти похожие

IPRBooks-69977

69977

Атяскина, Т. В.
Элементы математической логики [Электронный ресурс] : практикум / Атяскина Т. В. - Оренбург : Оренбургский государственный университет, ЭБС АСВ, 2016. - 98 с. - ISBN 978-5-7410-1410-3 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

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

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

10.

IPRBooks-47123

47123

Сборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть IСборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть I [Электронный ресурс] : учебное пособие : учебное пособие. - [Б. м.] : Южный федеральный университет : Издательство Южного федерального университета, 20092009 - . - ISBN 978-5-9275-0666-8. - ISBN 978-5-9275-0666-8.Сборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть I / Афонин А. А. - 2009. - 544 с. - ISBN 978-5-9275-0666-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510

ББК 22.1

Кл.слова (ненормированные):
математика -- векторная алгебра -- аналитическая геометрия -- линейная алгебра
Аннотация: Сборник содержит задачи стандартного курса высшей математики для студентов технических и экономических специальностей. В 12 разделах пособия содержится около 6 000 задач. В начале каждой главы приводится сводка теоретических положений, определений и формул, а также дается подробное решение типичных задач, входящих в варианты. Пособие рекомендуется для студентов и преподавателей технических и экономических вузов, может быть использовано как для очной, а так и для заочной и дистанционной форм обучения. Сборник заданий подготовлен в рамках межвузовской комплексной программы «Наукоемкие технологии образования».

(для доступа требуется авторизация)

Доп.точки доступа:
Бокарева, Т. А.; Бородицкий, М. П.; Гадельшин, В. К.; Зуев, В. Н.; Каибханов, К. Э.; Камышникова, Т. В.; Клово, А. Г.; Кодачигова, Л. К.; Мархель, Э. Г.; Нестерова, Г. Г.; Никитина, А. В.; Ольховой, А. Ф.; Орехов, Б. И.; Сапунцов, Н. Е.; Саркисов, Г. С.; Семенистый, В. В.; Сидоренко, Б. В.; Суховерхова, Н. И.; Фирсов, И. П.; Фомин, Ю. Т.; Цирулик, В. Г.
Свободных экз. нет
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

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

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

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

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