Теория конечных моделей с малым числом базисных отношений
Руководитель проекта: Калимолдаев М.Н.
Исполнители проекта: Нуртазин А.Т., Хисамиев З.Г.
Организация: Институт информационных и вычислительных технологий
Инвентарный номер: 0215РК01468
Регистрационный номер: 0115РК00555
Ключевые слова: множества*формулы отношения*база знаний*теория конечных моделей
Введены в теории моделей новые понятия компаньон, компаньон-теория и компаньон-класс на основе которых получены новые результаты нового раздела теории моделей. Построен концептуальный граф значительного логически замкнутого фрагмента Конституции Республики Казахстан с последующим преобразованием его в теорию исчисления предикатов и теорию аксиоматизируемую хорновыми предложениями.