Тестирование логических устройств - активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро - и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции K-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
7 марта, в преддверии Международного женского дня, в клубе А2 0горячие балканские парни Эмир Кустурица & The No Smoking Orchestra. В программе задорные ритмы фолк-рока, лихие пляски (только для девушек!) на одной сцене с дважды лауреатом [Золотой пальмовой ветвиk и, конечно же, шоу от участников группы.