Самофалов П. Л. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах : Автореф. дис... канд. техн. наук : 01.05.03 / П. Л. Самофалов; Харк. держ. техн. ун-т радіоелектрон. - Х., 2001. - 19 c. - укp.Розглянуто застосування таблиць рішень для представлення знань і керування виводом у формальних системах. Розроблено мовні засоби для формування та реалізації таблиць рішень, які можна використовувати за єдиною технологією для представлення знань, керування виводом, специфікації програм. Наведено основи побудови транслятора, який інтегрує таблицю рішень у сучасну мову програмування. Реалізовано програмний комплекс синтезу програм за таблицями рішень, застосований в автоматизованій інформаційній банківській системі "Б2". Індекс рубрикатора НБУВ: З973-018.011
Рубрики:
Шифр НБУВ: РА314153 Пошук видання у каталогах НБУВ Повний текст Автореферати дисертацій Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|