Разработка логических исчислений, описывающих поведение информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0209РК01344
Регистрационный номер: 0109РК00718
Ключевые слова: Математическая логика,
Построена интерпретация оператора конкатенации в логике первого порядка на основе упорядоченной делимой абелевой группы с двумя архимедовыми классами. Предложены методы логической формализации языка спецификаций UML. Исследованы свойства упорядоченных структур и конструктивных нильпотентных R[p]-групп без кручения.