ВНУТРЕННЯЯ МОДЕЛЬ МАТЕМАТИЧЕСКОЙ ПРАКТИКИ ДЛЯ СИСТЕМ АВТОМАТИЗИРОВАННОГО КОНСТРУИРОВАНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ. Ч. 2. МОДЕЛЬ МАТЕМАТИЧЕСКОГО ДИАЛЕКТА

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

MoreLess

Year of publication:	2006
Authors:	ГАВРИЛОВА Т. Л. ; КЛЕЩЕВ А. С.
Published in:	Проблемы управления. - CyberLeninka. - 2006, 3, p. 68-73
Publisher:	CyberLeninka Общество с ограниченной ответственностью "СенСиДат-Контрол"

More details

Type of publication:	Article
Source:	RePEc - Research Papers in Economics

Persistent link: https://www.econbiz.de/10011247340