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