Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: 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      
1.

Вид документа : Однотомное издание
Шифр издания : 91255
Автор(ы) : Sudoplatov S. V.
Заглавие : Classification of countable models of complete theories. Р.1 : Monograph in two parts
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :326 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7: Б.ц.
УДК : 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.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91256
Автор(ы) : Sudoplatov S. V.
Заглавие : Classification of countable models of complete theories. Р.2 : Monograph in two parts
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :394 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7: Б.ц.
УДК : 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.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 47005
Автор(ы) : Акопьян В. А., Соловьев А. Н., Шевцов С. Н.
Заглавие : Методы и алгоритм определения полного набора совместимых материальных констант пьезокерамических материалов
Выходные данные : Ростов-на-Дону: Южный федеральный университет; Ростов-на-Дону: Издательство Южного федерального университета, 20082008
Колич.характеристики :144 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-0474-9: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): методика--пьезокерамический материал--расчет--технический модуль--упругость
Аннотация: Монография содержит описание нового теоретически обоснованного метода и алгоритма определения полного набора совместимых материальных констант пьезокерамики и усовершенствованной методики расчета ее технических модулей упругости на основе результатов теоретико-экспериментального анализа и идентификации различных мод колебаний электроупругих стержней и пластин. В дополнение к этому, на основе модифицированной методики определения пьезомодуля dзз в квазистатическом режиме установлены физические и геометрические ограничения на форму образцов, позволяющие рассчитать научно достоверные значения dзз пьезокерамики, и определены границы применимости этой методики. Предназначена для научных работников, аспирантов, инженеров и студентов, занятых исследованиями и техническими разработками в области экспериментальной механики, приборостроении и в других отраслях современной техники.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 93463
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика. В 2 частях. Ч.1 : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный университет, 2018
Колич.характеристики :99 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4437-0731-0, 978-5-4437-0730-3 (ч.1): Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Пособие предназначено для студентов математических факультетов, изучающих курс математической логики. Первая часть пособия посвящена формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 96015
Автор(ы) : Алаев П. Е., Максимова Л. Л.
Заглавие : Математическая логика : Учебное пособие для СПО
Выходные данные : Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2020
Колич.характеристики :98 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4488-0789-3, 978-5-4497-0450-4: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебраическая система--математическая логика--множество--предикат--формула
Аннотация: Учебное пособие включает разделы, посвященные формулам исчисления высказываний, исчислению секвенций, основам теории множеств, формулам исчисления предикатов и их семантике, связанной с алгебраическими системами. Учебное пособие предназначено для изучения дисциплин «Математическая логика и теория алгоритмов», «Дискретная математика с элементами математической логики», «Элементы математической логики» по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника», 10.00.00 «Информационная безопасность».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 99391
Автор(ы) : Александрова О. В.
Заглавие : Теория игр : Учебное пособие для студентов по направлению 38.03.01 «Экономика», профиль «Экономика предприятий» (образовательный уровень «Бакалавр»)
Выходные данные : Макеевка: Донбасская национальная академия строительства и архитектуры, ЭБС АСВ, 2020
Колич.характеристики :165 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): бескоалиционная игра--биматричная игра--динамическая игра--математика--матричная игра--экономическая ситуация
Аннотация: Данное пособие написано на основе чтения курса «Теория игр» студентам ГОУ ВПО «Донбасская национальная академия строительства и архитектуры» направления «Экономика». Изложены основные положения теории игр, рассмотрены методы решения и анализа основных типов игр. Каждый раздел содержит теоретические сведения, подкрепленные примерами. Для студентов, обучающихся по направлению подготовки «Экономика», а также всем, кто интересуется теорией игр.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 94981
Автор(ы) : Александровская Ю. П.
Заглавие : Классификация многомерных данных в экономике: дискриминантный анализ : Учебное пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2018
Колич.характеристики :80 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-2396-4: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): выборка--дискриминантный анализ--математический метод--статистика--экономика
Аннотация: Рассмотрены теоретические и практические вопросы проведения дискриминантного анализа многомерных данных. Каждая тема наряду с теоретическим материалом содержит методические рекомендации по выполнению лабораторных работ. Предназначено для студентов, обучающихся по направлению «Экономика». Подготовлено на кафедре бизнес-статистики и математических методов в экономике.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 79316
Автор(ы) : Альпина В. С., Альпина В. С., Бикмухаметова Д. Н., Веселова Л. В., Гурьянова Г. Б., Тюленева О. Н.
Заглавие : Линейное программирование. Транспортная задача. Дискретная математика. Теория вероятностей и математическая статистика : Учебное пособие
Выходные данные : Казань: Казанский национальный исследовательский технологический университет, 2017
Колич.характеристики :84 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7882-2189-2: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): высшая математика--дискретная математика--линейное программирование--математическая статистика--транспортная задача
Аннотация: Приведены краткие теоретические сведения для решения контрольных задач по спецглавам высшей математики. Проанализировано решение аналогичных задач, приведены контрольные задания. Предназначено для студентов заочной формы обучения, изучающих дисциплину «Математика». Подготовлено на кафедре высшей математики.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 69977
Автор(ы) : Атяскина Т. В.
Заглавие : Элементы математической логики : Практикум
Выходные данные : Оренбург: Оренбургский государственный университет, ЭБС АСВ, 2016
Колич.характеристики :98 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7410-1410-3: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): алгебра--задание--задача--логика--математика--множество
Аннотация: В практикуме рассмотрены теоретическая справка, примеры решения типовых задач и задания практических работ по разделам: Алгебра высказываний, Множества, Логика предикатов. Практикум предназначен для студентов, обучающихся по программе среднего профессионального образования по специальностям 09.02.03 «Программирование в компьютерных системах», 09.02.04 «Информационные системы (по отраслям)».
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 47123
Автор(ы) : Афонин А. А., Афонин А. А., Бокарева Т. А., Бородицкий М. П., Гадельшин В. К., Зуев В. Н., Каибханов К. Э., Камышникова Т. В., Клово А. Г., Кодачигова Л. К., Мархель Э. Г., Нестерова Г. Г., Никитина А. В., Ольховой А. Ф., Орехов Б. И., Сапунцов Н. Е., Саркисов Г. С., Семенистый В. В., Сидоренко Б. В., Суховерхова Н. И., Фирсов И. П., Фомин Ю. Т., Цирулик В. Г.
Заглавие : Сборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть IСборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть I: Учебное пособие: Учебное пособие. Сборник заданий к типовым расчетам и контрольным работам по математическим дисциплинам. Часть I
Выходные данные : : Южный федеральный университет: Издательство Южного федерального университета Б.м., 2009
Колич.характеристики :544 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9275-0666-8: Б.ц.
УДК : 510
ББК : 22.1
Ключевые слова (''Своб.индексиров.''): математика--векторная алгебра--аналитическая геометрия--линейная алгебра
Аннотация: Сборник содержит задачи стандартного курса высшей математики для студентов технических и экономических специальностей. В 12 разделах пособия содержится около 6 000 задач. В начале каждой главы приводится сводка теоретических положений, определений и формул, а также дается подробное решение типичных задач, входящих в варианты. Пособие рекомендуется для студентов и преподавателей технических и экономических вузов, может быть использовано как для очной, а так и для заочной и дистанционной форм обучения. Сборник заданий подготовлен в рамках межвузовской комплексной программы «Наукоемкие технологии образования».
(для доступа требуется авторизация)

Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 09.07.2024
Число запросов 0
Число посетителей 0
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)