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