广东工业大学试卷用纸，共 4 页，第 1 页
广东工业大学试卷用纸，共 4 页，第 2 页
6、下面等式中唯一的恒等式是 [ ] A. (A ∪B ∪C)-(A ∪B)=C B. A ⊕A=A C. A-(B×C)=(A-B)×(A-C) D. A×(B-C)=(A×B)-(A×C)
7、设R 为实数集，定义* 运算如下：a*b=|a+b+ab|，则 * 运算满足 [ ]
A. 结合律
B. 交换律
C. 有幺元
D. 幂等律 8、对于集合A ＝｛0、1、2、3、4、5、6、7、8、9、10｝，不封闭的二元运算是[ ] A x*y=max(x,y) B x*y=x －y C x*y=(x+y)mod 9 D x*y=min(x,y)
二、填空题(本大题共10小题，每空3分，共24分)
9、含n 个命题变项的重言式的主合取范式为_________________________。 10、设个体域为整数集合Z ，命题Vx ヨy(x+y=3)的真值为___________。 11、以1，1，1，2，2，3为度数序列的非同构的无向树共有___________棵。 12、已知n 阶无向简单图G 有m 条边，则G 的补图G 有__________条边。
13、设R={<{1}, 1>，<1, {1}>，<2, {3}>，<{3}, {2}>}，则domR ⊕ranR=_____________________。
14. 设A={1, 2, 3, 4}，则A 上有____________个不同的双射函数。 15. 设σ=(1345)(2678)是8元置换，则σ-1=___________。
16、集合A ＝｛1、2、3、4｝上的恒等关系是_________________________。
三、 简答及证明(本大题共6小题，每小题10分，共60分)
17、(10分)设G 为n(n ≥3)阶无向简单图，证明G 或G 的补图必连通。 18、(10分)设A ，B ，C 为集合，证明：
A ∩(
B －C)=(A －C)∩(B －C)
19、(10分)右图是偏序图
1)X 和≤的集合表达式
2)指出偏序集的极大元、极小元、最大元、最小元 20、(10分)设Z 为整数集，在Z 上定义二元运算*如下： ?x ，y ∈Z ，x*y ＝x ＋y －2 请证明（Z ，*） 是群。
21、(10分)在命题逻辑中构造下面推理的证明。 前提：p →s ，q →r ，┐r ，p ∨q
结论：r
22、(10分) 用狄克斯特洛算法求下图中从a 到f 的最短
通路。（写出求解过程）
第19题图 1
6
3
2
3
3 5
1
6
a
d
c
e
b
f
广东工业大学试卷用纸，共 4 页，第 3 页
课程名称:
离散数学A 卷标准答案
一、单项选择题(本大题共8小题，每小题2分，共16分)
二、填空题(本大题共8小题，每空3分，共24分)
1.无（或没有，或空）
2. 1（或T ，或真）
3. 2
4. [n(n-1)/2]-m
5. {2,{2}}
6. 4!（或24）
7. 24（或16） 8.{(1,1),(2,2),(3,3),(4,4)}
三、(10分)
证明：如果图G 是连通图，问题得证。 2分
如果G 不是连通图，不妨设图G 由K 个连通分支G 1,G 2,…,G k 构成。现证G 的补图是 连通图。 2分
在补图中任取两点u 和v ，由于补图和原图有相同的顶点，所以u 和v 也是图G 的点。 下面分两种情况讨论。
1. u 和v 分别是不同的连通分支G i 和G j 的点（见下图1）。易知，连接u 和v 的边在补图中， 即在补图中，u 和v 之间有通路相连。 3分
2. u 和v 是同一连通分支G i 中的点（见上图2）。则可在另一连通分支G j 中任取一点x ， 易见边ux 和边vx 是补图中的边，由此可知点u 和v 之间在补图中
有通路uxv 相连。 3分 综上所述，补图是连通图。证毕。 四、(10分)
证明：①￢s P 1分
②p →s P 1分 ③￢p T ①② 1分 ④p q P 1分 ⑤q T ③④ 1分 ⑥q →r P 1分 ⑦r T ⑤⑥ 1分
T 规则应用正确：2分； P 规则应用正确：1分； 五、(10分) 解：
1.X ＝{a,b,c,d,e,f} 2分
≤={(a,b)，(a,c)，(a,d)，(a,e)，(a,f)，(b,e)，(c，e), (c,f)，(d,f)}∪I
x 4分，其中错一个、多一个、漏一个元素均扣0.5分，直至4分扣完。
2.极大元e；1分
极小元a；1分
最大元不存在；1分
最小元a。1分
六、(10分)
证明：
①由已知，运算显然封闭；2分
②对?x，y，z∈Z有：
(x*y)*z=(x+y-2)*z=(x+y-2)+z-2=x+y+z-4 1分
x*(y*z)=x*(y+z-2)=x+(y+z-2)-2=x+y+z -4 1分
所以，*满足结合律；
③对?x∈Z有：x*2=x+2-2=0，1分
且2*x=2+x-2=0 1分
所以，存在单位元：2
④对?x∈Z有：x*(4-x)=x+4-x-2=2，1分
且(4-x)*x=4-x+x-2=2 1分
所以，对?x∈Z有x的逆元是：4-x 1分
由①②③④可知，（Z，*）是群。1分
七、(10分)
故a到f
其权为10 1分
八、(10分)
前提：?x(F(x)→G(x))，?x(G(x) ∧H(x)→I(x))，F(a)，H(a) 2分
结论：I(a) 1分
证明：①?x(F(x)→G(x)) P
②F(a)→G(a) US①
③F(a) P
④G(a) T②③
⑤H(a) P
⑥G(a)∧H(a) T④⑤
⑦?x(G(x) ∧H(x)→I(x)) P
⑧G(a) ∧H(a)→I(a) US⑦
⑨I(a) T⑥⑧
广东工业大学试卷用纸，共 4 页，第4 页
华南农业大学期末考试试卷（A 卷） 2013-2014学年第 一 学期 考试科目： 离散结构 考试类型：（闭卷）考试 考试时间： 120 分钟 学号 姓名 年级专业 ①本试题分为试卷与答卷2部分。试卷有四大题，共6页。 ②所有解答必须写在答卷上，写在试卷上不得分。 一、选择题（本大题共 25 小题，每小题 2 分，共 50 分） 1、下面语句是简单命题的为_____。 A 、3不是偶数 B 、李平既聪明又用功 C 、李平学过英语或日语 D 、李平和张三是同学 2、设 p:他主修计算机科学, q:他是新生，r:他可以在宿舍使用电脑，下列命题“除非他不是新生，否则只有他主修计算机科学才可以在宿舍使用电脑。”可以符号化为______。 A 、r q p →?∧? B 、r q p ?→∧? C 、r q p →?∧ D 、r q p ∧→ 3、下列谓词公式不是命题公式P →Q 的代换实例的是______。 A 、)()(y G x F → B 、),(),(y x yG y x xF ?→? C 、))()((x G x F x →? D 、)()(x G x xF →? 4、设个体域为整数集，下列公式中其值为 1的是_____。 A 、)0(=+??y x y x B 、)0(=+??y x x y C 、)0(=+??y x y x D 、)0(=+???y x y x
2 5、下列哪个表达式错误_____。 A 、 B x xA B x A x ∧??∧?)())(( B 、B x xA B x A x ∨??∨?)())(( C 、B x xA B x A x →??→?)())(( D 、)())((x xA B x A B x ?→?→? 6、下述结论错误的是____。 A 、存在这样的关系，它可以既满足对称性，又满足反对称性 B 、存在这样的关系，它可以既不满足对称性，又不满足反对称性 C 、存在这样的关系，它可以既满足自反性，又满足反自反性 D 、存在这样的关系，它可以既不满足自反性，又不满足反自反性 7、集合A 上的关系R 为一个等价关系，当且仅当R 具有_____。 A 、自反性、对称性和传递性 B 、自反性、反对称性和传递性 C 、反自反性、对称性和传递性 D 、反自反性、反对称性和传递性 8、下列说法不正确的是：______。 A 、R 是自反的，则2R 一定是自反的 B 、R 是反自反的，则2R 一定是反自反的 C 、R 是对称的，则2R 一定是对称的 D 、R 是传递的，则2R 一定是传递 9、设R 和S 定义在P 上，P 是所有人的集合，=R {x P y x y x ∧∈><,|,是y 的父亲}，=S {x P y x y x ∧∈><,|,是y 的母亲}，则关系{y P y x y x ∧∈><,|,是的x 外祖父}的表达式是：______。 A 、11--R R B 、11--S R C 、11--S S D 、11--R S 10、右图描述的偏序集中，子集},,{f e b 的上界为_____。 A 、c b , B 、b a , C 、b D 、c b a ,, 11、以下整数序列，能成为一个简单图的顶点度数序列的是_____。 A 、1，2，2，3，4，5
《数学模型》课程教学大纲 Mathematics Modeling 课程编号：课程性质：专业基础理论课/ 选修 适用专业：信息安全、统计开课学期：4 学时数：56 学分数：3.5 编写年月：2006年6月修订年月：2007年1月 执笔者：陈学松 一、课程的性质、目的及任务 随着科学技术和计算机的迅速发展，数学向各个领域的广泛渗透已日趋明显，数学不仅在传统的物理学、电子学和工程技术领域继续发挥着重要的作用，而且在经济、人文、体育等社会科学领域也成为必不可少的解决问题工具。“数学建模”课是培养学生在实际问题中的数学应用意识、训练学生把科技、社会等领域中的实际问题按照既定的目标归结为数学形式，以便于用数学方法求解得出更深刻的规律和属性，提高学生数学建模素质的一门数学应用类课程。因此，设立数学建模课程的意义在于：提高学生的数学素质和应用数学知识解决实际问题的能力，大力培养应用型人才。本课程是沟通实际问题与数学工具之间联系的必不可少的桥梁。是一门充分应用其它各数学分支的应用类课程，其主要任务不是“学数学”，而是学着“用数学”，是为培养善于运用数学知识建立实际问题的数学模型，从而善于解决实际问题的应用型数学人材服务的。通过本课程的学习，使学生较为系统的获得利用数学工具建立数学模型的基本知识、基本技能与常用技巧，培养学生的抽象概括问题的能力，用数学方法和思想进行综合应用与分析问题的能力，并着力导引实践—理论—实践的认识过程，培养学生辩证唯物主义的世界观。 二.课程教学基本要求 通过本课程的学习，使学生了解数学建模是利用数学知识构造刻划客观事物原型的数学模型，利用计算机解决实际问题的一种科学方法。掌握数学建模的基本步骤，即从实际问题出发，遵循“实践——认识——实践”的辨证唯物主义认识规律，紧紧围绕建模的目的，运用观察力、想象力和逻辑思维，对实际问题进行抽象、简化、反复探索、逐步完善，直到构造出一个能够用于分析、研究和解决实际问题的数学模型。会利用数学知识和计算机解决问题，并能够撰写符合要求的数学建模论文。 三．课程教学基本内容、重点和难点 本课程的目的不是向学生传授系统的数学知识，而是将已学过的知识灵活运用到实际问题当中。其教学要求是逐步培养学生能够将实际问题“翻译”为数学语言，并予以求解，然后再解释实际现象，继而应用于实际的思想方法，最终提高学生的数学素质和应用数学知识
广工2013年数值计算方法期末试卷
1、舍入误差是( )产生的误差。 A 只取有限位数 B 模型准确值与用数值方法求得的准确值 C 观察与测量 D 数学模型准确值与实际值 2、设求方程()0=x f 的根的牛顿迭代收敛，则它具有_ __收敛。 A 线性 B 至少平方 C 平方 D 三次 3、用1+3x 近似表示3 1x +所产生的误差是( )误差。 A 舍入 B 观测 C 模型 D 截断 4、3.141580是π的有( )位有效数字的近似值。 A 6 B 5 C 4 D 7 5、用选主元法解方程组b AX =，是为了_ ___。 A 提高运算速度 B 减少舍入误差 C 增加有效数字 D 方便计算 6、求解线性方程组Ax =b 的LU 分解法中，A 须满足的条件是( )。 A 对称阵 B 正定矩阵 C 任意阵 D 各阶顺序主子式均不为零 广东工业大学考试试卷 ( A ) 课程名称: 数值计算方法 试卷满分 100 分 考试时间: 年 月 日 (第 周 星期 ) 题 号 一 二 三 四 五 六 七 八 九 十 总分 评卷得分 评卷签名 复核得分 复核签名 一、 单项选择题（每题3分，共45分）
A y=?(x)与x 轴交点的横坐标 B y=x 与y=?(x)交点的横坐标 C y=x 与x 轴的交点的横坐标 D y=x 与y=?(x)的交点 8、用列主元消去法解线性方程组?? ? ??-=+--=-+-=+-1 340921 43321321321x x x x x x x x x ，第1次消元，选择 主元为( ) 。 A －4 B 3 C 4 D －9 9、采用全主元消去法解线性方程组，程序结束后，得到的跟踪数组为：z(1)=3, z(2)=2, z(3)=1; 解为：c x b x a x ===321,,。那么该方程组的最终解3 21,,x x x 分别为（ ） A c b a ,, B a c b ,, C b a c ,, D a b c ,, 10、为求方程x 3－x 2－1=0在区间[1.3,1.6]内的一个根，把方程改写成下列形式，并建立相应的迭代公式，迭代公式不收敛的是( )。 A 1 1:,1 1 12 -=-= +k k x x x x 迭代公式 B 2 121 1:,11k k x x x x +=+ =+迭代公式 C 3 /1212 3 )1(:,1k k x x x x +=+=+迭代公式 D 1:,12 2 3 +==-k x x x x 迭代公式
2006-2007学年第2学期 2005级《离散数学2》期末考试试题(A卷) 考试时间：2007年6月班级_______________________ 学号_____________________ 姓名_____________________ 请将答案写在答题纸上，写明题号，不必抄题，字迹工整、清晰； 请在答题纸和试题纸上都写上你的班级，学号和姓名，交卷时请将试题纸、答题纸和草纸一并交上来。 一.综合体(30分，每题3分) 1. 求( 1 3 5 ) (2 5 4 ) (3 4 ) 2. 只有两个生成元的循环群一定是有限循环群吗？并说明理由。 3. 有限循环群中是否一定存在周期与群的元数相等的元素？ 4. 下面哪个是域GF( 16)的真子域 (A)GF (6) ;(B)GF ⑷;(C)GF(8);(D)GF(16) 5. 有限布尔代数的元素个数必定是如下哪个形式？ (A)2n;(B)n 2 ;(C)2 n;(D)4n. 6. 下列代数系统(S, *)中，哪个是群？ (A) S={0,1,3,5},* 是模7的乘法；(B) S是有理数集合，*运算是普通乘法； (C) S是整数集合，*是普通乘法；(D) S={1,3,4,9},* 是模11的乘法。 7. 设A={0,1,2,3,4},运算为模5加法，请给出A的所有子群。 8. n元恒等置换是奇置换还是偶置换？对换呢？ 9?请给出一个有余，但不是分配格的例子。 10.设R是模12的整数环，R={0,1,2,…,11},下面哪一个是极大理想： (A) 6R; (B)2R; (C)4R; (D)8R 二.计算题(25分，每题5分) 1. 计算分圆多项式①24(X). 2. 设(Z,+)为整数加法群，(C*,??)为非零复数的乘法群，令 f: n -i n ,是Z到C*中的同态映射，请求出f的同态核。 3. 在R上求出x+2除2X5+4X3+3X2+1所得的商式和余式。 4. 设G是3次对称群，H是由I和(13)作成的子群，求H得所有右陪集。 5. 设A={0,1,2,3,4,5}, 运算为模6加法，请给出A中所有元素的周期。 三.(10分)证明或者反驳：f(x)=3x 5+5X2+1 四.(10分)设(G, *)是群，(A, *)和(B，*)是它的两个子群，C={a*b|a € A, b€ B}.证明：若*满足交换律，则(C, *)也是(G，*)的子群。 五.(10分)设Z是整数集合，X={(a,b)|a,b € Z},定义X上的二元运算①和。 如下：对任意(ab) ,(a 2,b2)€ X,有： (a1b"e (a2,b2)= (a+a?,b1+b2), (a1bJ O (a2,b2)= (ax a2,b 1X b)，其中，+，x分别是整数加法与乘法。 证明：(X，?，O)是环，如果此环有零因子请给出它们
《离散数学》期末复习题 一、填空题（每空2分，共20分） 1、集合A上的偏序关系的三个性质是、 和。 2、一个集合的幂集是指。 3、集合A={b,c}，B={a,b,c,d,e}，则A?B= 。 4、集合A={1,2,3,4}，B={1,3,5,7,9}，则A?B= 。 5、若A是2元集合, 则2A有个元素。 6、集合A={1,2,3｝，A上的二元运算定义为：a* b = a和b两者的最大值，则 2*3= 。 7、设A={a, b,c,d }, 则∣A∣= 。 8、对实数的普通加法和乘法，是加法的幂等元， 是乘法的幂等元。 9、设a,b,c是阿贝尔群
19、代数系统是指由及其上的或 组成的系统。 20、设
数据库原理实验报告 学院计算机学院 专业计算机科学与技术班级2011 级7 班 学号3111XXXX 姓名XXX 指导教师明俊峰 （2013 年11 月）
计算机学院计算机专业2011（7）班学号：3111 姓名：协作者：________ 教师评定： 实验__一__题目__ 数据库及基本表的建立 _ 实验__二__题目__ 设计数据完整性 __ 实验__三__题目__ 查询数据库 __ 实验平台：SQL Server 2005
计算机学院计算机专业2011（7）班学号：3111 姓名：协作者：________ 教师评定： 实验题目一、数据库及基本表的建立 一、实验目的 1、掌握SQL SERVER的查询分析器和企业管理器的使用； 2、掌握创建数据库和表的操作； 二、实验内容和要求 1、分别使用SQL语句、企业管理器（Enterprise Manager）创建数据库； 2、使用SQL语句、企业管理器（Enterprise Manager）创建数据库表； 三、实验主要仪器设备和材料 1．计算机及操作系统：PC机，Windows 2000/xp； 2．数据库管理系统：SQL sever 2000/2003/2005； 四、实验方法、步骤及结果测试 创建一个教学管理数据库SC，其描述的信息有：学生信息、课程信息、教师信息、学生选课成绩、授课信息、班级信息、系部信息、专业信息。 创建：student表(学生信息表)、course表（课程信息表)、teacher表（教师信息表)、student _course表（学生选课成绩表)、teacher_course表（教师上课课表）等。 1、创建数据库： 确定数据库名称；数据库用于学生管理，命名为SC 确定数据库的位置；要求：数据文件和日志文件分别存储在E盘自己的目录下。 确定数据库的大小；根据实际的数据量确定数据文件的初始大小为30MB，日志文件的初始大小为3MB。 确定数据库的增长；根据实际情况，确定数据文件按20%增长，日志文件按1MB增长。（1）、利用查询分析器（Query Analyzer），使用SQL语句指定参数创建数据库； 1
本科高等数学离散数学试题及答案 一、填空题 1设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; ρ(A) - ρ(B)＝__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G＝?(P→Q)∧R，则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树，G有7个点，其中4个叶点，则G的总度数为__________，分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B＝_________________________; A?B＝_________________________;A－B＝_____________________ . 7. 设R是集合A上的等价关系，则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G＝?(P→(Q∧R))，则使公式G为真的解释有__________________________，_____________________________, __________________________. 9. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B，|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A＝{2, 3, 4, 5, 6}，R是A上的整除，则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x)，则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树，则G中增加_________条边才能把G变成完全图。
1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→，前键为真，后键为假才为假；<—>，相同为真，不同为假； 2.主析取范式：极小项(m)之和；主合取范式：极大项(M)之积； 3.求极小项时，命题变元的肯定为1，否定为0，求极大项时相反； 4.求极大极小项时，每个变元或变元的否定只能出现一次，求极小项时变元不够合取真，求极大项时变元不够析取假； 5.求范式时，为保证编码不错，命题变元最好按P ,Q,R 的顺序依次写； 6.真值表中值为1的项为极小项，值为0的项为极大项； 7.n 个变元共有n 2个极小项或极大项，这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取； 8.永真式没有主合取范式，永假式没有主析取范式； 9.推证蕴含式的方法(=>)：真值表法；分析法(假定前键为真推出后键为真，假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法：P 规则，T 规则 ①真值表法；②直接证法；③归谬法；④附加前提法； 3.谓词逻辑 1.一元谓词：谓词只有一个个体，一元谓词描述命题的性质； 多元谓词：谓词有n 个个体，多元谓词描述个体之间的关系； 2.全称量词用蕴含→，存在量词用合取^; 3.既有存在又有全称量词时，先消存在量词，再消全称量词； 4.集合 1.N ，表示自然数集，1,2,3……，不包括0； 2.基：集合A 中不同元素的个数，|A|； 3.幂集：给定集合A ，以集合A 的所有子集为元素组成的集合，P(A)； 4.若集合A 有n 个元素，幂集P(A)有n 2个元素，|P(A)|=||2A =n 2； 5.集合的分划：(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合； ②这几个子集相交为空，相并为全(A)； 6.集合的分划与覆盖的比较： 分划：每个元素均应出现且仅出现一次在子集中； 覆盖：只要求每个元素都出现，没有要求只出现一次； 5.关系 1.若集合A 有m 个元素，集合B 有n 个元素，则笛卡尔A ×B 的基数为mn ，A 到B 上可以定义mn 2种不同的关系； 2.若集合A 有n 个元素，则|A ×A|=2n ，A 上有22n 个不同的关系； 3.全关系的性质：自反性，对称性，传递性； 空关系的性质：反自反性，反对称性，传递性； 全封闭环的性质：自反性，对称性，反对称性，传递性； 4.前域(domR)：所有元素x 组成的集合； 后域(ranR)：所有元素y 组成的集合； 5.自反闭包：r(R)=RU Ix ; 对称闭包：s(R)=RU 1-R ; 传递闭包：t(R)=RU 2R U 3R U …… 6.等价关系：集合A 上的二元关系R 满足自反性，对称性和传递性，则R 称为等价关系； 7.偏序关系：集合A 上的关系R 满足自反性，反对称性和传递性，则称R 是A 上的一个偏序关系； 8.covA={
广东工业大学计算机科学与技术张法光 离散数学C语言上机题 Anyview 可视化编程作业系统 二元关系章节编程题 EX 01 6.01③试设计一算法， 实现集合的卡氏积运算。 实现下列函数： /** * 进行两个集合的卡氏积运算 * @param pA：要进行卡氏积运算的集合 * @param pB：要进行卡氏积运算的集合 * @return: 将pA和pB进行卡氏积运算后得到的集合 */ pCartersianSet CartesianProduct(pOriginalSet pA, pOriginalSet pB) { pCartersianSet pC=createNullCartersianSet(); //空卡 for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA)) { // 空卡←序偶插入← 建立序偶← 条件语句 for(resetOriginalSet(pB);!isEndOfOriginalSet(pB);nextOriginalSetPos(pB)) OrderedCoupleInsertToCartersianSet(pC,createOrderedCouple(getCurrentOriginalSetElem(pA),g etCurrentOriginalSetElem(pB))); } return pC; } 02 6.02②试设计一算法， 给定集合A、集合B和集合C，判断集合C是否为A到B的一个二元关系。 实现下列函数： /** * 给定集合A、集合B和集合C，判断集合C是否为A到B的一个二元关系。 * @param pA：集合A * @param pB：集合B * @param pC：集合C * @return: 如果集合C是A到B的一个二元关系，则返回true，否则返回false。 */
一、填空题 1设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝__{3}__________________; ρ(A) - ρ(B)＝___________________{3},{1,3},{2,3},{123}______ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = _____2^(n^2)_____________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G＝?(P→Q)∧R，则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树，G有7个点，其中4个叶点，则G的总度数为__________，分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B＝_________________________; A?B＝_________________________;A－B＝_____________________ . 7. 设R是集合A上的等价关系，则R所具有的关系的三个特性是__自反，对称，传递 ____________________, ________________________, _______________________________. 8. 设命题公式G＝?(P→(Q∧R))，则使公式G为真的解释有__________________________，_____________________________, __________________________. 9. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2= {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B，|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合，其中R是实数集，A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A＝{2, 3, 4, 5, 6}，R是A上的整除，则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x)，则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树，则G中增加_________条边才能把G变成完全图。 16. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除，写成与之对应的命题公