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

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

---

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

• Самофалов Павло Леонідович (фізико-математичні науки)

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