Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

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

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

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

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

Поисковый запрос: (<.>KL=НЕПРЕРЫВНАЯ ЛОГИКА<.>)

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

Левин, В. И.
Логические методы в теории надежности сложных систем [Текст] : монография / В. И. Левин ; Пензенская гос. технол. акад. - Пенза : ПГТА, 2010. - 139 с. : табл. ; 20 см. - (Система открытого образования). - Библиогр.: с. 134-136 (33 назв.). - ISBN 978-5-98903-138-2 : 184.00 р.

ГРНТИ	50.47
УДК	681.51

ББК 32.817

Рубрики: Автоматика--Сложные системы

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АППАРАТ -- НЕПРЕРЫВНАЯ ЛОГИКА -- ДИСКРЕТНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКИЕ МОДЕЛИ -- НАДЕЖНОСТЬ СИСТЕМ -- ЛОГИЧЕСКИЕ ОПРЕДЕЛИТЕЛИ -- ТЕХНИЧЕСКИЕ СИСТЕМЫ
Аннотация: Разработана математическая модель надежности сложных технологических систем, пригодная для создания эффективных и экономических методов количественного изучения надежности таких систем. модель является динамико-автоматной моделью, описывающей надежностные процессы в технологических системах в виде функций от надежностных процессов в элементах этих систем. Также разработан математический аппарат непрерывной логики и логических определителей, позволяющий адекватно описывать созданную динамико-автоматную модель надежностных процессов в технических системах соответственно малой и большой сложности. Благодаря этому стало возможным практическое моделирование, расчет, анализ и синтез надежности указанных систем. разработанный аппарат является обобщением на непрерывный случай булевой логики.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

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

Левин, В. И.
Структурно-логические методы в теории расписаний [Текст] : монография / В. И. Левин ; Федер. агентство по образованию, Пензенская гос. технол. акад. - Пенза : Изд-во Пенз. гос. технол. акад., 2006. - 176 с. ; 20 см. - (Система открытого образования). - Библиогр.: с. 167-173 (95 назв.). - ISBN 5-98903-022-7 : 95.00 р.

ГРНТИ	27.47
УДК	519.7

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
МАТЕМАТИЧЕСКИЙ АППАРАТ -- НЕПРЕРЫВНАЯ ЛОГИКА -- ЛОГИЧЕСКИЕ ОПРЕДЕЛИТЕЛИ -- КОНВЕЙЕРНЫЕ СИСТЕМЫ -- ТЕОРИЯ РАСПИСАНИЙ
Аннотация: В монографии дан обстоятельный обзор основных результатов в теории расписаний, полученных с помощью математического аппарата непрерывной логики и логических определителей. Подробно излагается указанный аппарат и его применение к решению следующих задач: расчет характеристик быстродействия и загрузки систем, состоящих из последовательно соединенных блоков и получающих на входе совокупность работ, выполняемых затем в этих блоках; анализ характеристик быстродействия и загрузки систем при варьировании временных параметров работ в системе при постоянном порядке прохождения работ через все блоки; расчет характеристик быстродействия и планирование оптимального расписания выполнения работ в системе при допустимости изменения порядка прохождения работ в системе при допустимости изменения порядка прохождения работ при переходе от одного блока к другому.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

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

Левин, В. И.
Логико-математические методы в технических, гуманитарных и общественных науках [Текст] : монография / В. И. Левин ; Пензенский гос. техн. ун-т. - Пенза : ПензГТУ, 2014. - 384 с. : ил. ; 20 см. - (Система открытого образования). - Библиогр. в конце глав. - ISBN 978-5-98903-213-6 : 200.00 р.

ГРНТИ	27.03
УДК	510.6

ББК 22.1

Рубрики: Математика--Математическая логика

Кл.слова (ненормированные):
ЛОГИКО-МАТЕМАТИЧЕСКИЕ МЕТОДЫ -- НЕПРЕРЫВНАЯ ЛОГИКА -- АВТОМАТНО-ЛОГИЧЕСКАЯ ТЕОРИЯ -- ЛОГИКА МЫШЛЕНИЯ -- ДИНАМИЧЕСКИЕ ПРОЦЕССЫ -- БИБЛЕЙСКАЯ КРИТИКА
Аннотация: Изложен математический аппарат непрерывной логики и методика его применения к решению различных задач в технике, естественных, гуманитарных и общественных наук.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

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

Кейслер, Г. Дж.
Теория непрерывных моделей [Текст] / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина = Continuous model theory / Chung Chang Chen and H. J. Keisler : монография. - М. : Изд-во "Мир", 1971. - 184 с. : ил. ; 20 см. - Библиогр.: с. 173-177. - 0.53 р.
Тит. л. парал. на англ. яз.

ГРНТИ	27.23
УДК	517

Рубрики: Математика--Анализ

Кл.слова (ненормированные):
НЕПРЕРЫВНАЯ ЛОГИКА -- ТЕОРИЯ МОДЕЛЕЙ -- ЭКВИВАЛЕНТНЫЕ МОДЕЛИ -- УЛЬТРАПРОИЗВЕДЕНИЯ МОДЕЛЕЙ -- СПЕЦИАЛЬНЫЕ МОДЕЛИ -- АЛГЕБРАИЧЕСКИЕ ОТНОШЕНИЯ
Аннотация: Небольшая монография, посвященная теории классов моделей - области математической логики, интенсивно развивавшейся в течение последних 10-15 лет. Содержание монографии - обобщение теории моделей на случай произвольного пространства истинности. Такого рода модели сейчас широко используются в математике. Для чтения книги требуются лишь знание основ топологии и теории множеств и элементарные сведения по математической логике. Изложение сопровождается упражнениями и задачами.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Чэн Чень-чунь, Chen Chung Chang
Бурле, Г. А.
Драгалин, А. Г.
Найти похожие

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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