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

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

MoreLess

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

More details

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

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