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