Теория тестирования логических устройств
Book information
Description
Тестирование логических устройств — активно развивающееся научноприкладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Similar books
Введение в дискретную теорию информации и кодирования
2011 · PDF
Линейно-алгебраический метод в комбинаторике
2007 · PDF
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
2008 · PDF
Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления
2008 · PDF
Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств
2008 · PDF
Дискретная математика и математическая логика в задачах государственных экзаментов по математике в ОмГУ: учебное пособие
2016 · PDF
Математическая логика: учебное пособие
2016 · PDF
Введение в теорию алгоритмов и структур данных
2016 · PDF