Публікація: Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов
Завантаження...
Дата
1989
Назва журналу
ISSN журналу
Назва тома
Видавництво
Вища школа
Анотація
Цель работы — теоретическое обоснование применения алгоритмов
минимизации алгебры логики, обобщенных на случай алгебры конечных предикатов, при введенной операции импликации
Опис
Ключові слова
проблемы бионики, алгебра конечных предикатов
Бібліографічний опис
Шабанов-Кушнаренко С. Ю. Алгоритмы канонической дизъюнктивной минимизации формул алгебры конечных предикатов / С. Ю. Шабанов-Кушнаренко, Н. Е. Шаронова, И. Ю. Шубин // Проблемы бионики : республ. межвед. науч.-техн. сб. – 1989. – Вып. 43. – С. 25–31.