Книги

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

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

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

Книга содержит развернутое введение в теорию булевых функций. Изложены основные свойства булевых функций и доказан критерий функциональной полноты. Приведено описание всех замкнутых классов булевых функций (классов Поста) и дано новое доказательство их ...

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

Книга посвящена теории сложности алгоритмов в той ее части, где речь идет о противостоянии P- и NP-задач. В резонанс с проблемой "P против NP" входит обширная тематика: комбинаторные задачи на графах, неразрешимые проблемы теории алгоритмов, криптография, ...

Изложены решения задач теории графов. Даны описания основных алгоритмов на графах и тексты более 30 программ. Приведены алгоритмы теории искусственного интеллекта (муравьиный алгоритм и метод отжига) для решения задачи коммивояжера. Предметно-именной ...

В монографии рассматривается синтез линейных непрерывных и дискретных систем автоматического управления методом желаемых передаточных функций (ЖПФ). Приводится как сам алгоритм синтеза, так и способ определения ЖПФ по заданным показателям качества: времени...

Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки, булевы алгебры, алгебраические системы - являются рабочим...

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

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

Справочник содержит обзор важнейших одномерных дискретных распределений теории вероятностей и математической статистики, анализ их основных свойств и методов применения их в теории и практике. Он будет полезен преподавателям вузов, аспирантам и студентам, ...

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

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

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

В основу настоящего учебника положен годовой курс лекций, разработанный автором и читаемый им на протяжении ряда лет в МГУ на кафедре системного анализа факультета ВМК и в РУДН на кафедре системного анализа и оптимизации. Допущено УМО по классическому ...

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

Учебное пособие содержит как традиционные разделы дискретной математики, такие как введение в теорию графов, нормальные формы логических функций и синтез комбинационных схем, конечные автоматы, так и нетрадиционный раздел — алгебраические и теоретико-...

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

В книге представлено описание разработанного автором пакета прикладных программ "Логическая система "Искра", обобщающего многолений опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения "решателя...