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