切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机与智力:推理过程的机械化
计算机与智力:推理过程的机械化
来源 :广州大学学报(综合版) | 被引量 : 0次 | 上传用户:zz33xx
【摘 要】
:
在概述几何定理机器证明近期成果的基础上,提出了推一过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。
【作 者】
:
杨路
【机 构】
:
广州大学计算机教育软件研究所
【出 处】
:
广州大学学报(综合版)
【发表日期】
:
2001年2期
【关键词】
:
图灵测试
自动推理
定理机器证明
可读证明
数学机械化
turing test
automated reasoning
automated theorem
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在概述几何定理机器证明近期成果的基础上,提出了推一过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。
其他文献
加强实践性教学培养学生应用能力的探讨
通过对土木工程专业认识实习、生产实习、毕业实习以及毕业设计等实践性教学环节进行讨论,对如何联系实际才能更好地培养学生的动手能力进行了研讨,对其发展前景进行了展望.
期刊
教学环节
认识实习
生产实习
毕业实习
毕业设计
teaching links
cognition praxis
production praxis
gr
铊的环境生态迁移与扩散
报道某含铊黄铁矿矿石和各工艺过程产物中铊的含量和分布,各类矿石中铊含量范围10.0~56.4×10-6;尾砂矿中铊含量约50×10-6;炉渣中铊含量范围21.7~45.4×10-6;炉灰
期刊
环境生态迁移
铊
黄铁矿
环境污染
环境扩散
预防措施
矿产开发
thallium
environmental pollution
pyrite
migr
理论与实践相结合——《软件工程》教学浅探
针对软件工程这门计算机专业重要课程的工程性特点,讨论了理论与实践相结合的教学模式.提出几种实用的具体方法和手段,使软件工程的教学生动、具体.这一方法既能提高教学质量
期刊
软件工程
教学方法
software engineering
teaching method
《微型计算机控制技术》教学改革的探索与实践
<微型计算机控制技术>是信息与控制类专业的一门专业必修课.其教学内容与微型计算机的发展密切相关.本文分析<微型计算机控制技术>课程教学过程中面临的问题,介绍了在教学改
期刊
微型计算机控制技术
教学改革
课程
微型计算机
micro-computer control technology
teaching reformation
Morse势阱中光整流和电光效应的研究
利用量子力学中的密度矩阵算符理论和迭代方法,得到Morse势阱中的光整流系数和电光效应的解析表达式.并以典型的GaAs/AlGaAs莫尔斯量子阱为例进行了数值计算.研究结果表明,较
期刊
MORSE势阱
光整流
电光效应
量子力学
密度矩阵算符理论
GaAs/AlGaAs莫尔斯量子阱
Morse quantum well
optical rec
高校体育教育从强制性向诱导性转变的思考
从理论上分析了传统体育教学从强制性教学向诱导性教学转变的必要性和紧迫性,提出以学生为主体,以培养学生的健康体育、快乐体育、终身体育观念为目的的高校体育教学改革思路
期刊
体育教学
强制性
诱导性
physical teaching
compulsion
inductivity
化学专业实践性课程教学改革的创新与实践
从现代教育观念形成的哲学和历史背景出发,阐明化学专业实践性课程教学改革的创新理念和发展方向,介绍了据此制定的化学专业实践性课程的改革方案及其实践效果.
期刊
教学改革
实践性课程
化学教育
机械论哲学
技术至上主义
还原主义
teaching reform
practical-course
chemical ed
烟囱桩支圆板基础的“环梁法”设计方法
根据文献[2]的受力机理模型提出桩支圆板基础的'环梁法'设计方法,并通过一个算例说明该方法的计算步骤和验证了这种方法的有效性.
期刊
桩支圆板基础
环梁法
烟囱基础
受力基础模型
基础设计
抗弯承载力
烟囱桩
火力发电厂
pile_supported round slab foundation
经典居商住楼结构转换层施工
结构转换层施工是框架剪力墙结构施工的难点.本文通过经典居商住楼监理,对结构转换层的施工规律进行了研究.
期刊
经典居商住楼
结构转换层
高层建筑
工程监理
施工方法
框架剪力墙结构
模板工程
钢筋工程
high_rise building
frame_shear wa
双取代簇阴离子RuCo3(CO)10(PPh3)2^—与(PPh3Au)^+的反应研究
双取代簇合物NEt4RuCo3(CO)10(PPh3)2与固体(PPh3Ay)Cl和TlPF6反应,生成了双取代簇合物AuPPh3RuCo3(CO)10(PPh3)2·CH2Cl2 Ⅰ后,双取代簇合物Ⅰ又逐渐转变为单取代簇合物
期刊
双取代簇阴离子
RuCo3(CO)10(PPh3)2^-
(PPh3Au)^+
取代反应
羰基簇合物
混合金属簇合物
取代基位置
substitued reac
与本文相关的学术论文