Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...

Статьи Чертежи Таблицы О сайте Реклама

[<< Стр.]    [Стр. >>]

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

[<< Стр.]    [Стр. >>]

ПОИСК



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

[Выходные данные]

© 2025 Mash-xxl.info Реклама на сайте