×

杜德尔博士:图解定理证明器。 (英语) Zbl 1126.68584号

David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,331-335(2004)。
摘要:本文介绍了Doodle博士系统,这是一个使用图表表示的交互式定理证明器。本项目的基本假设是,对于某些领域(主要是几何),图解推理比传统代数方法更容易理解,至少对相当多的人来说是这样的。Doodle博士系统是为度量空间分析领域开发的(一个几何领域,但传统上使用干式代数形式主义进行教学)。进行了试点实验,以评估其作为教育工具基础的潜力,取得了令人鼓舞的结果。
关于整个系列,请参见[Zbl 1088.68001号].

MSC公司:

第68页第15页 定理证明(演绎、解析等)(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部