Операционная модель интуитивных доказательств

Клещев Александр Сергеевич
Additional contact information
Клещев Александр Сергеевич: Институт автоматики и процессов управления ДВО РАН

Проблемы управления, 2011, issue 1, 2-7

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

Keywords: ИНТУИТИВНОЕ ДОКАЗАТЕЛЬСТВО; ФОРМАЛИЗАЦИЯ; ОПЕРАЦИОННАЯ МОДЕЛЬ; МАКРОЯЗЫК; ИНТЕРАКТИВНАЯ СИСТЕМА; АВТОМАТИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ; ПРОВЕРКА ПРАВИЛЬНОСТИ (search for similar items in EconPapers)
Date: 2011
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/operatsionnaya-model-intuitivnyh-dokazatelstv

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:009530:14048045

Access Statistics for this article

More articles in Проблемы управления from CyberLeninka, Общество с ограниченной ответственностью "СенСиДат-Контрол"
Bibliographic data for series maintained by CyberLeninka ().