计算机科学与技术方法论-ch5-计算学科中的数学方法-兰州大学信息院-人民邮电出版-董荣盛.pptxVIP

计算学科中的数学方法;数学方法;数学的基本特征; 数学方法的作用;计算学科中的数学方法;集合;集合的三种描述方法;集合的运算 ;集合的差 ;交集的交;集合的补 ;集合的乘积 ;函数;关系;等价关系;例5.6 证明非负整数N上的模3的同余关系R为等价关系;例5.7 假设某人在唱歌（事件e1）的同时，还可以开车（事件e2）或者步行（事件e3），但一个人不能同时开车和步行。 问：以上反映的并发现象，如用关系来表示时，是否是等价关系？ 答：以上反映的是一种并发（co）现象，如用关系来表示，则这种并发关系具有自反性和对称性， 即可表示为：e1 co e1，e2 co e2，e3 co e3；及e1 co e2（或e2 co e1），e1 co e3（或e3 co e1）， 不满足传递性，即（e2 co e1）∧（e1 co e3）不能推出e2 co e3，即不能在开车的同时，又步行。 因此，以上并发关系不是等价关系。 ;计算学科中的数学方法;;;;;;计算学科中的数学方法;直接证明;间接证明;;归纳法的定义;数学归纳法的形式化定义;证明;构造性证明 ;计算学科中的数学方法;递归及其有关概念;递归与数学归纳法 ;;递归的定义功能 ;定义集合;阿克曼函数 ;解阿克曼函数的递归算法:;计算A(1,2);迭代 ;;计算学科中的数学方法;理论体系 ;构建理论体系的常用方法 ;公理化方法 ;公理系统的3个条件 ;;公理化方法在计算学科中的应用 ;例5.18 正整数的公理化概括;例5.19 平面几何的公理化概括（欧氏几何）;例5.20 中国古代唯一的一次公理化尝试：周髀算经;;;计算学科中的数学方法;具体公理系统和抽象公理系统 ;;形式系统的组成部分;形式系统的基本特点 ;形式系统的局限性 ;形式系统的局限性 ;形式化与公理化 ;计算学科中的数学方法; 预备知识 ;算法 ;;例5.20 F由下列5个函数依赖组成：;Armstrong公理系统的3条公理 ;Armstrong公理系统的正确性和完备性要求 ;证明：分别证明自反律、增广律和传递律的正确性。;;计算学科中的数学方法;;;