Концепция банка математических знаний для научных исследований. Ч. 2. Интерактивное формирование интуитивных доказательств

Клещев Александр Сергеевич
Additional contact information
Клещев Александр Сергеевич: Институт автоматики и процессов управления ДВО РАН

Проблемы управления, 2008, issue 5, 26-30

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

Keywords: ИНТЕРАКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМ; ДОКАЗАТЕЛЬСТВО ТЕОРЕМ ПО АНАЛОГИИ; ИНТУИТИВНОЕ ДОКАЗАТЕЛЬСТВО; ПРАВИЛЬНОСТЬ ИНТУИТИВНОГО ДОКАЗАТЕЛЬСТВА; БАНКИ ЗНАНИЙ (search for similar items in EconPapers)
Date: 2008
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/kontseptsiya-bank ... itivnyh-dokazatelstv

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

Access Statistics for this article

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