|
Вестник Удмуртского университета. Математика, 2007, выпуск 1, страницы 235–250
(Mi vuu275)
|
|
|
|
ИНФОРМАТИКА
Корректность и полнота конструктивной теории, содержащей ресурсы
Н. А. Вершинина Удмуртский государственный университет, г. Ижевск
Аннотация:
Предлагается логический подход к формальному описанию предметной области систем планирования. Доказана корректность и полнота построенной конструктивной теории, содержащей ресурсы.
Ключевые слова:
конструктивная теория, реализационная интерпретация, полнота секвенциального исчисления, корректность секвенциального исчисления.
Поступила в редакцию: 01.11.2006
Образец цитирования:
Н. А. Вершинина, “Корректность и полнота конструктивной теории, содержащей ресурсы”, Вестн. Удмуртск. ун-та. Матем., 2007, № 1, 235–250
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vuu275 https://www.mathnet.ru/rus/vuu/y2007/i1/p235
|
Статистика просмотров: |
Страница аннотации: | 113 | PDF полного текста: | 58 | Первая страница: | 1 |
|