Внутренняя модель математической практики для систем автоматизированного конструирования доказательств теорем. Ч. 3. Модель доказательства

Гаврилова Т. Л. and Клещев А. С.
Additional contact information
Гаврилова Т. Л.: Институт автоматики и процессов управления ДВО РАН
Клещев А. С.: Институт автоматики и процессов управления ДВО РАН

Проблемы управления, 2006, issue 6, 68-71

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

Date: 2006
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/vnutrennyaya-mode ... tv-teorem-ch-3-model

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:14049027

Access Statistics for this article

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