КОНЦЕПЦИЯ БАНКА МАТЕМАТИЧЕСКИХ ЗНАНИЙ ДЛЯ НАУЧНЫХ ИССЛЕДОВАНИЙ. Ч. 2. ИНТЕРАКТИВНОЕ ФОРМИРОВАНИЕ ИНТУИТИВНЫХ ДОКАЗАТЕЛЬСТВ

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

MoreLess

Year of publication:	2008
Authors:	СЕРГЕЕВИЧ, КЛЕЩЕВ АЛЕКСАНДР
Published in:	Проблемы управления. - CyberLeninka. - 2008, 3, p. 26-30
Publisher:	CyberLeninka Общество с ограниченной ответственностью "СенСиДат-Контрол"
Subject:	ИНТЕРАКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ \| ДОКАЗАТЕЛЬСТВО ТЕОРЕМ ПО АНАЛОГИИ \| ИНТУИТИВНОЕ ДОКАЗАТЕЛЬСТВО \| ПРАВИЛЬНОСТЬ ИНТУИТИВНОГО ДОКАЗАТЕЛЬСТВА \| БАНКИ ЗНАНИЙ \| INTERACTIVE THEOREM PROVING \| THEOREM PROVING BY ANALOGY \| INTUITIVE PROOF \| CORRECTNESS OF INTUITIVE PROOF \| KNOWLEDGE BANKS

freely available

Full text |

More access options

Check Google Scholar

In German libraries (KVK)

I need help

More details

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

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