Сводный каталог книг

[Текст] : монография / Э.Э. Гасанов, В.Б. Кудрявцев. - Москва : Физматлит, 2002. - 288 с. : ил. - Библиогр.: с. 269-281. - Предм. указ.: с. 282-283. - ISBN 5-9221-0235-4 : 211.50 р.

УДК

519.71

ББК З973.2-018.22

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кудрявцев, Валерий Борисович
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[] : Монография / В.Б. Кудрявцев и др. ; Под ред. В.А. Садовничего. - Москва : Физматлит, 2006. - 160 с. : ил., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 : 175.00 р.

УДК

519.7^V3

ББК В18

Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кудрявцев, Валерий Борисович; Гасанов, Эльяр Эльдарович; Долотова, Оксана Александровна; Погосян, Грант Рафаелович; Садовничий, В.А. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Монография / В.Б. Кудрявцев, А.Е. Андреев, Э.Э. Гасанов. - Москва : Физматлит, 2007. - 320 с. - Библиогр.: с. 317-320. - ISBN 978-5-9221-0872-0 : 306.10 р.

УДК

004.8^V3

ББК В18 + З973.26-018.2

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

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Андреев, Александр Егорович; Гасанов, Эльяр Эльдарович
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : учебное пособие / В. Б. Кудрявцев [и др.] ; под ред. В. А. Садовничего. - Москва : ФИЗМАТЛИТ, 2006. - 156, [4] с. : рис., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 (в пер.) : 136.62 р.ББК В18

Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.


Доп.точки доступа:
Кудрявцев, Валерий Борисович; Гасанов, Эльяр Эльдарович; Долотова, Оксана Александровна; Погосян, Грант Рафаелович; Садовничий, В. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)