Теория тестирования логических устройств

Тестування логічних пристроїв - науково-прикладний напрямок кібернетики, що активно розвивається, що виник у середині минулого століття. Воно по праву пов'язують із ім'ям С.В.Яблонского. Тематика напряму групується навколо задач характеризації тестів та їх побудови та фокусується на пристроях, представлених на макро- та структурному рівнях. У книзі ця тематика розкривається моделі логічного устрою у його макровиде. Вирішуються завдання опису складності тестів для пристроїв, що реалізують булеві функції класів Посту, а також функції K-значної логіки. Наведено відповідні процедури побудови таких тестів.
Для студентів, аспірантів та фахівців у галузі надійності та контролю керуючих систем.