计算机科学与技术方法论（邹复好）chapter 5 计算学科中的数学方法.pptVIP

如：非本库人员，一律不得不内 P：某人是本库人员 Q：某人可以入内 测谎仪：语言符号化，规则运算 要掌握命题到符号、符号到命题的转化。 只有复合命题，表达能力还不够，命题+连词→谓词逻辑 * 个体常量，个体变量 A(x): A——怀孕 A(王丽)：1；A(张勇)：0 L(x,y,z) L: x+y=z(L谓词，说明了三个变量之间的关系) L(3,2,5): 1 L(1,4,5): 1 L(2,9,10): 0 * D(x):x要死的 G(x):x活到100岁以上 以上是加量词的复合命题 * 羽毛球不是圆的。 转换规则→数理逻辑 符号演算是计算机推理、判定的数学基础 * 自学P103 反证法：假设否命题T为真，推出矛盾 归纳法: (1) n=1，P(1) (2) ?n(P(n) ? P(n+1)) 结论：?nP(n) 结合前面补充的基础知识 * A ? 0A1 自己定义自己 An-1= 0An-21 An= 0An-11 =00An-211 =02An-212 =03An-313 ...... =0n-1A11n-1 =0nA11n L(G) = {0n 1n | n ≥ 1} ) 0型文法，汇编课程的基础 计算机语言：可自动生成 北大：编译理论、编译技术 * 看书P108 二元函数A (m,