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

Гаврилова Т. Л. and Клещев А. С.

Проблемы управления, 2006, issue 4, 32-35

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

Date: 2006
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/vnutrennyaya-mode ... -teorem-ch-1-obschee

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

Access Statistics for this article

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