Усенко В.В. Эффективный матричный инструмент логики

Учебное пособие. — Москва : МЭИ, 2009. — 63 с. — ISBN 978-5-383-00293-3Пособие содержит описание универсальной логической функции для эффективной работы с логическими системами и методы для проведения формализованных решений логических задач без визуализации промежуточных результатов. Приводятся эффективные методы оперирования булевыми матрицами, описание вновь разработанных матричных операций и матричный вариант реализации формулы Мейсона для решения сигнальных графов.
Предназначено для студентов, обучающихся по специальности 220301 «Автоматизация технологических процессов и производств» направления «Теплоэнергетика», а также для сотрудников, занимающихся проектированием решений задач на ЭВМ.