Теория моделей и спецификаций информационных систем
Руководитель проекта: Омаров А.И.
Исполнители проекта: А.И.Омаров
Организация: Ин-т пробл.информат.и упр.
Инвентарный номер: 0297РК00043
Регистрационный номер: 0196РК00971
Ключевые слова: модели, спецификация, теория, методика, язык, программирование, информационные, системы,
Создана методика формального описания синтаксиса и семантики продукционного языка программирования. Разработан язык спецификации цифровых систем для описания поведения и структуры цифровых систем. Найден способ формализации истинности формул ТLА в моделях логики предикатов первого порядка. Получено описание малых о-минимальных теорий. Доказаны фундаментальные теоремы о слабо о-минимальных счетно-категоричных теориях.