![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Рассматривается задача о конечной порожденности предполных классов монотонных функций k-значной логики. Найдено семейство частично упорядоченных множеств, таких, что соответствующие предполные классы монотонных функций k-значной логики являются конечно-порожденными.