收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

数学的机械化方法

王志健  
【摘要】:正 顾名思义,“人工智能”就是用人工的方法产生智能:制造出具有智能的机器、培育出具有智能的产品、驯教出具有智能的生物……。远景是如此诱人、怕人,使得它在哲学、伦理、宗教领域内都引起了巨大的反响。不过,人工智能只是一个科学部门的名称,名称不一定能如实反映它的研究内容。如果按上面所述来理解“人工智能”这四个字的话,可以说,这三十多年来,人工智能的研究成果不算太大。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴文俊;;几何学机械化方法Ⅰ.初等几何[J];数学季刊;1986年01期
2 吴文俊;几何学机械化方法及其应用 Ⅰ.欧氏与非欧几何中的距离、面积与体积[J];科学通报;1986年14期
3 吴文俊;几何学机械化方法及其应用——Ⅰ.距离、面积与体积[J];系统科学与数学;1986年03期
4 陆斌,张鸿庆;构造一类偏微分方程组通解的机械化方法及力学方程的自动推理[J];山东科技大学学报(自然科学版);2002年01期
5 陈熙贤;试论构筑国际数学大厦的四大基石——珠算地位丛谈七[J];珠算与珠心算;2001年03期
6 刘芹英;明代珠算对当时数学教育普及的作用及意义[J];齐鲁珠坛;2004年03期
7 王挽澜;姚勇;;建立不等式的判别式法、极值法和机械化法之比较[J];成都大学学报(自然科学版);2008年03期
8 庄凯,庄德恩;数学科学─科技与社会经济发展的动力[J];科学学研究;1994年04期
9 羊枣;;数学和科工[J];中国科技史杂志;1980年02期
10 郭仲衡;略谈数学在力学理论研究中的作用[J];力学与实践;1987年01期
11 韩立岩;试论数学与经济学相结合的哲学启示[J];自然辩证法研究;1991年09期
12 詹明全;揭示一道例题所蕴含的数学思想[J];数学通报;1994年06期
13 张国栋;提倡“数学的做”[J];数学通报;1994年07期
14 陈桂正,朱梧;论数字家与艺术家在创造活动中的同一性[J];自然辩证法研究;1994年10期
15 董雪梅;经济数学教研的若干问题[J];金融理论与教学;1995年04期
16 陈应枢;UCSMP评介[J];贵州师范大学学报(自然科学版);1995年03期
17 冉光华;数学重叠及其功能[J];数学通报;1996年12期
18 叶建军;;矩形薄板受扰时的混沌运动条件[J];学术动态报道;1998年01期
19 徐斌艳;极端建构主义意义下的数学教育[J];外国教育资料;2000年03期
20 林夏水;论数学的本质[J];哲学研究;2000年09期
中国重要会议论文全文数据库 前10条
1 卓新;;具有仿生特征的网壳结构形态[A];第二届全国现代结构工程学术研讨会论文集[C];2002年
2 孙林坡;;数学教师知识的发展[A];全国高等师范院校数学教育研究会2008年学术年会论文集[C];2008年
3 刘晓陵;;基于课程标准的初中生标准化数学成就测验的编制研究[A];第十二届全国心理学学术大会论文摘要集[C];2009年
4 高丽瑾;周连第;朱德祥;;数学粗糙度函数及其降噪研究[A];自然、工业与流动——第六届全国流体力学学术会议论文集[C];2001年
5 郭静珠;;融入生活 品味数学——教学案例中生活情境的运用及反思[A];江苏省教育学会2006年年会论文集(理科专辑)[C];2006年
6 徐永堂;;反思学生作业,弥补评价缺失[A];江苏省教育学会2006年年会论文集(理科专辑)[C];2006年
7 丁丰朝;聂亮;;谈谈初高中数学教学中“合作学习”的衔接问题——从一个在高中实施合作学习的案例谈起[A];全国高等师范院校数学教育研究会2008年学术年会论文集[C];2008年
8 殷志平;;小学数学解题常用的数学思想方法[A];江苏省教育学会2006年年会论文集(理科专辑)[C];2006年
9 陈涛清;;小学数学教学中常见的几种尴尬现象及其思考[A];江苏省教育学会2005年小学数学优秀论文集[C];2005年
10 魏华;王志强;张运杰;;基于模糊熵的备择边缘细化方法[A];全面建设小康社会:中国科技工作者的历史责任——中国科协2003年学术年会论文集(上)[C];2003年
中国博士学位论文全文数据库 前10条
1 霍利民;基于贝叶斯网络的电力系统可靠性评估[D];华北电力大学(河北);2005年
2 潘文杰;基于人工神经网络技术的烤烟重金属积累特征研究[D];西南大学;2006年
3 王刚;混合智能系统及其在商务智能中的应用研究[D];复旦大学;2008年
4 刘孟祥;三效催化转化器高效长寿低排放优化设计理论及方法研究[D];湖南大学;2008年
5 赵野军;橡胶挤出机智能CAD的技术和方法研究[D];北京化工大学;2005年
6 傅少君;岩土结构仿真反馈分析的理论与实践[D];武汉大学;2005年
7 仝秋红;基于智能技术的内燃机油添加剂优选及配伍研究[D];长安大学;2004年
8 朱名日;地球物理场对磁敏式传感器影响及其应用研究[D];中南大学;2004年
9 孙洁;企业财务危机预警的智能决策方法研究[D];哈尔滨工业大学;2007年
10 彭智勇;数学新课程发展性评价研究[D];西南师范大学;2004年
中国硕士学位论文全文数据库 前10条
1 赵卫红;陇南市农村中小学数学教师教育现状研究[D];西北师范大学;2005年
2 傅琳;中学数学研究性学习模式的实践研究[D];上海师范大学;2005年
3 乔文进;论数学在法律中的应用[D];苏州大学;2004年
4 肖俊谦;数学研究性学习在初中音乐班的课堂教学实践[D];湖南师范大学;2005年
5 陈方;3~4年级数学学业能力倾向测验的初步编制[D];湖南师范大学;2006年
6 刘光辉;体育学校数课堂教学策略研究[D];山东师范大学;2005年
7 柴赛飞;幼儿园与小学数学课程衔接的个案研究[D];西南师范大学;2005年
8 冯国东;中学生数学能力测查与分析[D];东北师范大学;2002年
9 王芳;学案式教学在初中数学教学中的实验研究[D];首都师范大学;2009年
10 栗静;数学开放题教学对学生创造性思维的培养[D];上海师范大学;2005年
中国重要报纸全文数据库 前10条
1 邱茂路 刘效军;让数学“活”起来[N];中国教育报;2002年
2 ;数学[N];中国教育报;2004年
3 邵勇;数学原来可以这样学[N];中国图书商报;2003年
4 本报记者 赵秋丽 特约记者 李志臣 通讯员 张琪;用数学捍卫财富[N];光明日报;2004年
5 韩雪涛;数学与哲学结伴而行[N];中华读书报;2004年
6 单泠 徐有智 本报记者 仇方迎;浙大数学中心何以大师云集[N];科技日报;2005年
7 江苏省特级教师、苏州工业园区第二实验小学副校长 徐斌;让数学与生活相融[N];中国教育报;2005年
8 蔡天新;高斯:从数学神童到数学王子[N];江苏科技报;2005年
9 如皋市江安镇滨江初级中学 周军莲;谈谈技术在数学教学中的应用[N];成才导报.教育周刊;2007年
10 李文忠 陈爱珍;在活动中做数学[N];中国教师报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978