Пынько, А. П. Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства / А. П. Пынько> // Доповіді Національної академії наук України. - 2011. - № 9. - С. 36-41. - Библиогр. в конце ст. - В ОБЛ. БИБЛИОТЕКЕ . - ISSN 1025-6415
Рубрики: Математика Общие вопросы математики Математика Загальні питання математики Кл.слова (ненормовані): информатика -- інформатика -- сквенциальные исчисления -- сквенціальні обчислення -- конечнозначные логики -- скінечнозначні логіки -- определители равенства -- визначники рівності -- минимизация числа -- мінімізація числа Анотація: Предложено эффективную процедуру минимизации числа посылок правил введения секвенциальных исчислений для предложенных конечнозначных логик с определителем равенства. Немає відомостей про примірники (Джерело у БД не знайдене) |