Например, Бобцов

ИМПЛИКАЦИЯ И ЭКВИВАЛЕНТНОСТЬ КАК ОСНОВА ВЕРИФИКАЦИИ

Аннотация:

Рассматривается использование функций импликации и эквивалентности при верификации логических схем и программного продукта в процессе их проектирования и реализации.

Читать текст статьи

Ключевые слова:

Статьи в номере