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

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

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

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

Date: 2006
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/vnutrennyaya-mode ... tv-teorem-ch-2-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:14051827

Access Statistics for this article

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