广东工业大学- 离散数学试卷和答案B
广东工业大学试卷用纸，共 2 页，第 1 页
广东工业大学试卷用纸，共 2 页，第2 页
广东工业大学应用数学学院数学建模教学大纲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) {
广工2013年数值计算方法期末试卷
广工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 迭代公式
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 ＝{，，，，，，，，
离散数学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）确定各基本表哪些字段需要建立索引。 一、填空 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 ,则 电气工程及其自动化考研总况 一、全国电气工程及其自动化专业学校排名 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) = 试卷二试题与参考答案 一、填空 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、设代数系统 二、选择 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、下面偏序集( )能构成格。 一、判断正误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}上的关系Ｒ＝{ 五、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},写出下列图示关系的关系矩阵，并讨论它们的性质： 广东工业大学试卷用纸，共 6 页，第 1 页 广东工业大学试卷用纸，共 6 页，第2 页 课程名称: 离散数学B卷标准答案 考试时间:第 21 周星期五 ( 2007年1月 26日) 一、单项选择题(本大题共8小题，每小题2分，共16分) 二、填空题(本大题共8小题，每空3分，共24分) 1.重言、永假 2. (P ∧￢Q) ∨ (￢P∧ Q) 3. ?,{?} 4. P(x) ∨ (?y)R(y) 5. 6 6. {?,{a}, {b}, {a, b}} 7. { 离散数学试题(A卷答案） 一、证明题（10分） 1) (P∧Q∧A→C)∧(A→P∨Q∨C)? (A∧(P?Q))→C。 证明: (P∧Q∧A→C)∧(A→P∨Q∨C) ?(?P∨?Q∨?A∨C)∧(?A∨P∨Q∨C) ?(?P∨?Q∨?A∨C)∧(?A∨P∨Q∨C) ?((?P∨?Q∨?A)∧(?A∨P∨Q))∨C ??((P∧Q∧A)∨(A∧?P∧?Q))∨C ??( A∧((P∧Q)∨(?P∧?Q)))∨C ??( A∧(P?Q))∨C ?(A∧(P?Q))→C 2) ?(P↑Q)??P↓?Q。 证明：?(P↑Q)??(?(P∧Q))??(?P∨?Q))??P↓?Q。 二、分别用真值表法和公式法求(P→(Q∨R))∧(?P∨(Q?R))的主析取范式与主合取范式，并写出其相应的成真赋值和成假赋值（15分）。 证明： 公式法：因为(P→(Q∨R))∧(?P∨(Q?R)) ?(?P∨Q∨R)∧(?P∨(Q∧R)∨(?Q∧?R)) ?(?P∨Q∨R)∧(((?P∨Q)∧(?P∨R))∨(?Q∧?R)) ?(?P∨Q∨R)∧(?P∨Q∨?Q)∧(?P∨Q∨?R)∧(?P∨R∨?Q)∧(?P∨R∨?R) ?(?P∨Q∨R)∧(?P∨Q∨?R)∧(?P∨?Q∨R) ? M∧5M∧6M 4 ? m∨1m∨2m∨3m∨7m 所以，公式(P→(Q∨R))∧(?P∨(Q?R))为可满足式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。 真值表法： 式，其相应的成真赋值为000、001、010、011、111：成假赋值为：100、101、110。 三、推理证明题（10分） 1）?P∨Q，?Q∨R，R→S P→S。 证明：(1)P附加前提 一、填空20%（每空2分）： 1．若对命题P 赋值1，Q 赋值0，则命题Q P ?（?表示双条件）的真值为 0 。 2．命题“如果你不看电影，那么我也不看电影”（P ：你看电影，Q ：我看电影）的符号化为 ?P →?Q 资料个人收集整理，勿做商业用途3．公式))(()(S Q P Q P ?∧?∨∧∨?的对偶公式为___?（P ∧Q ）∨（P ∧?（Q ∨?S ））____。 4．图 的对偶图为 5.若关系R 是等价关系，则R 满足______自反性，对称性，传递性_____________________________。 6．代数系统>*<,A 是群，则它满足____结合律，有幺元 ，每个元素都有递元______。 7．若连通平面图>= A 、加法； B 、减法； C 、乘法； D 、y x - 。 2．设I 为整数集合，m 是任意正整数，m Z 是由模m 的同余类组成的同余类集合，在m Z 上定义 运算]mod )[(][][m j i j i ?=?，则代数系统>?数据库实验报告大全 广工 蔡延光版
离散数学试卷及答案(2)
离散数学试卷二十三试题与答案
的幺元为（ ）。 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。
电气工程及自动化考研
离散数学全部试卷
离散数学试题与答案
离散数学试卷及答案(17)
离散数学试题及解答
2007年1月广工离散数学B试题
最新离散数学试卷及答案 (1)
广工华立离散数学期末考试试题(配答案)
- 652离散数学答案2013
- 广东工业大学 2027离散数学及其应用 2016年博士研究生考研真题
- 离散数学C语言上机题
- (完整word版)广东工业大学-离散数学试卷和答案A
- 离散数学第12章 代数系统(修改)
- 广东工业大学 - 离散数学试卷和答案A
- 广东工业大学离散数学试卷和答案-2015B
- 2008离散数学A2试卷+答案
- 2015年12月广工离散数学试卷
- 广东工业大学离散数学试卷和答案-2015A
- 2013广工数据库实验报告
- 广东工业大学-离散数学试卷和答案A(可编辑修改word版)
- 广东工业大学2019年博士研究生招生考试参考书目
- 广东工业大学2018年《2027离散数学及其应用》考博专业课真题试卷
- 新试卷格式-离散数学B2
- 电气工程及自动化考研
- 广东工业大学2019年《2027离散数学及其应用》考博专业课真题试卷
- 广东工业大学08离散数学A卷
- 计算机科学与技术毕业个人简历模板
- 广东工业大学应用数学学院数学建模教学大纲Word版