期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
例证法在定理机器证明中的应用
1
作者 邱锦明 《三明学院学报》 2001年第4期1-5,共5页
阐述了例证法的理论 ,分析、论证了例证法应用于定理机器证明的可行性 ,介绍了几何命题代数化的方法和步骤 。
关键词 定理机器证明 例证法 数值并行法 单例实验法
在线阅读 下载PDF
例证法思想在高等职业院校高数教学中的应用研究
2
作者 孙凌云 《和田师范专科学校学报》 2008年第4期216-216,共1页
阐述了定理机器证明中的例证法思想,列举了例证法在高数教学中的实例,分析了例证法在高数教学中的作用及注意点。
关键词 机器证明 例证法 单例实验法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部