Кудрявцев Валерий Борисович

В книге излагаются основные разделы дискретной математики, связанные с логикой и ее приложениями, именуемые алгеброй логики. Она содержит 4 раздела: Алгебра высказываний, Исчисление высказываний, Минимизация булевых функций и Алгебры булевых функций. Изложение ведется в традиционной манере и использует современный алгебро-логический язык подачи материала. Книга рассчитана на...

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

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

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

Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Для...

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