Структурные и алгоритмические свойства моделей полных теорий
Full Name of the work head: Омаров А.И.
Исполнители проекта: С.С.Заурбеков
: НИИ мех.и мат.при КазГУ
Inventory number: 0297РК00019
Registration number: 0194РК01208
Keywords: полные, теории, модели, свойства, эквивалентность, критерии,
Получены критерии логической эквивалентности мультипликативной и Р-формулы. Выяснены алгоритмические сложности некоторых семантических классов предложений, исследована минимальность простой модели.
