Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Сериков, Ю. А. (канд. техн. наук).
Механизм раскрытия кванторов по булевым переменным / Ю. А. Сериков // Автоматика и телемеханика. - N 10 (2005), С. 108-119. - Библиогр.: с. 119 (3 назв. )
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
раскрытие кванторов -- механизм раскрытия кванторов -- кванторы -- булевые переменные -- логические выражения -- преобразование логических выражений
Аннотация: Приводится описание алгебраической системы раскрытия кванторов, в которой применен покомпонентный метод раскрытия, совмещенный с развитым блоком теорем эквивалентных преобразований.
Сериков, Ю. А. (канд. техн. наук).
Механизм раскрытия кванторов по булевым переменным / Ю. А. Сериков // Автоматика и телемеханика. - N 10 (2005), С. 108-119. - Библиогр.: с. 119 (3 назв. )
| УДК |
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
раскрытие кванторов -- механизм раскрытия кванторов -- кванторы -- булевые переменные -- логические выражения -- преобразование логических выражений
Аннотация: Приводится описание алгебраической системы раскрытия кванторов, в которой применен покомпонентный метод раскрытия, совмещенный с развитым блоком теорем эквивалентных преобразований.
Страница 1, Результатов: 1