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