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

Оновлено: 2026-03-16


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