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