Модель аналогии между математическими доказательствами

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

Проблемы управления, 2007, issue 1, 20-24

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

Date: 2007
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/model-analogii-me ... kimi-dokazatelstvami

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

Access Statistics for this article

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