ПОИСК Статьи Чертежи Таблицы Другие примеры дедуктивных систем, используемых при функционально-логическом проектировании дискретных устройств,— исчисление предикатов или > -исчисление. Исчисления могут служить основой не только структурного синтеза, но и структурной верификации, цель которой — установление функциональной эквивалентности объектов, представленных двумя сопоставляемыми описаниями. [Выходные данные]