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