Аркадий Закревский

При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995-1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке...

Издательство: Едиториал УРСС
Дата выхода: январь 2012

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

Издательство: Физматлит
Дата выхода: январь 2007

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

Издательство: Едиториал УРСС
Дата выхода: январь 2012

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

Издательство: Вектор
Дата выхода: июнь 2009

При проектировании логических EXOR-схем, содержащих элементы суммирования по модулю 2, возникают задачи оптимального представления булевых функций и систем полиномами Жегалкина и Рида-Маллера. Эта комбинаторная задача существенно усложняется в случае не полностью определенных булевых функций. В 1995--1997 гг. в Институте технической кибернетики НАН Беларуси были проведены исследования по разработке...

Издательство: URSS
Дата выхода: август 2004

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

Издательство: URSS
Дата выхода: август 2004

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

Издательство: Едиториал УРСС
Дата выхода: январь 2003