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