收藏本站
《电子计算机动态》 1980年09期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

代德景问题的机械算法

刘初长  
【摘要】:正 数学定理的证明是人类演绎能力的最集中表现,能否使数学定理证明机械化,是人工智能中的一个重要课题。六十年代以来,定理的机械证明,引起了人们极大的兴趣[1,2]。由于计算机的计算速度快,许多需要通过大量计算,才能获得其结论的问题,就可以通过计算机的计算,求出部分结果,猜出结论,然后编好程序,让机器进行自动证明。文献[1]对于
【作者单位】

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 张帆;潘瑞芳;叶福军;荆丽茜;;视频游戏中碰撞检测算法的选择[J];电脑知识与技术;2011年13期
2 蒋晖;陈允锋;;数据挖掘及其一种关联规则算法[J];计算机与数字工程;2011年06期
3 金育婵;;数据挖掘技术中基于关联规则算法的研究[J];科技传播;2011年12期
4 于成龙;;中文网页信息抽取技术及分类算法研究[J];山东理工大学学报(自然科学版);2011年03期
5 赵明;;农业院校本科生计算机图形学课程的研究型教学[J];计算机教育;2011年13期
6 殷超;;删除值相同元素的时间复杂度的改进算法[J];科技信息;2011年21期
7 李丹实;;使用SQL Server2005构建数据挖掘应用程序[J];煤炭技术;2011年07期
8 朱静丽;;用模拟退火算法求解TSP[J];湖北广播电视大学学报;2011年09期
9 秦德杰;;基于ASP的表格一行显示多条记录的研究[J];电脑知识与技术;2011年16期
10 高金勇;徐朝军;冯奕竸;;基于迭代的TFIDF在短文本分类中的应用[J];情报理论与实践;2011年06期
中国重要会议论文全文数据库 前10条
1 蓝章礼;曹建秋;王华清;;基于动态梯度的指纹图像二值化算法[A];2008年计算机应用技术交流会论文集[C];2008年
2 罗芳;艾廷华;王洪;;闭合坐标链多边形数据的拓扑关系快速构建[A];全国测绘科技信息网中南分网第二十四次学术信息交流会论文集[C];2010年
3 胥幸燕;徐中伟;;一种站场图逻辑语义解析算法[A];第三届中国测试学术会议论文集[C];2004年
4 潘英豪;范瑞霞;;基于Kohonen网络的图像融合算法的研究与实现[A];2004中国控制与决策学术年会论文集[C];2004年
5 陈曦;李国清;宋吉江;李宏图;;某型军机多功能显示系统的仿真[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
6 陈国栋;李建微;毛烨;郑绍华;余轮;;三维人体模型的骨架提取算法[A];第十四届全国图象图形学学术会议论文集[C];2008年
7 张少润;吴学军;;分布式数据库系统中探测及消除死锁的算法[A];第十届全国数据库学术会议论文集[C];1992年
8 聂轰;陈湘涛;;一种基于欧氏距离加权的连通聚类算法[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
9 许强;陈妍;高志强;吴鑫宏;;基于虚拟DCS的300MW机组仿真机开发[A];第十届中国科协年会科技创新与工业强市战略论坛论文汇编[C];2008年
10 崔冬华;李俊士;乔素琴;;基于二叉解空间树的两两组合测试数据生成[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
中国重要报纸全文数据库 前10条
1 Vishala Sri-Pathma 赵容 编译;算法交易——市场增长的重要趋动因素[N];期货日报;2009年
2 本报记者 刘霞;当算法统治世界[N];科技日报;2011年
3 PALADIN;对算法进行分析(1)[N];电脑报;2003年
4 PALADIN;对算法进行分析(2)[N];电脑报;2003年
5 重庆 Over-Time;程序=算法+数据结构[N];电脑报;2004年
6 中国虫;算法演义[N];电脑报;2003年
7 PALADIN;算法演义[N];电脑报;2003年
8 PALADIN;算法演义[N];电脑报;2003年
9 ;编程沙龙[N];电脑报;2003年
10 易水;模型驱动的体系结构(2)[N];计算机世界;2006年
中国博士学位论文全文数据库 前10条
1 杨奎元;基于深层结构的图像内容分析及其应用[D];中国科学技术大学;2012年
2 Shaker Kazem Ali(沙克);应用于疾病诊断的图像分析方法[D];中南大学;2010年
3 赵斌;基于图模型的微博数据分析与管理[D];华东师范大学;2012年
4 尹华罡;基于海量时空数据的路线挖掘与检索[D];中国科学技术大学;2012年
5 刘涛;电子鼻长期漂移抑制算法的研究[D];重庆大学;2012年
6 赵锡英;随机进程代数的等价性判定计算[D];兰州大学;2007年
7 李述山;多源多维多类型多精度非线性数据处理中若干问题的研究[D];山东科技大学;2005年
8 许伦辉;面向公路网络规划及智能运输系统交通分配理论与方法研究[D];华南理工大学;1999年
9 孙元;多媒体语义检索关键问题研究[D];吉林大学;2010年
10 Mahmoud Sami Soliman;[D];中南大学;2010年
中国硕士学位论文全文数据库 前10条
1 高翔;嵌入式三维图形引擎的设计与实现[D];电子科技大学;2005年
2 霍其润;基于B/S模式的雨量等值钱算法的研究与实现[D];河海大学;2003年
3 刘洋;聚合通信算法测试分析与理论研究[D];中国科学院研究生院(软件研究所);2005年
4 王叶飞;DEM地形曲率的误差分析[D];长沙理工大学;2005年
5 张冠东;矿山灾害预警应急管理系统的初步研究[D];成都理工大学;2006年
6 周明应;专用短程通信中的自适应均衡技术研究[D];武汉理工大学;2007年
7 黄炜;小波分析在数字水印和目标跟踪的应用[D];厦门大学;2009年
8 宋丹娃;森林资源管理信息系统中数据处理的解决方案研究[D];北京林业大学;2009年
9 郝茹;四次有理Bézier曲线曲面造型的研究[D];哈尔滨理工大学;2009年
10 沈飞;基因组Reversal/Transposition排序的快速计算研究[D];山东大学;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026