Тихомирова Л.С. Методы минимизации булевых функций

Учебное пособие — М.: Физматлит, 2005. — 416 с. — ISBN 5-9221-0477-2. В пособии включены задачи и упражнения по конечнозначным логикам (в т.ч. и по алгебре логики), по теории алгоритмов, теории графов и сетей, теории кодирования, комбинаторике, минимизации булевых функций и синтезу схем и формул, реализующих булевы функции. Имеются задачи, предназначенные для первоначальной...

Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы,...

М.: Академия, 2007. — 304 с. — ISBN 5-7695-3728-0. Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах:...

Данная программа призвана облегчить минимизацию булевой функции методом карт Карно

Учеб. для вузов по спец. ЭВМ. - М.: Высш. шк., 1987. 272 с. - ил. В книге излагаются способы представления информации в цифровых автоматах, методы выполнения арифметических и логических операций в них, а также методы логического описания и основанные на них методы логического проектирования цифровых устройств. Уделяется внимание разработке способов контроля правильности...

2-е изд., перераб. и доп. — М.: Наука, 1986. — 384 с. Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. Она написана на основе курса лекций, который автор читал в течение ряда лет на факультете вычислительной математики и кибернетики Московского государственного...