计算机的过去与未来t2.pptVIP

计算机过去现在未来 Lecture 2-Boolean代数 《逻辑的数学分析》與《思维的法则》 爱尔兰数学家G.Boole（布爾）分别于1847年及1854年，发表了《逻辑的数学分析》和《思维的法则》，建立了所謂Boolean代数。 Boolean代數裡发明了一套符号系统来表示各種 逻辑概念，以及一系列运算法则，把代数方法移植到逻辑问题領域，初步奠定了数理逻辑的基础。 Boole代数－运算符号－逻辑连接 如果把命题看作运算的对象，如同代数中的数字、字母或代数式，而把逻辑连接词看作运算符号，就象代数中的“＋、－、×”那样，那么由简单命题组成复和命题的过程，就可以当作逻辑运算的过程，也就是命题的演算。 Boole代数－运算律 数理逻辑运算也同代数运算一样具有一定的性质，满足一定的运算规律。 如满足交换律、结合律、分配律，同时也满足逻辑上的同一律、吸收律、双否定律、德摩根(De Morgan)定律等等。 以上定律可以帮助进行逻辑推理，可以简化复和命题，還可以推证两个复合命题是不是等价， 命题演算～逻辑代数 命题演算的具体模型是逻辑代数。 逻辑代数即Boolean代数、开关代数，基本运算是逻辑加、逻辑乘和逻辑非，也就是“或(or)”、“与(and)”、“非(not)”，运算对象只有两个数 0和 1，相当于命题演算中的“真”和“假”。 X=1, 表示命题X是真。方程X=0, 表示“