计算学科中的数学方法.pptx

计算学科中数学方法;数学方法;数学基本特征;数学方法作用;

计算学科中数学方法;集合;集合三种描述方法;集合运算;集合差;交集交;集合补;集合乘积;函数;关系;等价关系;例5.6证实非负整数N上模3同余关系R为等价关系;例5.7假设某人在唱歌（事件e1）同时，还能够开车（事件e2）或者步行（事件e3），但一个人不能同时开车和步行。

问：以上反应并发觉象，如用关系来表示时，是否是等价关系？

答：以上反应是一个并发（co）现象，如用关系来表示，则这种并发关系含有自反性和对称性，

即可表示为：e1coe1，e2coe2，e3coe3；及e1coe2（或e2coe1），e1coe3（或e3coe1），

不满足传递性，即（e2coe1）∧（e1coe3）不能推出e2coe3，即不能在开车同时，又步行。

所以，以上并发关系不是等价关系。;

计算学科中数学方法;;;;;;

计算学科中数学方法;直接证实;间接证实;;归纳法定义;数学归纳法形式化定义;证实;结构性证实;

计算学科中数学方法;递归及其相关概念;递归与数学归纳法;;递归定义功效;定义集合;阿克曼函数;解阿克曼函数递归算法:;计算A(1,2);迭代;;

计算学科中数学方法;理论体系;构建理论体系惯用方法;公理化方法;公理系统3个条件;;公理化方法在计算学科中应