离散数学课程实践-程序设计.doc

浙江科技学院离散数学课程建设自编教材 离散数学课程实践——程序设计（1） 教 程 主编 潘志刚 叶绿 离散数学课程建设项目组 2004年1月 目 录 第一章：集合论、逻辑与算法基础 11 1.1 12 1.1.1 A和B的差集 12 1.1.1.1 题目 12 1.1.1.2 代码 12 1.1.1.3 测试 14 1.1.1.4 运行结果 14 1.1.2并集 15 1.1.2.1 题目 15 1.1.2.2 代码 15 1.1.2.3 测试 18 1.1.2.4 运行结果 18 1.1.3交集 18 1.1.3.1 题目 18 1.1.3.2 代码 18 1.1.3.3 测试 20 1.1.3.4 运行结果 21 1.2 真值表 21 1.2.1 题目 21 1.2.2 代码 21 1.2.3 测试 24 1.2.4 运行结果 24 1.3 冒泡排序 24 1.3.1 题目 24 1.3.2 代码 24 1.3.3 测试 26 1.3.4 运行结果 26 1.4 多项式运算 26 1.4.1 题目 26 1.4.2 代码 26 1.4.3 测试 34 1.4.4 运行结果 34 第二章 整数与数学归纳法 35 2.1 欧几里得算法 35 2.1.1 题目 35 2.1.2 代码 35 2.1.3 测试 36 2.1.4 运行结果 36 2.2 十进制转二进制 36 2.2.1 题目 36 2.2.2 代码 36 2.2.3 测试 37 2.2.4 运行结果 37 2.3 十进制转n进制 37 2.3.1 题目 37 2.3.2 代码 38 2.3.3 测试 39 2.3.4 运行结果 39 2.4 n进制转十进制 39 2.4.1 题目 39 2.4.2 代码 39 2.4.3 测试 40 2.4.4 运行结果 40 2.5 二进制加减法 40 2.5.1 题目 40 2.5.2 代码 40 2.5.3 测试 42 2.5.4 运行结果 42 2.6 判定素数 43 2.6.1 题目 43 2.6.2 代码 43 2.6.3 测试 43 2.6.4 运行结果 44 2.7 素因子分解 44 2.7.1 题目 44 2.7.2 代码 44 2.7.3 测试 45 2.7.4 运行结果 45 2.8 Fermat因子解法 45 2.8.1 题目 45 2.8.2 代码 46 2.8.3 测试 46 2.8.4 运行结果 47 2.9 丢番图方程求解 47 2.9.1 题目 47 2.9.2 代码 47 2.9.3 测试 48 2.9.4 运行结果 48 第三章 关系与偏序集 49 3.1 判断关系的自反和对称 49 3.1.1 题目 49 3.1.2 代码 49 3.1.3 测试 51 3.1.4 运行结果 51 3.2 判断反对称 51 3.2.1 题目 51 3.2.2 代码 51 3.2.3 测试 52 3.2.4 运行结果 53 3.3 对称,自反闭包 54 3.3.1 题目 54 3.3.2 代码 54 3.3.3 测试 55 3.3.4 运行结果 55 3.4 偏序集极小极大元最小最大元 56 3.4.1 题目 56 3.4.2 代码 56 3.4.3 测试 59 3.4.4 运行结果 60 第四章 矩阵与关系闭包 61 4.1 矩阵加减乘 转置 61 4.1.1 题目 61 4.1.2 代码 61 4.1.3 测试 65 4.1.4 运行结果 66 4.2 布尔矩阵交并积 66 4.2.1 题目 66 4.2.2 代码 67 4.2.3 测试 69 4.2.4 运行结果 70 4.3 求关系的传递闭包 71 4.3.1 题目 71 4.3.2 代码 71 4.3.3 测试 74 4.3.4 运行结果 75 4.4 warshall算法求关系的传递闭包 75 4.4.1 题目 75 4.4.2 代码 75 4.4.3 测试 78 4.4.4 运行结果 79 4.5 确定最小等价关系 79 4.5.1 题目 79 4.5.2 代码 79 4.5.3 测试 83 4.5.4 运行结果 83 第五章 函数 84 5.1 判断是否单满射一一映射 84 5.1.1 题目 84 5.1.2 代码 84 5.1.3 测试 87 5.1.4 运行结果 87 5.2 求一个函数的域和值域 87 5.2.1 题目 87 5.2.2 代码 88 5.2.3 测试 90 5.2.4 运行结果 91 5.3 判断数列是否为升序 91 5.3.1 题目 91 5.3.2 代码 91 5.3.3 测试 92 5.3.4 运行结果 92 5.4 求数列中有限项之和 93 5.4.1 题目 93 5.4.2 代码 9