Логические языки спецификаций реагирующих информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0203РК00948
Регистрационный номер: 0103РК00123
Ключевые слова: Информационные системы, Информационно-поисковые языки, Языки спецификаций, Логические языки спецификаций,
Проанализированы формулы DC, выражающие свойство кусочной постоянности (finite variability). Доказана элиминация кванторов для теории упорядоченной группы вещественных чисел. Получена характеризация теорий без свойства конечной покрываемости над множеством (nfcp) в терминах обогащения одноместным предикатом. Решена проблема Циглера - Казановы.