|
ВИДЕОТЕКА |
Международная школа-семинар "Синтаксис и семантика логических систем"
|
|||
|
Алгоритм минимизация мультопераций в классе ключевых стандартных форм С. И. Тодиков Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В. И. Ульянова (Ленина) |
|||
Аннотация: В работе рассматривается вопрос минимизации мультиопераций в классе ключевых стандартных форм. В основе работы лежит разработанный алгоритм минимизации мультиопераций для |