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