安工大离散数学试卷

2010---2011学年第一学期期末考试《离散数学B》试卷（A）一．单项选择题(每题2分，共30分)

1、设A是正整数集，R={(x，y)|x，y∈A∧x+3y=12}，则R∩({3，4，6}×{2，3，4})=（）. A．O/B．{<3，3>}

C．{<3，3>，<6，2>} D．{<3，3>，<3，4>，<6，2>}

2、设有A={a,b,c}上的关系R={,,,,，}，则R具有( )

A. 自反性

B. 对称性

C. 传递性

D. 反对称性

3、若A-B=Ф，则下列哪个结论不可能正确？( )

(A) A=Ф(B) B=Ф(C) A B (D) B A

4、判断下列命题哪个正确？()

(A) 若A∪B＝A∪C，则B＝C

(B) {a,b}={b,a}

(C) P(A∩B)P(A)∩P(B) （P(S)表示S的幂集）

(D) 若A为非空集，则A A∪A成立。

5、设A={a,{a}}，下列命题错误

．．的是（）。

(A) {a}P(A)(B) {a}P(A)(C) {{a}}P(A)(D) {{a}}P(A)

6、集合的以下运算律不成立

．．．的是( ).

A. A∩B=B∩A

B. A∪B=B∪A

C. A B=B A

D. A-B=B-A

7、下述不是命题的是( ).

A. 今天天气真好啊!

B. 明天下雨.

C. 2是偶数.

D. 这朵花是红色的

8、设P,Q,R是命题公式,则?（P→R）( ).

A. ?P

B. P→R

C. R

D. ┐R

9、设B是不含变元x的公式，谓词公式(x)(A(x)→B)等价于( )

A.(x)A(x)→B

B. (x)A(x)→B

C. A(x)→B

D.(x)A(x)→(x)B

10、谓词公式(x)(P(x)∨(y)R(y))→Q(x)中的x( ).

A.只是约束变元

B.只是自由变元

C.既非约束变元又非自由变元

D.既是约束变元又是自由变元

11、设个体域A={a,b}，公式xP(x)∧xS(x)在A中消去量词后应为（）.

A．P(x)∧S(x) B．P(a)∧P(b)∧(S(a)∨S(b))

C．P(a)∧S(b) D．P(a)∧P(b)∧S(a)∨S(b)

12、设R为实数集，函数f：R→R，f(x)=2x，则f是（）.

A．满射函数B．入射函数

C．双射函数D．非入射非满射

13、下列运算中关于整数集不能

．．构成半群的是（）.

A．a b=max{a, b} B．a b=b

C．a b=2ab D．a b=|a-b|

14、设G是连通平面图，G中有6个顶点8条边，则G的面的数目是（）.

A．2个面B．3个面C．4个面D．5个面

15、给定n个结点的一个图，它还是一个树的下列说法中，（）是不对

．．的。

A.无回路的连通图

B.无回路但若增加一条新边就会形成回路

C.连通且e=v-1，其中e是边数，v是结点数

D.所有结点的度数≥2

二、填空题（每空1分，共20分）

1、命题P：若3+2＞5，则三角形有3条边。P 的真值为_______。

2、命题“存在一些人是大学生”的否定是_________________________。

3、使公式(x)(y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的条件是______不含有y，

______不含有x.

4、A={1,2,3,4}上二元关系R={〈2，4〉，〈3，3〉，〈4，2〉}，R的关系矩阵M R中m14= ____________

5、设A={1，2，3}，则A上的二元关系有个，若R是集合A上的全域关系，则集合A关于R的商集为。

6、设X={1，2，3}，函数f：X→X，函数g：X→X，f={<1, 2>,<2,3>,<3,1>},

g={<1,2>,<2,3>,<3,3>}，则f g=_____________________________________，

g f=___________________________________.

7、当f:X→Y是_____函数时，f有逆函数，且f -1。f=_____。

8、设A={1,5,8}，A上的二元运算*定义为：a*b=max{a,b}，则在独异点中，幺元是____________，零元是____________。

9、设〈B,∧,∨,′，0，1〉是布尔代数，其中′代表补运算，对任意的a∈B,有a∨a′=____,a ∧a′=______.

10、设图G1=, G2=,且E2 E1，如果，则称G2是G1的子图，如果，则称G2是G1的生成子图。

11、下图的点连通度为，边连通度为_________.

12、在一棵有2个2度顶点，3个3度顶点，其余顶点都是树叶的无向树中应该有_________

片树叶。

三、计算题（每5分，共20分）

1、给定个体域D={a,b},A(a,a)=T,A(a,b)=F,A(b,a)=F,A(b,b)=T,试求(x)(y)A(x,y)

的真值。

2、设A={a,b,c,d}, R={〈a,c〉，〈c,b〉，〈b,b〉，〈a,d〉}，求r(R)，s(R) ，t(R)。

3、已知集合A={2,3,4,6,8}，B={2,3,6}，R是A上的整除关系，求盖住集，画出R的哈斯图，并求B的最大元、最小元，极大元、极小元，上界、上确界，下界、下确界。

4、求命题公式(?P→Q)∧(R∨?P)的主析取范式和主合取范式。

四、证明题（每题10分，共30分）

1、将下列推理符号化并给出形式证明：

每一个大学生不是文科生就是理科生；有的大学生是优等生；小张不是文科生但他是优等生。因此，如果小张是大学生，他就是理科生。

设P(x)：x是大学生，Q(x)：x是文科生，S(x)：x是理科生，T(x)：x是优等生，c：小张。

2、设为群。若在G上定义二元运算о,使得对任何元素x，y∈G，有xоy = y*x。证明也是群。

3、若R和S都是非空集A上的等价关系，证明R?S是A上的等价关系。

广东工业大学应用数学学院数学建模教学大纲Word版

《数学模型》课程教学大纲 Mathematics Modeling 课程编号：课程性质：专业基础理论课/ 选修 适用专业：信息安全、统计开课学期：4 学时数：56 学分数：3.5 编写年月：2006年6月修订年月：2007年1月 执笔者：陈学松 一、课程的性质、目的及任务 随着科学技术和计算机的迅速发展，数学向各个领域的广泛渗透已日趋明显，数学不仅在传统的物理学、电子学和工程技术领域继续发挥着重要的作用，而且在经济、人文、体育等社会科学领域也成为必不可少的解决问题工具。“数学建模”课是培养学生在实际问题中的数学应用意识、训练学生把科技、社会等领域中的实际问题按照既定的目标归结为数学形式，以便于用数学方法求解得出更深刻的规律和属性，提高学生数学建模素质的一门数学应用类课程。因此，设立数学建模课程的意义在于：提高学生的数学素质和应用数学知识解决实际问题的能力，大力培养应用型人才。本课程是沟通实际问题与数学工具之间联系的必不可少的桥梁。是一门充分应用其它各数学分支的应用类课程，其主要任务不是“学数学”，而是学着“用数学”，是为培养善于运用数学知识建立实际问题的数学模型，从而善于解决实际问题的应用型数学人材服务的。通过本课程的学习，使学生较为系统的获得利用数学工具建立数学模型的基本知识、基本技能与常用技巧，培养学生的抽象概括问题的能力，用数学方法和思想进行综合应用与分析问题的能力，并着力导引实践—理论—实践的认识过程，培养学生辩证唯物主义的世界观。 二.课程教学基本要求 通过本课程的学习，使学生了解数学建模是利用数学知识构造刻划客观事物原型的数学模型，利用计算机解决实际问题的一种科学方法。掌握数学建模的基本步骤，即从实际问题出发，遵循“实践——认识——实践”的辨证唯物主义认识规律，紧紧围绕建模的目的，运用观察力、想象力和逻辑思维，对实际问题进行抽象、简化、反复探索、逐步完善，直到构造出一个能够用于分析、研究和解决实际问题的数学模型。会利用数学知识和计算机解决问题，并能够撰写符合要求的数学建模论文。 三．课程教学基本内容、重点和难点 本课程的目的不是向学生传授系统的数学知识，而是将已学过的知识灵活运用到实际问题当中。其教学要求是逐步培养学生能够将实际问题“翻译”为数学语言，并予以求解，然后再解释实际现象，继而应用于实际的思想方法，最终提高学生的数学素质和应用数学知识

离散数学考试题详细答案

离散数学考试题(后附详细答案) 一、命题符号化（共6小题，每小题3分，共计18分） 1.用命题逻辑把下列命题符号化 a)假如上午不下雨，我去看电影，否则就在家里读书或看报。 设P表示命题“上午下雨”，Q表示命题“我去看电影”，R表示命题“在家里读书”，S表示命题“在家看报”，命题符号化为：（PQ）(PRS) b)我今天进城，除非下雨。 设P表示命题“我今天进城”，Q表示命题“天下雨”，命题符号化为：Q→P或P→Q c)仅当你走，我将留下。 设P表示命题“你走”，Q表示命题“我留下”，命题符号化为：Q→P 2.用谓词逻辑把下列命题符号化 a)有些实数不是有理数 设R(x)表示“x是实数”，Q(x)表示“x是有理数”，命题符号化为： x(R(x) Q(x)) 或x(R(x) →Q(x)) b)对于所有非零实数x，总存在y使得xy=1。 设R(x)表示“x是实数”，E(x,y)表示“x=y”,f(x,y)=xy, 命题符号化为： x(R(x) E(x,0) →y(R(y) E(f(x,y),1)))) c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B，使得f(a)=b. 设F(f)表示“f是从A到B的函数”, A(x)表示“x∈A”, B(x)表示“x∈B”,E(x,y)表示“x=y”, 命题符号化为：F(f)a(A(a)→b(B(b) E(f(a),b) c(S(c) E(f(a),c) →E(a,b)))) 二、简答题（共6道题，共32分） 1.求命题公式(P→(Q→R))(R→(Q→P))的主析取范式、主合取范式，并写出所有成真赋值。 （5分） (P→(Q→R))(R→(Q→P))（PQR）(PQR) (（PQR）→(PQR)) ((PQR) →（PQR）). (（PQR）(PQR)) ((PQR) （PQR）) (PQR)(PQR) 这是主合取范式 公式的所有成真赋值为000,001,010,100,101,111,故主析取范式为 （PQR（PQR（PQR（PQR（PQR（PQR 2.设个体域为{1,2,3}，求下列命题的真值（4分） a)xy(x+y=4) b)yx (x+y=4) a) T b) F 3.求x(F(x)→G(x))→(xF(x)→xG(x))的前束范式。（4分） x(F(x)→G(x))→(xF(x)→xG(x)) x(F(x)→G(x))→(yF(y)→zG(z)) x(F(x)→G(x))→yz(F(y)→G(z)) xyz((F(x)→G(x))→(F(y)→G(z))) 4.判断下面命题的真假，并说明原因。（每小题2分，共4分）

离散数学试题与参考答案

《离散数学》试题及答案 一、选择题：本题共5小题，每小题3分，共15分，在每小题给出的四个选项中，只有一项是符合题目要求的。 1. 命题公式Q Q P →∨)(为 ( ) (A) 矛盾式 (B) 可满足式 (C) 重言式 (D) 合取范式 2．设P 表示“天下大雨”， Q 表示“他在室内运动”，则命题“除非天下大雨，否则他不在室内运动”符号化为（ ）。 (A)． P Q →； (B)．P Q ∧； (C)．P Q ?→?； (D)．P Q ?∨． 3.设集合A ={{1,2,3}, {4,5}, {6,7,8}}，则下式为真的是( ) (A) 1A (B) {1,2, 3}A (C) {{4,5}}A (D) A 4. 设A ＝{1,2},B ={a ,b ,c },C ={c ,d }, 则A ×(B C )= ( ) (A) {<1,c >,<2,c >} (B) {,<2,c >} (C) {,} (D) {<1,c >,} 5. 设G 如右图：那么G 不是( ). (A)哈密顿图； (B)完全图； (C)欧拉图； (D) 平面图. 二、填空题：本大题共5小题，每小题4分，共20分。把答案填在对应题号后的横线上。 6. 设集合A ={,{a }}，则A 的幂集P (A )= 7. 设集合A ={1,2,3,4 }, B ={6,8,12}, A 到B 的关系R ＝},,2,{B y A x x y y x ∈∈=><, 那么R －1＝ 8. 在“同学，老乡，亲戚，朋友”四个关系中_______是等价关系. 9. 写出一个不含“→”的逻辑联结词的完备集 . 10.设X ＝{a ,b ,c }，R 是X 上的二元关系，其关系矩阵为 M R ＝???? ? ?????001001101，那么R 的关系图为

2013广工数据库实验报告

数据库原理实验报告 学院计算机学院 专业计算机科学与技术班级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

(完整版)离散数学试卷及答案

离散数学试题（A卷答案） 一、（10分）求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解：(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、（10分）在某次研讨会的休息时间，3名与会者根据王教授的口音分别作出下述判断： 甲说：王教授不是苏州人，是上海人。 乙说：王教授不是上海人，是苏州人。 丙说：王教授既不是上海人，也不是杭州人。 王教授听后说：你们3人中有一个全说对了，有一人全说错了，还有一个人对错各一半。试判断王教授是哪里人？ 解设设P：王教授是苏州人；Q：王教授是上海人；R：王教授是杭州人。则根据题意应有： 甲：?P∧Q 乙：?Q∧P 丙：?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以，丙至少说对了一半。因此，可得甲或乙必有一人全错了。又因为，若甲全错了，则有?Q ∧P，因此，乙全对。同理，乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为：

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此，王教授是上海人。 三、（10分）证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系，则由定理4.19知，tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系，则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )＝'R ，进而有tsr (R )?t ('R )＝'R 。 综上可知，tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、（15分）集合A ＝{a ，b ，c ，d ，e }上的二元关系R 为R ＝{，，，，，，，，，，，，，}， (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系，为什么？ 解 (1) R 的关系矩阵为： ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知，对角线上所有元素全为1，故R 是自反的；ij r ＋ji r ≤1，故R 是反对称的；可计算对应的关系矩阵为：

山东大学离散数学题库及答案

《离散数学》题库答案 一、选择或填空 （数理逻辑部分） 1、下列哪些公式为永真蕴含式？( ) (1)?Q=>Q →P (2)?Q=>P →Q (3)P=>P →Q (4)?P ∧(P ∨Q)=>?P 答：（1），（4） 2、下列公式中哪些是永真式？( ) (1)(┐P ∧Q)→(Q →?R) (2)P →(Q →Q) (3)(P ∧Q)→P (4)P →(P ∨Q) 答：（2），（3），（4） 3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P ∧Q (2) P ∧Q=>P (3) P ∧Q=>P ∨Q (4)P ∧(P →Q)=>Q (5) ?(P →Q)=>P (6) ?P ∧(P ∨Q)=>?P 答：（2），（3），（4），（5），（6） 4、公式 x((A(x) B(y ，x)) z C(y ，z))D(x)中，自由变元是( )，约束变元是( )。 答：x,y, x,z 5、判断下列语句是不是命题。若是，给出命题的真值。( ) (1) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。 (3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。 (5) 前进！ (6) 给我一杯水吧！ 答：（1） 是，T （2） 是，F （3） 不是 （4） 是，T （5） 不是 （6） 不是 6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。 答：所有人都不是大学生，有些人不会死 7、设P ：我生病，Q ：我去学校，则下列命题可符号化为( )。 (1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校 (3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校 答：（1） P Q →? （2） Q P ?→ （3） Q P ?? （4）Q P →? 8、设个体域为整数集，则下列公式的意义是( )。 (1) x y(x+y=0) (2) y x(x+y=0) 答：（1）对任一整数x 存在整数 y 满足x+y=0（2）存在整数y 对任一整数x 满足x+y=0 9、设全体域D 是正整数集合，确定下列命题的真值： (1) x y (xy=y) ( ) (2) x y(x+y=y) ( ) (3) x y(x+y=x) ( ) (4) x y(y=2x) ( ) 答：（1） F （2） F （3）F （4）T 10、设谓词P(x)：x 是奇数，Q(x)：x 是偶数，谓词公式 x(P(x)Q(x))在哪个个体域中为真?( ) (1) 自然数 (2) 实数 (3) 复数 (4) (1)--(3)均成立 答：（1） 11、命题“2是偶数或-3是负数”的否定是（ ）。 答：2不是偶数且-3不是负数。 12、永真式的否定是（ ） (1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能 答：（2） 13、公式(?P ∧Q)∨(?P ∧?Q)化简为（ ），公式 Q →(P ∨(P ∧Q))可化简为（ ）。 答：?P ，Q →P

离散数学C语言上机题

广东工业大学计算机科学与技术张法光 离散数学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。 */

离散数学试卷及答案一

一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选项中只有 一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路 2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是( ) A.10 B.12 C.16 D.14 3.在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(a’∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.〈{i},·〉 D.〈{-i},·〉 5.设Z为整数集，A为集合，A的幂集为P(A),+、-、/为数的加、减、除运算，∩为集合的交 运算，下列系统中是代数系统的有( ) A.〈Z，+，/〉 B.〈Z，/〉 C.〈Z，-，/〉 D.〈P(A)，∩〉 6.下列各代数系统中不含有零元素的是( ) A.〈Q，*〉Q是全体有理数集，*是数的乘法运算 B.〈Mn(R),*〉,Mn(R)是全体n阶实矩阵集合，*是矩阵乘法运算 C.〈Z，ο〉，Z是整数集，ο定义为xοxy=xy,?x,y∈Z D.〈Z，+〉，Z是整数集，+是数的加法运算 7.设A={1,2,3}，A上二元关系R的关系图如下： R具有的性质是 A.自反性 B.对称性 C.传递性 D.反自反性 8.设A={a,b,c}，A上二元关系R={〈a,a〉，〈b,b〉,〈a,c〉}，则关系R的对称闭包S(R)是( ) A.R∪I A B.R C.R∪{〈c,a〉} D.R∩I A 9.设X={a,b,c},Ix是X上恒等关系，要使Ix∪{〈a,b〉，〈b,c〉，〈c,a〉，〈b,a〉}∪R为X上的 等价关系，R应取( ) A.｛〈c,a〉，〈a,c〉｝ B.{〈c,b〉，〈b,a〉} C.{〈c,a〉，〈b,a〉} D.{〈a,c〉，〈c,b〉} 10.下列式子正确的是( ) A. ?∈? B.??? C.{?}?? D.{?}∈? 11.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):x

数据库实验报告大全 广工 蔡延光版

自动化学院自动化专业班学号 姓名实验时间2011.3.14 教师评定 实验题目数据定义 实验报告一 一、实验目的与要求 目的：使用SQL语言实现数据库的创建、删除；基本表的创建、删除、更新工作；以及索引的创建、删除工作。 要求：1、在SQL SERVER 2000查询分析器中，利用SQL语言中CREATE、DROP 命令实现数据库的创建及删除工作。 2、在SQL SERVER 2000查询分析器中，利用SQL语言中CREATE、ALTER及DROP命令进行基本表的创建、更新、删除工作，并实现基本表中各类完整性约束条件的限定。 3、在SQL SERVER 2000查询分析器中，利用SQL语言中CREATE、ALTER及DROP命令进行基本表中索引的创建、更新、删除工作。 4、完成上述工作后，在SQL SERVER 2000企业管理器中，查看是否成功创建实验所要求数据库、基本表、各类完整性约束条件及索引等内容。 二、实验方案 所有实验内容必须在SQL Server 2000的查询分析器中完成，设置查询分析器的结果区为Standard Execute（标准执行）或Executed Grid(网格执行)方式．发布执行命令．并在结果区中查看查询结果，如果结果不正确则需要进行修改，直到正确为止。要求完成如下内容： 1．定义数据库 定义一个借阅数据库，要求所定义的数据库大小为1M，且数据库名称为Labery_学号。 2．定义下列数据库基本表 在所定义的借阅数据库Labery_学号中，按要求定义如下数据库表： 1）书（book）

列名别名类型及长度是否可为空书号bno char(8)否 类别category varchar(10)否 书名title varchar(40)否 出版社press varchar(30)是 年份book_year Int否 作者author char(20)是 价格price decimal(7,2)否 总藏书量book_total Int否 2）借书证（card） 列名别名类型及长度是否可为空卡号cno char(7)否 姓名name char(8)否 单位department varchar(40)是 类别type char(1)否 3）借书记录（borrow） 列名别名类型及长度是否可为空卡号cno char(7)否 书号bno char(8)否 借书日期borrow_date smalldatetime否 还书日期return_date smalldatetime是 3．完整性约束条件： 主要内容为： 1）确定各基本表的主码； 2）确定各基本表的外码； 3）要求在定义各基本表的同时，确定如下完整性约束条件 1、定义各基本表主码，并且要求主属性不能为空； 2、如果有外码，定义各基本表外码； 3、要求检查借书证中属性Type的值是否为('T','G','U','F'))； 4、借书记录borrow基本表中borrow_date默认日期为当前时间。4）确定各基本表哪些字段需要建立索引。

离散数学试卷及答案(2)

一、填空 20% （每小题2分） 1、 P ：你努力，Q ：你失败。“除非你努力，否则你将失败”的翻译为 ；“虽然你努力了，但还是失败了”的翻译为 。 2、论域D={1，2}，指定谓词P 则公式),(x y yP x ??真值为 。 2、 设S={a 1 ，a 2 ，…，a 8}，B i 是S 的子集，则由B 31所表达的子集是 。 3、 设A={2，3，4，5，6}上的二元关系}|,{是质数x y x y x R ∨<><=，则R= （列举法）。 R 的关系矩阵M R = 。 5、设A={1，2，3}，则A 上既不是对称的又不是反对称的关系R= ； A 上既是对称的又是反对称的关系R= 。 6、设代数系统，其中A={a ，b ，c}, 则幺元是 ；是否有幂等 性 ；是否有对称性 。 7、4阶群必是 群或 群。 8、下面偏序格是分配格的是 。

9、n 个结点的无向完全图K n 的边数为 ，欧拉图的充要条件是 。 10、公式R Q P Q P P ?∧∨?∧∧?∨)(())(( 的根树表示为 。 二、选择 20% （每小题2分） 1、在下述公式中是重言式为（ ） A ．)()(Q P Q P ∨→∧； B ．))()(()(P Q Q P Q P →∧→??； C ．Q Q P ∧→?)(； D ．)(Q P P ∨→ 。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为（ ），成真赋值的个数为（ ）。 A ．0； B ．1； C ．2； D ．3 。 3、设}}2,1{},1{,{Φ=S ，则 S 2 有（ ）个元素。 A ．3； B ．6； C ．7； D ．8 。 4、 设} 3 ,2 ,1 {=S ，定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有（ ）个分块。 A ．4； B ．5； C ．6； D ．9 。 5、设} 3 ,2 ,1 {=S ，S 上关系R 的关系图为

离散数学试卷二十三试题与答案

试卷二十三试题与答案 一、单项选择题：（每小题1分，本大题共10分） 1．命题公式)(P Q P ∨→是（ ）。 A 、 矛盾式； B 、可满足式； C 、重言式； D 、等价式。 2．下列各式中哪个不成立（ ）。 A 、)()())()((x xQ x xP x Q x P x ?∨??∨?； B 、)()())()((x xQ x xP x Q x P x ?∨??∨?； C 、)()())()((x xQ x xP x Q x P x ?∧??∧?； D 、Q x xP Q x P x ∧??∧?)())((。 3．谓词公式)())()((x Q y yR x P x →?∨?中的 x 是（ ）。 A 、自由变元； B 、约束变元； C 、既是自由变元又是约束变元； D 、既不是自由变元又不是约束变元。 4．在0 Φ之间应填入（ ）符号。 A 、= ； B 、?； C 、∈； D 、?。 5．设< A ， > 是偏序集，A B ?，下面结论正确的是（ ）。 A 、 B 的极大元B b ∈且唯一； B 、B 的极大元A b ∈且不唯一； C 、B 的上界B b ∈且不唯一； D 、B 的上确界A b ∈且唯一。 6．在自然数集N 上，下列（ ）运算是可结合的。 （对任意N b a ∈,） A 、b a b a -=*； B 、),max(b a b a =*； C 、b a b a 5+=*； D 、b a b a -=*。 7．Q 为有理数集N ，Q 上定义运算*为a*b = a + b – ab ,则的幺元为（ ）。 A 、a ； B 、b ； C 、1； D 、0。 8．给定下列序列，（ ）可以构成无向简单图的结点度数序列。 A 、（1，1，2，2，3）； B 、（1，1，2，2，2）； C 、（0，1，3，3，3）； D 、（1，3，4，4，5）。 9．设G 是简单有向图，可达矩阵P(G)刻划下列 （ ）关系。 A 、点与边； B 、边与点； C 、点与点； D 、边与边。 10．一颗树有两个2度结点，1个3度结点和3个4度结点，则1度结点数为（ ）。 A 、5； B 、7； C 、9； D 、8。

离散数学试卷

大学2013—2014学年度第二学期期末考试《离散数学》试卷 A 第一部分 选择题（共20 分） 一、单项选择题（本大题共10小题，每题只有一个正确答案，答对一题得2分共20分） 1、对任意集合A 、B 、和C ，下列论断中正确的是： 【 】 A. 若A ∈B ，B ?C ，则A ∈C B. 若A ∈B ，B ?C ，则A ?C C. 若A ?B ，B ∈C ，则A ∈C D. 若A ?B ，B ∈C ，则A ?C 2、设A={a,{a}},下列式子中正确的有： 【 】 A. {a}∈ρ(A) B. a ∈ρ(A) C. {a}?ρ(A) D. 以上都不是 3、P ：我将去镇上。Q ：我有时间。命题“我将去镇上，当且仅当我有时间”符号化为： 【 】A. P →Q B. Q →P C. P ?Q D. Q ∨?P 4、命题公式：（P ∧（P →Q ））→Q 是 【 】 A ．矛盾式 B. 可满足式 C. 重言式 D. 不能确定 5、谓词公式)())()((x Q y yR x P x →?∨?中，量词x ?的辖域是： 【 】 A. ))()((y yR x P x ?∨? B. )(x P C. )(),(x Q x P D. )()(y yR x P ?∨ 6、在如下各图中，哪一个是欧拉图？ 【 】 7、设|V|>1，G= < V , E >是强连通图，当且仅当： 【 】 A ．G 中至少有一条通路 B ．G 中至少有一条回路 C ．G 中有通过每个结点至少一次的通路 D ．G 中有通过每个结点至少一次的回路 8、设}}2,1{},1{,{Φ=S ，则 ρ(S) 有多少个元素？ 【 】 A ．3； B ．6； C ．7； D ．8 ； 9、集合A={1，2，3，4，5，6，7，8，9，10}上的关系R={ | x + y = 10}，则R 的性质为：【 】 A ．自反的； B ．对称的； C ．传递的、对称的； D ．反自反的、传递的 10、集合A 上的等价关系R ，其等价类集合{[ a]R | a ∈ A}称为： 【 】 A ．A 与R 的并集，记作A ∪R B ．A 与R 的交集，记作A ∩R C ．A 与R 的商集，记作A /R D ．A 与R 的差集，记作A - R 二、填空题(本大题共10小题，每题2分,共20分)

电气工程及自动化考研

电气工程及其自动化考研总况 一、全国电气工程及其自动化专业学校排名 1.清华大学 2.西安交通大学 3.华中科技大学 4.浙江大学 5.重庆大学 6.天津大学 7.哈尔滨工业大学 8.上海交通大学 9.华北电力大学10.东南大学11.西南交通大学12.沈阳工业大学13.中国矿业大学14.华南理工大学15.南京航空航天大学16.北京交通大学17.武汉大学18.哈尔滨理工大学19.四川大学20.河海大学21.哈尔滨工程大学22.郑州大学23.广西大学24.陕西科技大学 二，电气工程与自动化专业 （1）业务培养目标： 业务培养目标：本专业培养在工业与电气工程有关的运动控制、工业过程控制、电气工程、电力电子技术、检测与自动化仪表、电子与计算机技术等领域从事工程设计、系统分析、系统运行、研制开发、经济管理等方面的高级工程技术人才。 业务培养要求：本专业学生主要学习电工技术、电子技术、自动控制理论、信息处理、计算机技术与应用等较宽广领域的工程技术基础和一定的专业知识。学生受到电工电子、信息控制及计算机技术方面的基本训练，具有工业过程控制与分析，解决强弱电并举的宽口径专业的技术问题的能力。

（2）主干课程： 主干学科：电气工程、控制科学与工程、计算机科学与技术 主要课程：电路原理、电子技术基础、计算机原理及应用、计算机软件基础、控制理论、电机与拖动、电力电子技术、信号分析与处理、电力拖动控制系统、工业过程控制与自动化仪表等。高年级可根据社会需要设置柔性的专业方向模块课及选修课。 主要实践性教学环节：包括电路与电子基础实验、电子工艺实习、金工实习、专业综合实验、计算机上机实践、课程设计、生产实习、毕业设计。 主要实验：运动控制实验、自动控制实验、计算机控制实验、检测仪表实验、电力电子实验等 （3）修业年限： 四年 （4）授予学位： 工学学士 （5）相近专业： 微电子学自动化电子信息工程通信工程计算机科学与技术电子科学与技术生物医学工程电气工程与自动化信息工程信息科学技术软件工程影视

离散数学全部试卷

离散数学试题与答案试卷一 一、填空 20% （每小题2分） 1．设 }7|{)},5()(|{<∈=<∈=+ x E x x B x N x x A 且且（N ：自然数集，E + 正偶数） 则 =?B A 。 2．A ，B ，C 表示三个集合，文图中阴影部分的集合表达式为 。 3．设P ，Q 的真值为0，R ，S 的真值为1，则 )()))(((S R P R Q P ?∨→?∧→∨?的真值= 。 4．公式P R S R P ?∨∧∨∧)()(的主合取范式为 。 5．若解释I 的论域D 仅包含一个元素，则 )()(x xP x xP ?→? 在I 下真值为 。 6．设A={1，2，3，4}，A 上关系图为 则 R 2 = 。 8．图的补图为 。 二、选择 20% （每小题 2分） 1、下列是真命题的有（ ） A ． }}{{}{a a ?； B ．}}{,{}}{{ΦΦ∈Φ； C ． }},{{ΦΦ∈Φ； D ． }}{{}{Φ∈Φ。 2、下列集合中相等的有（ ） A B C

?；B．{Φ，3，4}；C．{4，Φ，3，3}；D．{3，4}。 A．{4，3}Φ 3、设A={1，2，3}，则A上的二元关系有（）个。 A．23 ；B．32 ；C．332?；D．223?。 4、设R，S是集合A上的关系，则下列说法正确的是（） Rο是自反的； A．若R，S 是自反的，则S Rο是反自反的； B．若R，S 是反自反的，则S Rο是对称的； C．若R，S 是对称的，则S Rο是传递的。 D．若R，S 是传递的，则S 5、设A={1，2，3，4}，P（A）（A的幂集）上规定二元系如下 t s t s p A R= ∧ =则P（A）/ R=（） < > ∈ s (| || |} {t ) , ( | , A．A ；B．P(A) ；C．{{{1}}，{{1，2}}，{{1，2，3}}，{{1，2，3，4}}}；D．{{Φ}，{2}，{2，3}，{{2，3，4}}，{A}} 7、下列函数是双射的为（） A．f : I→E , f (x) = 2x ；B．f : N→N?N, f (n) = ； C．f : R→I , f (x) = [x] ；D．f :I→N, f (x) = | x | 。 （注：I—整数集，E—偶数集，N—自然数集，R—实数集） 8、图中从v1到v3长度为3 的通路有（）条。 A．0；B．1；C．2；D．3。 9、下图中既不是Eular图，也不是Hamilton图的图是（） 10、在一棵树中有7片树叶，3个3度结点，其余都是4度结点则该树有（）个4 度结点。 A．1；B．2；C．3；D．4 。

离散数学试题与答案

试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b

二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。

上海大学-离散数学2-图部分试题

离散数学图论部分综合练习 一、单项选择题 1．设无向图G 的邻接矩阵为 ??????? ? ??? ?? ???010 1010010000 011100100110 则G 的边数为( )． A ．6 B ．5 C ．4 D ．3 2．已知图G 的邻接矩阵为 ， 则G 有（ ）． A ．5点，8边 B ．6点，7边 C ．6点，8边 D ．5点，7边 3．设图G ＝，则下列结论成立的是 ( )． A ．deg(V )=2 E B ．deg(V )=E C ．E v V v 2)deg(=∑∈ D ．E v V v =∑∈)deg( 4．图G 如图一所示，以下说法正确的是 ( ) ． A ．{(a , d )}是割边 B ．{(a , d )}是边割集 C ．{(d , e )}是边割集 D ．{(a, d ) ,(a, c )}是边割集 5．如图二所示，以下说法正确的是 ( )． A ．e 是割点 B ．{a, e }是点割集 C ．{b , e }是点割集 D ．{d }是点割集 6．如图三所示，以下说法正确的是 ( ) ． ο ο ο ο ο c a b e d ο f 图一 图二

A．{(a, e)}是割边B．{(a, e)}是边割集 C．{(a, e) ,(b, c)}是边割集D．{(d, e)}是边割集 图三 7．设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )． 图四 A．（a）是强连通的B．（b）是强连通的 C．（c）是强连通的D．（d）是强连通的 应该填写：D 8．设完全图K n 有n个结点(n≥2)，m条边，当（）时，K n 中存在欧拉 回路． A．m为奇数B．n为偶数C．n为奇数D．m为偶数9．设G是连通平面图，有v个结点，e条边，r个面，则r= ( )． A．e－v＋2 B．v＋e－2 C．e－v－2 D．e＋v＋2 10．无向图G存在欧拉通路，当且仅当( )． A．G中所有结点的度数全为偶数 B．G中至多有两个奇数度结点 C．G连通且所有结点的度数全为偶数 D．G连通且至多有两个奇数度结点 11．设G是有n个结点，m条边的连通图，必须删去G的( )条边，才能确定G的一棵生成树． A．1 m n-+B．m n-C．1 m n++D．1 n m -+ 12．无向简单图G是棵树，当且仅当( )． A．G连通且边数比结点数少1 B．G连通且结点数比边数少1

离散数学试卷及答案(17)

一、判断正误20% （每小题2分） 1、设A.B. C是任意三个集合。 （1）若A∈B且B?C，则A?C。（） （2）若A?B且B∈C，则A?C。（） （3）若A?B且B∈C，则A?C。（） （4）A) ( ) ( ) (C A B A C B ⊕ = ⊕。（） （5）(A–B)?C=(A?C)-(B?C)。（） 2、可能有某种关系，既不是自反的，也不是反自反的。（） ３、若两图结点数相同，边数相等，度数相同的结点数目相等，则两图是同构的。（） ４、一个图是平面图，当且仅当它包含与Ｋ 3， 3 或Ｋ 5 在２度结点内同构的子图。（） ５、代数系统中一个元素的左逆元并一定等于该元素的右逆元。（） ６、群是每个元素都有逆元的半群。（） 二、8% 将谓词公式)) , ( ) ( ) ( ) (( )) , ( ) ( )( (z y Q z y P y y x Q x P x? ∧ ? → → ?化为前束析取范式与前束合取范式。 三、8% 设集合Ａ＝{a,b,c,d}上的关系Ｒ＝{,,,}写出它的关系矩阵和关系图，并用矩阵运算方法求出Ｒ的传递闭包。 四、9% １、画一个有一条欧拉回路和一条汉密尔顿回路的图。 ２、画一个有一条欧拉回路，但没有一条汉密尔顿回路的图。 ３、画一个有一条欧拉回路，但有一条汉密尔顿回路的图。

五、10% 证明：若图Ｇ是不连通的，则Ｇ的补图G 是连通的。 六、10% 证明：循环群的任何子群必定也是循环群。 七、12% 用ＣＰ规则证明： １．F A F E D D C B A →?→∨∧→∨,。 ２．?∨??∨?(()()())()()((x P x x Q x P x )()x Q x 。 八、10% 用推理规则证明下式： 前提: ))()()(()),()()(())()()(((y W y M y y W y M y x S x F x ?∧?→?→∧? 结论：?→?)()((x F x S ))(x 九、13% 若集合Ｘ＝｛（１，２），（３，４），（５，６），……｝ }|,,,{12212211y x y x y x y x R +=+>><><<= 1、证明R 是X 上的等价关系。 2、求出X 关于R 的商集。 一、 填空 20%（每小题2分）

离散数学试题及解答

离散数学 2^m*n 一、选择题（2*10） 1．令P：今天下雨了，Q：我没带伞，则命题“虽然今天下雨了，但是我没带伞”可符号化为（）。 （A）P→?Q （B）P∨?Q （C）P∧Q （D）P∧?Q 2．下列命题公式为永真蕴含式的是（）。 （A）Q→（P∧Q）（B）P→（P∧Q） （C）（P∧Q）→P （D）（P∨Q）→Q 3、命题“存在一些人是大学生”的否定是(A)，而命题“所有的人都是要死的”的否定 是（）。 （A）所有人都不是大学生，有些人不会死 （B）所有人不都是大学生，所有人都不会死 （C）存在一些人不是大学生，有些人不会死 （D）所有人都不是大学生，所有人都不会死 4、永真式的否定是（）。

（A）永真式（B）永假式（C）可满足式（D）以上均有可能 5、以下选项中正确的是（）。 （A）0= ? （B）0 ? （C）0∈? （D）0?? 6、以下哪个不是集合A上的等价关系的性质？（） ）。 （A）2 （B）4 （C）3 （D）5 10．连通图G是一棵树，当且仅当G中（）。 （A）有些边不是割边（B）每条边都是割边 （C）无割边集（D）每条边都不是割边

二、填空题（2*10） 1、命题“2是偶数或-3是负数”的否定是________。 2、设全体域D是正整数集合，则命题?x?y(xy=y)的真值是______。 3、令R(x):x是实数，Q(x):x是有理数。则命题“并非每个实数都是有理数”的符号化表示为 4 5 6、设 7 8 (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下 五、（15分）设A={1,2,3},写出下列图示关系的关系矩阵，并讨论它们的性质：