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