Знайдено документів: 1
Реєстраційний номер

0401U001986, Кандидатська дисертація

Назва роботи

Методи застосування таблиць рішень у системах формального виводу і програмних комплексах

Здобувач

Самофалов Павло Леонідович,

Керівник Дюбко Геннадій Федорович
Опонент Горбенко Іван Дмитрович
Опонент Ситнікова Поліна Едуардівна

На здобуття

к.т.н., 01.05.03, Математичне та програмне забезпечення обчислювальних машин і систем

Дата захисту

30-05-2001

Опис

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

Дисертація кандидатська
Методи застосування таблиць рішень у системах формального виводу і програмних комплексах
Самофалов Павло Леонідович. Методи застосування таблиць рішень у системах формального виводу і програмних комплексах : к.т.н. : спец.. 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем : захищена 2001-05-30; . Харківський державний технічний університет радіоелектроніки. – , 0401U001986.
Знайдено документів: 1

Оновлено: 2024-07-27


Роздрукувати цю сторінку