期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
悟——教与学之中的相视而笑
下载PDF
职称材料
导出
摘要
“相视而笑,莫逆于心”,这句话出自《庄子·大宗师》,那是一种心意相投、高度默契的感觉。最近的一次相视而笑,其实是对着一本书笑,这本书名叫《艾伦·图灵传》,书中有一大段文字,说的是图灵怎样用康托尔的对角线法来证明停机问题,我读了一遍,忽然有一种顿悟的感觉,然后我笑了,我觉得若这本书有灵魂的话,它也会对着我笑。
作者
陈凯
出处
《中国信息技术教育》
2016年第20期1-1,共1页
China Information Technology Education
关键词
停机问题
对角线法
康托尔
图灵
文字
分类号
G451 [文化科学—教育技术学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
杜立智,陈和平,符海东.
图灵的停机问题及其对角线证法研究[J]
.计算机技术与发展,2016,26(12):64-68.
2
小抄速记[J]
.电脑爱好者,2010(19):41-41.
3
敖传宝.
虚拟仪器技术及其发展趋势[J]
.山西电子技术,2007(6):92-93.
被引量:6
4
黄建磊,党延忠.
面向多问题处理的决策支持方法研究[J]
.制造业自动化,2015,37(10):93-96.
被引量:2
5
注重服务和培训的西得乐[J]
.酒.饮料技术装备,2012(4):18-18.
6
韩聪才.
对加料泵电机过流停机问题的分析与改进[J]
.科技创新与应用,2014,4(21):115-115.
7
罗定国,吴小平,施敏.
Delaunay三角网特征线插入算法研究[J]
.建筑知识:学术刊,2014(B02):2-2.
8
张新民.
用投影法处理平面度数据及软件实现[J]
.计量与测试技术,2010,37(4):24-26.
9
表内大段文字巧输入[J]
.电脑爱好者,2012(11):40-40.
10
陈丽,黄登仕.
Multifractal Measure of Post Distribution in Post System[J]
.Journal of Southwest Jiaotong University(English Edition),2009,17(4):350-354.
中国信息技术教育
2016年 第20期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部