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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Процай Наталія Тимофіївна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"