Реєстраційний номер
0401U001986, Кандидатська дисертація
На здобуття
к.т.н.
Дата захисту
30-05-2001
Статус
Захищена
Назва роботи
Методи застосування таблиць рішень у системах формального виводу і програмних комплексах
Здобувач
Самофалов Павло Леонідович,
Керівник Дюбко Геннадій Федорович
Опонент Горбенко Іван Дмитрович
Опонент Ситнікова Поліна Едуардівна
Установа, організація, у вченій раді якої відбудеться/відбувся захист
Харківський державний технічний університет радіоелектроніки
Опис
Дисертація присвячена методиці використання таблиць рішень (ТР) для уявлення знань і керування виводом у формальних системах. Розглянуто застосування ТР в експертних системах, в описі мови, керуванні виводом. Розроблено мовні засоби для формування і реалізації ТР, які м. б. використані для уявлення знань, керування виводом, специфікації програм. Реалізовано систему синтезу програм за ТР, застосований в автоматизованій банківській системі "Б2".
Дата реєстрації
2001-07-02
Додано/оновлено в НРАТ
2020-04-05 / 2026-06-30
