Применение семантико-числовой спецификации формул алгебры логики для разработки цифровых схем на логическом уровне

Поляков, Г. А.; Лысых, В. В.

Применение семантико-числовой спецификации формул алгебры логики для разработки цифровых схем на логическом уровне

Дата публикации: 2015

Дата публикации в реестре: 2024-07-01T12:49:25Z

Аннотация:

Представлен подход решения задачи формализации разработки цифровых схем на логическом уровне с использованием семантико-числовой спецификации формул алгебры логики

Ключевые слова:
математика, алгебра, семантико-числовая спецификация, алгебра логики, цифровые схемы

Тип: Article