人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培教案(3)

人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培教案(1)

问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

一、图灵机的基本模型 二、图灵机接受的语言——递归可枚举语言 三、用图灵机计算函数——部分可计算函数与可计算函数

一、字符串和形式语言 二、形式文法 三、形式文法的分类

一、1960年11月，日本广岛市一男子因不堪忍受工厂噪声折磨刺杀工厂主。 二、1961年7月，日本东京青年因不堪忍受客货车的噪声自杀身亡。 三、1981年，在美国的现代派露天音乐会。 四、华盛顿时间 1991年4月12日上午11点半，美国南部的迈阿密商业机场上的恐怖试验

人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培导学案(4)

人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培导学案(2)

人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培习题

人教版高中语文必修2第四单元11 就任北京大学校长之演说 蔡元培习题(3)