Зведений каталог бібліотек Харкова
Челноков, С. Г. Трансформационный подход к верификации логических программ [Текст] / Московский государственный институт электроники и математики, г.Москва, Россия // Приборы и системы. Управление, контроль, диагностика : Научно-технический и производственный журнал. — М. : Научтехлитиздат, 2010. — С. 16-21.
- Анотація:
В данной статье рассматривается трансформационный подход, использующий алгебру логики первого порядка, для решения задачи верификации логических программ экспертными обучающими системами. Статья даёт формальное описание и примеры применения алгоритмов, рассмотренных в статье [1]. Ключевые слова: верификация, логическая программа, трансформационный подход, язык логического программирования Пролог, автоматизированные обучающие системы.
- Є складовою частиною документа:
Приборы и системы. Управление, контроль, диагностика [Текст] : Научно-технический и производственный журнал // Приборы и системы. Управление, контроль, диагностика - М. : Научтехлитиздат. — М. : Научтехлитиздат, 2010.
- Теми документа
