Система синтезу формул алгебри алгоритмів
Розроблено математичне забезпечення процесу генерування предметних унітермів формул алгебри алгоритмів. Виконано аналіз особливостей побудови формул алгебри алгоритмів, у результаті якого виявилось, що сьогодні підсистеми з реалізацією процесів генерування пред- метних унітермів на основі абстрактних унітермів з подальшою адаптацією формул не реалізовано в відомих системах, що і спонукало до здійснення інтелектуального аналізу генерування предметних унітермів формул алгебри алгоритмів.