Визначення системи загальних тотожностей для кванторної алгебри предикатних операцій. Розроблення методів композиції та декомпозиції за набором змінних моделей та математичної моделі і відповідної логічної обчислювальної мережі відмінювання прикметників.
Аннотация к работе
Дисертацією є рукопис. Робота виконана на кафедрі програмного забезечення ЕОМ Харківського національного університету радіоелектроніки Міністерство освіти і науки, молоді та спорту України, м. Харків. Захист відбудеться “23” червня 2011 р. о 14.30 годині на засіданні спеціалізованої вченої ради Д 64.050.07 в Національному технічному університеті «Харківський політехнічний інститут» за адресою: 61002, м. Процай Н. Т. Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій.