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