Позитивные графы и вычислимая сводимость на них как математические модели баз данных
Руководитель проекта: Калмурзаев Биржан Сеилханович
Исполнители проекта:
Организация: АО «Казахстанско-Британский технический университет»
Инвентарный номер: 0222РК00212
Регистрационный номер: 0120РК00517
Ключевые слова: Вычислимо перечислимые отношения эквивалентности,вычислимые нумерации,конструктивные алгебраические системы,позитивные графы,позитивные предпорядки
В результате исследований были установлены сложность индексных множеств для следующих классов предпорядков: отношения эквивалентности, линейные предпорядки, светлые и темные предпорядки, самополные предпорядки, а также supp-определимые предпорядки. Была установлена в классе арифметических предпорядков сложность отношения вычислимой сводимости позитивных эквивалентностей. А также были установлены достаточные условия для существования универсальных нумераций и универсальных степеней относительно вычислимой сводимости.