Логические языки спецификаций программ реагирующих систем
Руководитель проекта: Байжанов Б.С.
Исполнители проекта: Б.Ш.Кулпешов
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0299РК00228
Регистрационный номер: 0197РК00327
Ключевые слова: реагирующие, системы, программы, спецификации, логический, язык,
Сформулированы общие условия на область определения баз данных, гарантирующие результат сводимости. Найдены критерии определимости типов над моделями в слабо-о-минимальных теориях и неразличимости множества реализаций произвольного 1-типа в счетно категоричных слабо-о-минимальных теориях. Описаны счетно категоричные почти-о-минимальные теории ранга выпуклости 1 и квази-о-минимальные линейные порядки. Построен класс примеров неравномерно слабо-о-минимальных обогащений полной абелевой упорядоченной группы.