Алгебры на индикаторах $k$-булеанах множеств
А. Е. Баранович Тверской государственный университет
Аннотация:
Исследуется изоморфизм алгебр на
$k$-булеанах множеств в аксиоматике
$ZFU$ и соответствующего им
$k$-гиперпространства индикаторов над
$[GF (2)]$. Оценивается сложность решения задач поиска в
$k$-булеанах множеств. Полученные результаты проецируются на модель
$k$-гиперпространства семиотикохроматических гипертопографов в аксиоматической системе
$[G(1)]$. Последняя положена в основу вычислительной архитектуры eмкостного паракомпьютера управления знаниями интеллектуальной системы.
Ключевые слова:
алгебр морфизмы, алгоритмов сложность eмкостная, алгоритмов сложность операционная, гипертопографы семиотикохроматические, графов теории обобщения, графов теории однообъектная парадигма, знаниями управление, множеств индикаторы, множеств (-носителей)
$k$-топологизация, множеств
$k$-булеан, множеств
$k$-булеанов индикаторы, паракомпьютер eмкостной, поиск на множествах, системы интеллектуальные, топологии дискретные с конечным носителем,
$k$-гиперпространство булево.