Электронный каталог

Закревский, Аркадий Дмитриевич.
    Логические уравнения с приложениями в автоматизированном проектировании и управлении [Текст] / А. Д. Закревский. // Автоматика и телемеханика : научно-технический журнал. - Москва : Наука,. - 2004. - №4. - Библиогр.: с. 183-184 ( 22 назв. ). - Часть текста на англ. яз.

Кл.слова (ненормированные):
уравнения -- логические переменные -- логические уравнения -- эксперименты -- переменные -- компьютерные эксперименты -- редукция -- константы -- булевые функции -- большие системы -- БСЛУ -- большие системы логических уравнений -- дерево поиска -- перебор уравнений -- перебор аргументов -- редукционные методы -- распространение констант -- метод силлогизмов -- таблицы -- локальная редукция
Аннотация: Описываются новые редукционные методы решения больших систем логических уравнений. Приводится их анализ и результаты компьютерных экспериментов.