Разработка и исследование логических методов моделирования поведения сложных систем
Руководитель проекта: Кулпешов Б.Ш.
Исполнители проекта: Вербовский В.В.
Организация: Институт проблем информатики и управления
Инвентарный номер: 0212РК01073
Регистрационный номер: 0112РК00318
Ключевые слова: Поведение сложных систем, Математическая логика, Алгебраические категории,
Доказана сводимость расширенных запросов к ограниченным над вполне о-минимальной областью определения баз данных, с конечным рангом выпуклости. Доказано, что расширенные запросы эквивалентны ограниченным над любой квази циклически о-минимальной областью определения. Исследованы упорядоченно стабильные группы, диаграммы классов исчисления длительности.