单片机知识点精读.pptVIP

  • 4
  • 0
  • 约8.79千字
  • 约 75页
  • 2016-08-20 发布于湖北
  • 举报
1.计算机科学发展史 1900年德国数学大师希尔伯特在巴黎的国际数学家大会上提出世纪之交面临的有待解决的数学问题,其中影响最大的是以下三个: 数学是不完备的?即,是不是所有数学命题都可以用一组有限的公理证明或证否。如:我们可以用欧几里德公理证明“三角形内角和为180度”。 数学是不是一致的?即,是不是可以证明的都是真命题,如:证明了1+1=3,数学就是不一致的。 是不是所有命题都是数学可判定的?即,是不是对所有命题都有明确程序可以在有限时间内判断命题是真是假。 希尔伯特认为这三个问题的答案都是“是” 第1、2个问题被哥德尔证明,提出了不完备性定理,该定理认为:如果为问题2的答案是“是”(即数学是一致的),那么问题1(数学是不是完备的)的答案就必须是“否” 在不完备性定理证明的启发下,第3个问题被英国数学家图灵证明答案也是“否” 图灵通过思考人类如何计算,构造了一种假想的机器称为图灵机,然后图灵通过命题“图灵机M对于给定输入I会在有限步后停机”证明了问题3是“否” 图灵机的思想为计算机的诞生奠定了基础 1946年,美籍匈牙利数学家冯·诺依曼提出了现代计算机的基本原理。 一种简便的求得负数补码的方法:令符号位为1,将原值最右边一个1及其后的0保持不变,而最右一个1以左的各位按位取反。 例: [+4]补 = 0 0000100 [-4]补

文档评论(0)

1亿VIP精品文档

相关文档