Н. А. Вершинина, “Корректность и полнота конструктивной теории, содержащей ресурсы”, Вестн. Удмуртск. ун-та. Матем., 2007, выпуск 1,страницы 235

ИНФОРМАТИКА

Корректность и полнота конструктивной теории, содержащей ресурсы

Н. А. Вершинина

Удмуртский государственный университет, г. Ижевск

Аннотация: Предлагается логический подход к формальному описанию предметной области систем планирования. Доказана корректность и полнота построенной конструктивной теории, содержащей ресурсы.

Ключевые слова: конструктивная теория, реализационная интерпретация, полнота секвенциального исчисления, корректность секвенциального исчисления.

УДК: 519.8(045)

Поступила в редакцию: 01.11.2006