大连海事大学硕士研究生入学考试大纲
考试科目：离散数学
试卷满分及考试时间：试卷满分为100分，考试时间为180分钟。
一、命题逻辑
考试内容
命题，连接词的真值，重言式/矛盾式/可满足式，代入规则与替换规则，等价与蕴含，对偶式与对偶原理，连接词的最小功能完备集，范式与主范式，命题逻辑的推理规则法
考试要求
1．理解命题的概念，理解连接词的真值（特别是单条件连接词的真值）。
2．简要了解重言式/矛盾式/可满足式，以及代入规则与替换规则。
3．掌握等价式和蕴含式的的推导，掌握常见的基本等价式和基本蕴含式。4．简要了解对偶式的概念与对偶原理的公式。
5．了解连接词的最小功能完备集。
6．掌握范式的概念，特别是主范式的概念，会求命题公式的主析取范式和主合取范式，并能表示成 m i和ΠM j的形式。
7．重点掌握推理规则法的证明题。
二、谓词逻辑
谓词，量词与全总个体域与特性谓词，谓词公式，自由变元与约束变元，谓词公式的等价式与蕴含式，谓词逻辑的推理规则法
考试要求
1．理解谓词的概念，会使用谓词和量词对一个问题符号化，特别要理解符号化时默认个体域是全总个体域时的处理。
2．简要了解什么是自由变元与约束变元。
3．掌握谓词公式的等价推导和蕴含推导（重点是一元量词公式的量词转换律，量词辖域扩大收缩律和量词分配律）
4．重点掌握谓词逻辑的推理规则法的证明题
三、集合
集合的基本概念和基本定理，集合的运算，容斥原理，笛卡尔积
考试要求
1．理解空集、全集、幂集的概念的理解，会熟练求幂集。掌握集合相等的判定定理、空集的属性定理以及幂集计数定理。
2．掌握集合的基本运算和常见的集合等式，会做集合等式的证明推导。
3．了解容斥原理，会做简单的利用容斥原理的计算问题。
4．掌握笛卡尔积的概念及其性质，笛卡尔积元素计数公式。
四、二元关系
关系的概念及其性质，关系图与关系矩阵，关系的运算，等价关系与划分，偏序关系
考试要求
1．理解关系的概念，集合上能建立有多少种不同的二元关系的计算
2．从定义、关系图、关系矩阵三个角度理解关系的5个性质（自反、反自反、对称、反对称和传递性）
3．掌握关系的的合成运算、逆运算和闭包运算（自反闭包、对称闭包、传递闭包）
4．掌握划分、等价关系、等价类的概念，理解非空集合X上的等价关系与X的划分是一一对应的。
5．给定等价关系，会求对应的划分；给定划分，会求的对应的等价关系（掌握笛卡尔积的概念及其性质，笛卡尔积元素计数公式。
6．重点掌握等价关系相关的证明题。
7．偏序关系的定义，会画偏序关系的的哈斯图，并会求最大元和最小元、极大元和极小元、上界和下界、上确界和下确界。
五、函数
函数的概念，满射、单射、双射函数，复合函数，逆函数
考试要求
1．理解函数的概念，特别是函数（或映射）的全域性和惟一性。
2．会计算函数个数：设X和Y都为有限集,则从X到Y共有|Y||X|不同的函数。3．理解满射、单射、双射函数。
4．会求复合函数。
5．了解逆函数的概念。
六、代数系统
代数运算的性质，特异元，可约性，代数系统的概念，同态/同构，代换性质与同余关系。
考试要求
1．理解代数运算的封闭性，交换性、结合性、分配性等。会做性质判断的计算题。掌握常见的特异元（幺元、零元、逆元等），并会熟练计算。了解可约性及其可约性的判定定理。
2．代数系统的概念和子代数系统的概念，要会证一个代数系统A是代数系统B 的子代数。
3．重点理解同态、同构，理解同态与同构的性质，会做同态、同构的证明题。4．简要了解代换性质与同余关系的概念。
七、群
半群、子半群、循环半群，群，阿贝尔群，群同态，循环群，子群。
考试要求
1．了解半群、子半群、循环半群的概念。
2．理解群的概念及群的基本性质，会证明给定的代数系统是否是群，会证明阿贝尔群以及群同态（同构）问题的证明。
3．理解循环群概念以及循环群的分类
4．理解子群的概念，掌握子群的证明方法。
八、图
图的相关基本概念，子图，路径与连通性，图的矩阵表示
考试要求
1．理解简单图的概念、特别度相关的概念、掌握握手定理与奇结点个数必是偶数的定理，零图、平凡图、正则图、完全图的概念，以及完全图的边数定理。会判断图同构的问题。
2．理解常见的几种子图的概念，特别是生成子图和导出子图，会求相对于完全图的补图。
3．理解基本路径/简单路径，可达性，掌握无向图和有向图的连通性及分图（分支）的概念以及相关的定理。
4．图的矩阵表示中主要理解邻接矩阵A（无向图/有向图）、AA T、 A T A、A m表示的意义。
九、特殊图
欧拉图与哈密顿图，平面图，树与生成树
考试要求
1．理解欧拉图的概念，掌握判断无向图是欧拉图的欧拉定理。
2．了解哈密顿图的概念。
3．会用简单连通平面图的欧拉不等式结合握手定理做计算或证明。会用库拉托夫斯基定理判断平面图还是非平面图。
4．理解树的概念以及树的六个等价定义、（最小）生成树、根树、（完全）m叉树的概念。
5．会做树相关的计算题，会求最小生成树，会求最优二叉树（Huffman树）。
西北工业大学硕士研究生入学考试考研参考书目
目代码考试 科目 参考书出版社作者 21 1 翻译 硕士 英语 《新编英语教 程》（5-6册） 上海外语 教育出版 社 李观仪 《现代大学英 语》（5-6册） 外语教学 与研究出 版社 徐克容 24 2 俄语 （一 外） 《大学俄语》 （1—2册全 部） 《大学俄语》 （3册语法部 分） 外语教学 与研究出 版社 北京外国语大学 与莫斯科普希金 俄语学院合编 24 3 日语 （一 外） 《中日交流标 准日本语》初 级上、下（新 版）；中级上 1-10课 人民教育 出版社
目代码考试 科目 参考书出版社作者 24 4 德语 （一 外） 《大学德语教 学大纲》 高等教育 出版社 《大学德语》 （1----3册） 高等教育 出版社 张书良主编 24 5 法语 （一 外） 《法语》1-3 册 外语教学 与研究出 版社出版 马晓宏等编 《简明法语教 程》1-42课 商务印书 馆出版 孙辉编 《大学法语》 1-3册 高教出版 社出版 李志清主编 《大学法语简 明教程》 外语教学 与研究出 版社出版 薛建成主编
目代码考试 科目 参考书出版社作者 24 6 英语 （一 外） 《全国硕士研 究生入学考试 英语考试大纲 （非英语专 业）》 大学英语教材 《考硕词汇高 效速记》 王新国等 35 7 英语 翻译 基础 《英汉百科专 名词典》 商务印书 馆 赵苏苏 新编英汉汉英 翻译教程》- 翻译技巧与误 译评析 北京大学 出版社 李青 《实用翻译教 程》 （英汉互译 增订本） 上海外语 教育出版 社 冯庆华
目代码考试 科目 参考书出版社作者 60 1 数学 （理 学） 《高等数学》科学出版 社， 西北工业大学高 等数学教材编写 组编 《线性代数》科学出版 社， 西北工业大学线 性代数编写组编《高等数学常 见题型解析及 模拟题》 西北工业 大学出版 社， 陆全主编 《线性代数辅 导讲案》 西北工业 大学出版 社， 徐仲、张凯院主编 60 2 数学 分析 《数学分析》科学出版 社，1999 李成章等 《数学分析》高等教育 出版社， 1999 陈记修等
离散数学辅助教材 概念分析结构思想与推理证明 第一部分 集合论
离散数学习题解答 习题一（第一章集合） 1. 列出下述集合的全部元素： 1）A={x | x ∈N∧x是偶数∧x＜15} 2）B={x|x∈N∧4+x=3} 3）C={x|x是十进制的数字} [解] 1）A={2，4，6，8，10，12，14} 2）B= 3）C={0，1，2，3，4，5，6，7，8，9} 2. 用谓词法表示下列集合： 1）{奇整数集合} 2）{小于7的非负整数集合} 3）{3，5，7，11，13，17，19，23，29} [解] 1）{n n∈I∧(?m∈I)(n=2m+1)}； 2）{n n∈I∧n≥0∧n<7}； 3）{p p∈N∧p>2∧p<30∧?(?d∈N)(d≠1∧d≠p∧(?k∈N)(p=k?d))}。 3. 确定下列各命题的真假性： 1） 2）∈ 3）{} 4）∈{} 5）{a，b}{a，b，c，{a，b，c}} 6）{a,b}∈(a，b，c，{a，b，c}) 7）{a，b}{a，b，{{a，b，}}} 8）{a，b}∈{a，b，{{a，b，}}} [解]1）真。因为空集是任意集合的子集； 2）假。因为空集不含任何元素； 3）真。因为空集是任意集合的子集； 4）真。因为是集合{}的元素； 5）真。因为{a，b}是集合{a，b，c，{a，b，c}}的子集； 6）假。因为{a,b}不是集合{a，b，c，{a，b，c}}的元素；
7）真。因为{a，b}是集合{a，b，{{a，b}}}的子集； 8）假。因为{a,b}不是集合{a，b，{{a，b}}}的元素。 4. 对任意集合A，B，C，确定下列命题的真假性： 1）如果A∈B∧B∈C，则A∈C。 2）如果A∈B∧B∈C，则A∈C。 3）如果A B∧B∈C，则A∈C。 [解] 1）假。例如A={a}，B={a，b}，C={{a}，{b}}，从而A∈B∧B∈C但A∈C。 2）假。例如A={a}，B={a，{a}}，C={{a}，{{a}}}，从而A∈B∧B∈C，但、A ∈C。 3）假。例如A={a}，B={a，b}，C={{a}，a，b}，从而ACB∧B∈．C，但A∈C。5．对任意集合A，B，C，确定下列命题的真假性： 1）如果A∈B∧B C，则A∈C。 2）如果A∈B∧B C，则A C。 3）如果A B∧B∈C，则A∈C。 3）如果A B∧B∈C，则A C。 [解] 1）真。因为B C x（x∈B x∈C），因此A∈B A∈C。 2）假。例如A={a}，B={{a}，{b}}，C={{a}，{b}，{c}}从而A∈B∧B C，但A C。 3）假。例如A={a}，B={{a，b}}，C={{a，{a，b}}，从而A B∧B∈C，但A C。 4）假。例如A={a}，B={{a，b}}，C={{a，b}，b}，从而A B∧B∈C，但A C。 6．求下列集合的幂集： 1）{a，b，c} 2）{a，{b，c}} 3）{} 4）{，{}} 5）{{a，b}，{a，a，b}，{a，b，a，b}} [解] 1）{，{a}，{b}，{c}，{a，b}，{a，c}，{b，c}，{a，b，c}} 2）{，{a}，{{b，c}}，{a，{a，b}}} 3）{，{}} 4）{，{}，{{}}，{，{}}}
西工大明德学院离散数学试卷A
第 页 共 页 诚信保证 本人知晓我院考场规则和违纪处分条例的有关规定，保证遵守考场规则，诚 实做人。 本人签字： 编号： 西北工业大学明德学院考试试题（卷） － 学年第 学期 开课单位 课程 学时 考试日期 命题教师 审题教师 考试时间 小时 考试形式（ 闭开）（A ）卷 题号 一 二 三 四 五 六 七 总分 得分 考生班级 序号 学号 姓名 一、选择题 1．下列是两个命题变元p ，q 的小项是（ ） A ．p ∧┐p ∧q B ．┐p ∨q C ．┐p ∧q D ．┐p ∨p ∨q 2．设P ：我将去镇上，Q ：我有时间。命题“我将去镇上，仅当我有时间时”符 号化为（） A.P →Q B.Q →P C.P ?Q D.?Q ∨?P 3．谓词公式(?x)(?y)(A(x,y)∧B(y,z))∧(?x)A(x,y)中量词(?x)的辖域是（ ） A ．(?y)(A(x,y)∧B(y,z)) B ．(?y)(A(x,y) C ．A(x,y)∧B(y,z) D ．(?y)(A(x,y) 4．设A={a,b,c,d}，A 上的等价关系R={
习题一 1.下列句子中,哪些是命题？在是命题的句子中,哪些是简单命题？哪些是真命题？哪些命题的真值现在还不知道？ （1）中国有四大发明. 答：此命题是简单命题，其真值为1. （2）5是无理数. 答：此命题是简单命题，其真值为1. （3）3是素数或4是素数. 答：是命题，但不是简单命题，其真值为1. x+< （4）235 答：不是命题. （5）你去图书馆吗？ 答：不是命题. （6）2与3是偶数. 答：是命题，但不是简单命题，其真值为0. （7）刘红与魏新是同学. 答：此命题是简单命题，其真值还不知道. （8）这朵玫瑰花多美丽呀！ 答：不是命题. （9）吸烟请到吸烟室去！ 答：不是命题. （10）圆的面积等于半径的平方乘以π. 答：此命题是简单命题，其真值为1. （11）只有6是偶数，3才能是2的倍数. 答：是命题，但不是简单命题，其真值为0. （12）8是偶数的充分必要条件是8能被3整除. 答：是命题，但不是简单命题，其真值为0. （13）2008年元旦下大雪. 答：此命题是简单命题，其真值还不知道. 2.将上题中是简单命题的命题符号化. 解:（1）p：中国有四大发明. （2）p:是无理数. （7）p:刘红与魏新是同学. （10）p:圆的面积等于半径的平方乘以π. （13）p:2008年元旦下大雪. 3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值. （1）5是有理数. 答：否定式：5是无理数.p：5是有理数.q：5是无理数.其否定式q的真值为1.
（2）25不是无理数. 答：否定式：25是有理数. p ：25不是无理数. q ：25是有理数. 其否定式q 的真值为1. （3）2.5是自然数. 答：否定式：2.5不是自然数. p ：2.5是自然数. q ：2.5不是自然数. 其否定式q 的真值为1. （4）ln1是整数. 答：否定式：ln1不是整数. p ：ln1是整数. q ：ln1不是整数. 其否定式q 的真值为1. 4.将下列命题符号化，并指出真值. （1）2与5都是素数 答：p ：2是素数，q ：5是素数，符号化为p q ∧，其真值为1. （2）不但π是无理数，而且自然对数的底e 也是无理数. 答：p ：π是无理数，q ：自然对数的底e 是无理数，符号化为p q ∧，其真值为1. （3）虽然2是最小的素数，但2不是最小的自然数. 答：p ：2是最小的素数，q ：2是最小的自然数，符号化为p q ∧?，其真值为1. （4）3是偶素数. 答：p ：3是素数，q ：3是偶数，符号化为p q ∧，其真值为0. （5）4既不是素数，也不是偶数. 答：p ：4是素数，q ：4是偶数，符号化为p q ?∧?，其真值为0. 5.将下列命题符号化，并指出真值. （1）2或3是偶数. （2）2或4是偶数. （3）3或5是偶数. （4）3不是偶数或4不是偶数. （5）3不是素数或4不是偶数. 答: p ：2是偶数，q ：3是偶数，r :3是素数，s :4是偶数, t :5是偶数 (1) 符号化: p q ∨，其真值为1. (2) 符号化：p r ∨，其真值为1. (3) 符号化：r t ∨，其真值为0. (4) 符号化：q s ?∨?，其真值为1. (5) 符号化：r s ?∨?，其真值为0. 6.将下列命题符号化. （1）小丽只能从筐里拿一个苹果或一个梨. 答：p ：小丽从筐里拿一个苹果，q ：小丽从筐里拿一个梨，符号化为: p q ∨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课. 答：p ：刘晓月选学英语，q ：刘晓月选学日语，符号化为: ()()p q p q ?∧∨∧?. 7.设p ：王冬生于1971年，q ：王冬生于1972年，说明命题“王冬生于1971年或1972年”既可以化 答:列出两种符号化的真值表：
信息技术与课程整合本栏目责任编辑：贾薇薇离散数学在计算机学科中的应用 陈敏，李泽军 （湖南工学院计算机科学系，湖南衡阳421002） 摘要：离散数学作为有利的数学工具，对计算机的发展与计算机科学的研究起着重大的作用。阐述了离散数学在计算机科学的几个不同领域中的应用，分析了离散数学与计算机专业其他学科间的关系，指出了离散数学在从事计算机及相关科学工作中的重要性。关键词：离散数学；数据结构；编译原理；人工智能 中图分类号：O158,TP305文献标识码：A 文章编号：1009-3044(2009)01-0251-02 The Application of Discrete Mathematics in Computer Science CHEN Min,LI Ze-jun (Department of Computer Science and Technlology,Hunan Insititute of Technology,Hengyang 421002,China) Abstract:Being a helpful mathematical tool,discrete mathematics plays a significant role in the development and research of computer sci -ence.This paper introduces the application of discrete mathematics in different fields of computer science,analyzes the relationship between discrete mathematics and other subjects in computer specialty and points out the importance of discrete mathematics in computer science and related fields. Key words:discrete mathematics;data structure;decoding principles;artificial intelligence 1引言 离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。它是以研究离散性的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素。由于计算机科学的迅速发展，与其有关的领域中，提出了许多有关离散量的理论问题，需要用某些数学的工具做出描述和深化[1]。离散数学把计算机科学中所涉及到的研究离散量的数学综合在一起，进行较系统的、全面的论述，为研究计算机科学的相关问题提供了有力的工具。 离散数学课程所涉及的概念、方法和理论，大量地应用在数据结构、数据库系统、编译原理、人工智能、计算机体系结构、算法分析与设计、软件工程、多媒体技术、数字电路、计算机网络等专业课程以及信息管理、信号处理、模式识别、数据加密等相关课程中[2-4]。它所提供的训练十分有益于学生概括抽象能力、逻辑思维能力、归纳构造能力的提高，十分有益于学生严谨、完整、规范的科学态度的培养。这些能力与态度是一切软、硬件计算机科学工作者所不可缺少的，为学习计算机科学的后续课程、从事科研或工程技术工作以及进一步提高科学技术水平奠定理论基础。离散数学提供的营养滋补了计算机科学的众多领域，学好了离散数学就等于掌握了一把开启计算机科学之门不可缺少的钥匙。 2离散数学在数据结构中的应用 计算机要解决一个具体问题，必须运用数据结构知识。对于问题中所处理的数据，必须首先从具体问题中抽象出一个适当的数学模型，然后设计一个解此数学模型的算法，最后编出程序，进行测试、调整直至得到问题的最终解答。而寻求数学模型就是数据结构研究的内容。寻求数学模型的实质是分析问题，从中提取操作的对象，并找出这些操作对象之间含有的关系，然后用数学的语言加以描述。数据结构中将操作对象间的关系分为四类：集合、线性结构、树形结构、图状结构或网状结构。数据结构研究的主要内容是数据的逻辑结构，物理存储结构以及基本运算操作。其中逻辑结构和基本运算操作来源于离散数学中的离散结构和算法思考。离散数学中的集合论、关系、图论、树四个章节就反映了数据结构中四大结构的知识。如集合由元素组成，元素可理解为世上的客观事物。关系是集合的元素之间都存在某种关系。例如雇员与其工资之间的关系。图论是有许多现代应用的古老题目。伟大的瑞士数学家列昂哈德·欧拉在18世纪引进了图论的基本思想，他利用图解决了有名的哥尼斯堡七桥问题。还可以用边上带权值的图来解决诸如寻找交通网络里两城市之间最短通路的问题[5]。而树反映对象之间的关系，如组织机构图、家族图、二进制编码都是以树作为模型来讨论。 3离散数学在数据库中的应用 数据库技术被广泛应用于社会各个领域，关系数据库已经成为数据库的主流，离散数学中的笛卡儿积是一个纯数学理论，是研究关系数据库的一种重要方法，显示出不可替代的作用。不仅为其提供理论和方法上的支持，更重要的是推动了数据库技术的研究和发展。关系数据模型建立在严格的集合代数的基础上，其数据的逻辑结构是一个由行和列组成的二维表来描述关系数据模型。在研究实体集中的域和域之间的可能关系、表结构的确定与设计、关系操作的数据查询和维护功能的实现、关系分解的无损连接性分析、连接依赖等问题都用到二元关系理论[6]。 4离散数学在编译原理中的应用 编译程序是计算机的一个十分复杂的系统程序。一个典型的编译程序一般都含有八个部分：词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序、目标代码生成程序、错误检查和处理程序、各种信息表格的管理程序[7]。离散数学里的计算模型章节里就讲了三种类型的计算模型：文法、有限状态机和图灵机。具体知识有语言和文法、带输出的有限状态机、不带输出的有限状态机、语言的识别、图灵机等。短语结构文法根据产生式类型来分类：0型文法、1型文法、2型文法、3型文法。以上这些收稿日期：2008-12-10 基金项目：“湖南省教育厅教学改革研究项目（湘教通2008第263号） ISSN 1009-3044 Computer Knowledge and Technology 电脑知识与技术 Vol.5,No.1,January 2009,pp.251-252E-mail:kfyj@https://www.doczj.com/doc/5311486501.html, https://www.doczj.com/doc/5311486501.html, Tel:+86-551-56909635690964251
软件工程专业介绍范文 软件工程学的定义 软件工程一直以来都缺乏一个统一的定义，很多学者、组织机构都分别给出了自己的定义： Boehm：运用现代科学技术知识来设计并构造计算机程序及为开发、运行和维护这些程序所必需的相关文件资料。IEEE：软件工程是开发、运行、维护和修复软件的系统方法。FritzBauer：建立并使用完善的工程化原则，以较经济的手段获得能在实际机器上有效运行的可靠软件的一系列方法。 编辑本段软件工程学的内容 软件工程学的主要内容是软件开发技术和软件工程管理。软件开发技术包含软件工程方法学、软件工具和软件开发环境；软件工程管理学包含软件工程经济学和软件管理学。 专业简介 是计算机领域发展最快的学科分支之一，国家非常重视软件行业的发展，对软件人才的培养给予了非常优惠的政策。本专业培养掌握计算机软件基本理论知识，熟悉软件开发和管理技术、能够在计算机软件领域中从事软件设计、开发和管理的高级人才。
主修课程 该专业除了学习公共基础课外，还将系统学习离散数学、数据结构、算法分析、面向对象程序设计、现代操作系统、数据库原理与实现技术、编译原理、软件工程、软件项目管理、计算机安全等课程，根据学生的兴趣还可以选修一些其它选修课。 毕业去向 除考取国内外名牌大学研究生外，主要毕业去向是计算机软件专业公司﹑信息咨询公司﹑以及金融等其它独资、合资企业。 培养目标 本专业培养适应社会发展需求，德、智、体、美全面发展，具有扎实的计算机应用理论和知识基础，掌握软件工程领域的前沿技术和软件开发方法，具有较强的实践能力和创新精神，具备较强的软件项目的系统分析、设计、开发和测试能力，能够按照工程化的原则和方法从事软件项目开发和管理的应用型人才。 就业方向
大学软件工程专业排名 权威排名： 2006年高校软件工程排名（开设学校：139所） 1、南京大学 2、清华大学 3、复旦大学 4、武汉大学 5、浙江大学 6、上海交通大学 7、中国科学技术大学 8、中山大学 9、华中科技大学 10、哈尔滨工业大学 11、陕西师范大学 12、吉林大学 13、东北师范大学 14、北京师范大学 其他院校该专业较强的有： 北京交通大学 北京理工大学 华东师范大学 华南理工大学 南开大学 四川大学
天津大学 西安交通大学 西北工业大学 厦门大学 中国地质大学 同济大学 苏州大学 重庆大学 中国石油大学 南京理工大学 宁夏大学 教高[2001]6号文：教育部、国家计委关于批准有关高等学校试 办示范性软件学院的通知 教育部、国家计委关于批准有关高等学校试办示范性软件学院的通知 （2001年12月3日） 教高〔2001〕6号 为适应我国经济结构战略性调整的要求和软件产业发展对人才的迫切需要，实现我国软件人才培养的跨越式发展，教育部和国家发展计划委员会共同研究决定选择部分高等学校，
采取多项扶持政策，支持其试办示范性软件学院。这是新时期推进高等教育改革与发展的一项重要举措。经统一部署、有关高校申报和专家评审，现决定首批批准35所高等学校试办示范性软件学院。为做好示范性软件学院的建设工作，现将有关意见通知如下： 一、要将建设示范性软件学院作为进入新世纪跨越式培养软件人才的重大举措落实好。《国务院关于印发鼓励软件产业和集成电路产业发展若干政策的通知》（国发[2000]18号）中明确提出通过政策引导，鼓励资金、人才等资源投向软件产业，进一步促进我国信息产业快速发展，力争到2010年使我国软件产业研究开发和生产能力达到或接近国际先进水平。实现这一政策目标，加快软件人才培养是重要保证。建设示范性软件学院是我国软件产业人才培养方面实现跨越式发展的一次重大改革尝试，旨在为我国软件产业的发展带来新的推动力。各示范性软件学院要抓住机遇，加快建设步伐，努力成为我国有重要影响的多层次实用 型软件人才培养基地。 二、要将建设示范性软件学院作为加大高等教育人才培养结构调整力度，推进用信息技术改造传统产业的重要举措抓好。《国民经济和社会发展第十个五年计划纲要》提出，要以信息化带动工业化，发挥后发优势，实现社会生产力的跨越式发展。各示范性软件学院要在加大软件专门人才培养力度的同时，把培养大批各类复合型软件人才作为重要任务，为用信息技术改造传统产业准备坚实的人才基础。示范性软件学院可以从所在学校二年级后在校本科生中招生；可以开展软件方向第二学士学位办学；可以招收软件方向工程硕士研究生；可直接从应届本科毕业生中招收工程硕士研究生；招生方式和规模由所在学校自主确定，国 家不安排招生计划数。 三、建设示范性软件学院要以进一步推进办学机制改革，主动推进国内合作办学与中外合作办学，推动产学研紧密结合为基本办学模式。可以多途径探索合作办学的管理体制与运行机制，由高等学校与国内外企业合作，拉动社会资金投入，按运作企业化、办学专业化、后勤社会化的模式兴办。示范性软件学院应把开展切实有效的产学研合作作为推进办学模式
离散数学课后答案 习题一 6.将下列命题符号化。 （1）小丽只能从框里那一个苹果或一个梨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课. 答： （1）（p Λ?q ）ν（?pΛq）其中p:小丽拿一个苹果，q:小丽拿一个梨（2）（p Λ?q ）ν（?pΛq）其中p:刘晓月选学英语，q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答： (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q
重庆大学《数字电子技术（Ⅱ）》课程 试卷 A卷 B卷 2012 ~2013 学年第 2 学期 开课学院：电气工程学院课程号：考试日期： 2013-6 考试方式： 开卷闭卷 其他考试时间： 120 分钟 一、设计题（20分）： 采用同步置数的方式，利用74LS160设计365进制的计数器，各位之间为十进制关系。 解： 二、分析题（20分）： 下图为16×4位ROM和同步十六进制加法计数器74LS161组成的脉冲分频电路。在CLK信号作用下，输出波形如 图所示。计算ROM中的数据表。 解： 三、设计题（10分）： 用D触发器设计一个同步串行数据检测电路，当连续输入3个或3个以上1时，电路的输出为1，其它情况下输 出为0。例如： 输入A 101100111011110 输出Y 000000001000110 解：1）画出原始状态图 2）状态化简 3）状态编码 原始状态图化简以后的状态图 1/0 A/Y 0/0 1/0 0/0
由状态图可得到复合卡诺图图： n AQ Y 1 = n n n n n n Q Q A Q AQ AQ Q 0 110 1011?=+=++ D 触发器的特性方程为1,01 ==+i D Q i n i 得： n n n n Q Q A D AQ AQ D 010101?=+= 5) 检查自启动： 可以自启动。 6）画逻辑图 四、分析题（10分）： 试分析下图时序电路的功能。 解： 1）) () () (2 10120111 0210↓=↓=↓?=+++CP Q Q Q Q Q Q Q CP Q Q Q n n n n n n n n n 2） 画出波形图：(略) 3） 画出状态图 异步五进制加法计数器 1D Q FF 1 C1 & CP A Y 1D Q FF 0 C1 ≥1 11 011 00 1/1 0/0 11+n Q 的卡诺图 n n Q Q 01 00 01 11 10 A 0 0 0 ╳ 0 1 0 1 ╳ 1 n n Q Q 01 00 01 11 10 A 0 0 0 ╳ 0 1 1 ╳ 10+n Q 的卡诺图 二进制状态图 00 01 10 1/0 A/Y 1/0 1/1 0/0 0/0 0/0 复合卡诺图 n n Q Q 01 00 01 11 10 A 0 00 0 00 0 ╳ 00 0 1 01 0 10 0 ╳ 10 1 n n Q Q 0 1 00 01 11 10 A 0 0 0 ╳ 0 1 0 ╳ 1 输出Y 的卡诺图 000 /0 001 010 011 100 111 110 101 /0 /0 /0 /1 /1 /1 /1
离散数学习题答案 习题一及答案：（P14-15） 14、将下列命题符号化： （5）李辛与李末是兄弟 解：设p ：李辛与李末是兄弟，则命题符号化的结果是p （6）王强与刘威都学过法语 解：设p ：王强学过法语；q ：刘威学过法语；则命题符号化的结果是 p q ∧ （9）只有天下大雨，他才乘班车上班 解：设p ：天下大雨；q ：他乘班车上班；则命题符号化的结果是q p → （11）下雪路滑，他迟到了 解：设p ：下雪；q ：路滑；r ：他迟到了；则命题符号化的结果是()p q r ∧→ 15、设p ：2+3=5. q ：大熊猫产在中国. r ：太阳从西方升起. 求下列复合命题的真值： （4）()(())p q r p q r ∧∧???∨?→ 解：p=1，q=1，r=0， ()(110)1p q r ∧∧??∧∧??， (())((11)0)(00)1p q r ?∨?→??∨?→?→? ()(())111p q r p q r ∴∧∧???∨?→??? 19、用真值表判断下列公式的类型： （2）()p p q →?→? 解：列出公式的真值表，如下所示： 20、求下列公式的成真赋值：
（4）()p q q ?∨→ 解：因为该公式是一个蕴含式，所以首先分析它的成假赋值，成假赋值的条件是： ()10p q q ?∨??????00 p q ????? 所以公式的成真赋值有：01，10，11。 习题二及答案：（P38） 5、求下列公式的主析取范式，并求成真赋值： （2）()()p q q r ?→∧∧ 解：原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨，此即公式的主析取范式， 所以成真赋值为011，111。 6、求下列公式的主合取范式，并求成假赋值： （2）()()p q p r ∧∨?∨ 解：原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?，此即公式的主合取范式， 所以成假赋值为100。 7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1）()p q r ∧∨ 解：原式()(()())p q r r p p q q r ?∧∧?∨∨?∨∧?∨∧ ()()()()()()p q r p q r p q r p q r p q r p q r ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ?∨∨∨∨，此即主析取范式。 主析取范式中没出现的极小项为0m ，2m ，4m ，所以主合取范式中含有三个极大项0M ，2M ，4M ，故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式：
重庆大学《软件工程导论课程试卷 第1页 共3页 重庆大学《软件工程导论》课程试卷 2015— 2016学年 第 二 学期 开课学院： 软件学院 课程号： 考试日期： 考试方式： 考试时间： 120 分钟 一、单项选择题（在每小题的四个备选答案中，选出一个正确答案，并将其号码填在题干后的括号内，每小题2分，共20分） 1．造成大型软件开发困难的根本原因在于 （ ） A.开发人员缺乏足够的开发经验 B.对软件开发的资金投入不足 C.项目开发进度不合理 D.软件系统的复杂性 2．线性顺序模型规定了软件过程的活动主要包括：制定计划、需求分析、软件设计、编码、软件测试、运行与维护，这些活动相互衔接，具有很强的顺序性和互相依赖性，这种模型称为 （ ） A ．瀑布模型 B ．螺旋模型 C ．增量模型 D ．原型模型 3．软件会逐渐退化而不会磨损，其原因在于 （ ） A.软件通常暴露在恶劣的环境下 B.软件错误在经常使用之后会逐渐增加 C. 软件备件很难订购 D.不断的变更使组件接口之间引起错误 4．需求分析阶段的任务是确定 （ ） A ．软件开发方法 B ．软件开发工具 C ．软件开发费 D ．软件系统的功能 5．数据流图DFD 有4种基本元素：外部实体、数据流、处理或加工、 （ ） A ．需求调查 B ．状态迁移 C ．数据存储 D ．数据字典 6．软件设计阶段的输出主要是 （ ） A ．程序 B ．伪代码 C ．模块 D ．设计规格说明书 7．内聚表示一个模块 （ ） A.可以被更加细化的程度 B.仅关注在一件事情上的程度 C.能够适时地完成其功能的程度 D.联接其他模块和外部世界的程度 8．单元测试内容不包括 （ ） A.出错处理 B.全局数据结构 C.独立路径 D.模块接口 9．确认软件的功能是否与需求规格说明书中所要求的功能相符的测试属于 （ ） A 、集成测试 B 、恢复测试 C 、确认测试 D 、单元测试 10．因计算机硬件和软件环境的变化而作出的修改软件的过程称为 （ ） A 、纠正性维护 B 、适应性维护 C 、完善性维护 D 、预防性维护 二、填空题（每空1分，共20分） 1．软件是由： 、 和 构成的。 2．需求分析最终结果是产生 。 3．从工程管理方面来分类，软件设计一般分为 和 ，它们之间的关系是全局和局部。 4．在软件结构化设计方法中，指导模块划分的最重要原则是高的 和低的 。 命题人：张毅 张小洪 组题人：刘礼 审题人：文俊浩 命题时间： 教务处制 学院 专业、班 年级 学号 姓名 考试教室 公平竞争、诚实守信、严肃考纪、拒绝作弊 封 线 密
离散数学课后习题答案(左孝凌版) 1-1，1-2解： a)是命题，真值为T。 b)不是命题。 c)是命题，真值要根据具体情况确定。 d)不是命题。 e)是命题，真值为T。 f)是命题，真值为T。 g)是命题，真值为F。 h)不是命题。 i)不是命题。 （2）解： 原子命题：我爱北京天安门。 复合命题：如果不是练健美操，我就出外旅游拉。 （3）解： a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q （4）解： a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 （Q→R）∧(R→Q):一个数是奇数，则它不能被2整除并且一个数不能被2整除，则它是奇数。 (5) 解： a)设P：王强身体很好。Q：王强成绩很好。P∧Q b)设P：小李看书。Q：小李听音乐。P∧Q c)设P：气候很好。Q：气候很热。P∨Q d)设P： a和b是偶数。Q：a+b是偶数。P→Q e)设P：四边形ABCD是平行四边形。Q ：四边形ABCD的对边平行。P Q f)设P：语法错误。Q：程序错误。R：停机。（P∨ Q）→ R (6) 解： a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 （1）解：
重庆大学网络教育学院-2020年春季学期课程作业软件工程第2次-参考资料 请认真阅读一下说明然后下载：题库有可能会换，不保证全部都有！请仔细核对是不是您需要的题目再下载！！！！ 本文档的说明：如果题目顺序和你的试卷不一样，按CTRL+F在题库中逐一搜索每一道题的答案，预祝您取得好成绩百！ 一、单项选择题(共20 题、0 / 50 分) 1、质量保证工作是（） A、只与质量保证小组有关 B、项目生存期的各个阶段都需要实施的 C、只需要做一次 D、只有大的项目才需要的 参考答案是：B 2、问题分析图的英文缩写是（） A、PRD B、PAD C、QAD D、PAS 参考答案是：B 3、使用因果图法最终产生的是（）。 A、用例图 B、判定表 C、因果图 D、等价类 参考答案是：B 4、关联是建立（）之间关系的一种手段。 A、对象 B、类 C、功能 D、属性 参考答案是：B 5、软件结构中，（）表示软件结构中从顶层模块到最底层模块的层数。 A、深度 B、宽度 C、扇入数 D、扇出数 参考答案是：A 6、（）管理主要通过一系列技术，方法来维护产品的历史，标识和定位产品独有的版本，并在产品的开发和发布阶段控制变化。
A、人员 B、计划 C、配置 D、风险 参考答案是：C 7、以下不包括在人机交互界面设计准则中的是（）。 A、一致性 B、减少步骤 C、优化美观 D、提供撤销命令 参考答案是：C 8、（）先根据以前的项目总成本来推算将要开发的软件的总成本，然后按比例将其分配到各开发单元中。 A、自顶向下估算法 B、自底向上估算法 C、差别估计法 D、专家估算法 参考答案是：A 9、软件调试的目的是（） A、找出错误所在并改正之 B、排除存在错误的可能性 C、对错误性质进行分类 D、统计出错的次数 参考答案是：A 10、在下列语言中，面向过程的语言为（）。 A、C语言 B、Java C、C++ D、C# 参考答案是：A 11、下列不是集成测试进行主要原因的是（） A、单个模块可以接受的误差，组装起来可能累积和放大到不能接受的程度 B、一个模块的功能可能会对另一个模块的功能产生不利的影响 C、各个模块组装起来，穿越模块接口的数据可能会丢失 D、模块内部算法实现可能有误 参考答案是：D 12、用来测试软件在集成系统中的响应时间的是（）。 A、压力测试
图1 为两相开关建立模型的有穷自动机 3.4 离散数学与编译原理 编译程序是计算机学科中比较高深的专业课，是计算机的一个十分复杂的系统程序。一个典型的编译程序而论，一般都含有八个部分：词法分析程序，语法分析程序，语义分析程序，中间代码生成程序，代码优化程序，目标代码生成程序，错误检查和处理程序，各种信息表格的管理程序。 离散数学里的计算模型章节里就讲了三种类型的计算模型：文法、有限状态机和图灵机。具知识有语言和文法，带输出的有限状态机，不带输出的有限状态机，语言的识别，图灵机等。短语结构文法根据产生式类型来分类：0型文法，1 型文法，2型文法，3 型文法。以上这些在离散数学里讲述到的知识点在编译原理的词法分析及语法分析中都会用到。 由于自然语言都极为复杂，对一个自然语言，看起来不大可能说出它的所有语法规则，因此，将一个语言自动翻译成另一个语言的研究，引出形式语言的概念。与自然语言不同，形式语言是由一组意义明确的语法规则定义的，语法规则不仅对于语言学和自然语言的研究十分重要，而且对于程序设计语言的研究也很重要。 形式语言的句子是用语法来描述的。在程序设计语言的应用中，经常出现两类问题：（1）怎么能够确定一组单词是否组合成了形式语言的一个有效句子？（2）怎么才能产生形式语言的一个有效句子。在考虑这两类问题时，文法的使用十分有益。 离散数学里定义了短语结构文法。G=（V,T,S,P）由下列四部分组成：词汇表V，由V 的所有终结符组成的V的子集合T,V的初始符S，和产生式集合P。集合V-T , 记为N，N中的元素称为非终结符。P中的每个产生式的左边必须至少包含一个非终结符。 编译原理中的词法分析运用了不确定的有穷自动机，确定的有穷自动机，从正规表达式到NFA。在语法分析中运用了上下文无关文法，非上下文无关文法，LL(1)文法，LR 文法。这些表达式与文法都在离散数学中有相关的描述。因此，离散数学也是编译原理的前期基础课程。 3.5 离散数学与人工智能 人工智能是以让机器完成那些如果由人来做则需要智能的事情的科学。虽然人工智
现在，已经完成了考验。感觉轻松很多，希望一起努力。 政治：大家都知道紧跟李凡老师的步伐，不用开始的太早，听他的课真的是有趣，他也是超级厉害的，政治的话我后期看一章《政治新时器》，做题，李凡的书很贴心，让你知道错在哪，怎么才能对，我也后来跟进了李凡的押题班，了解时事政治，答题思路，当然后期冲刺卷，押题卷都是要做的，还要模拟考试，把握时间。 我政治花的时间最少，买了题目也都没看，就前期跟着学了李凡的网络课程，最后快考试看了看《政治新时器》（推荐！），政治就不多说了。 英语： 单词是基础，《一本单词》完全能够应付。 9-10月----从进度上而言，05-16的真题还没刷完，所以真题还要接着刷，每周一套抄翻译不要忘了。另外可以试着写一写新题型和完形填空了，但重点还是放在阅读上面。 11月----入手一本《木糖英语真题手译》，上面给出的必背篇目要背熟。翻译和作文可以试着练练手了。 12月----之前留的两套真题可以拿出来了，按照考研的时间来练习，做完一套以后要对着答案认真分析，差不多也是一周一套的进度。 蛋核英语微信公众号的网课应该是从头到尾一直刷着的（2月-11月？？？具体时间进度因人而异），个人建议每天留出一定的时间听英语网课，单词听完听作文，作文听完听翻译，当然时间有限，作文和翻译不必都听完，开头几节介绍考研情况和解答技巧的课一定要听，这能让你事半功倍。可以多关注木糖英语考研微信公众号，很有用。同样要注意的是，所有的网课在你做最后的两套真题练手之前就应该都结束了。 我的专业课一般复习分四轮，在每年8月前我基本上都将专业课复习完第一轮了，进入8月中旬，这个阶段属于专业课的加固阶段。第一轮复习后总会有许多问题沉淀下来，这时最好能够一一解决，以防后患。所以说，这3个月是专业知识急剧累积的阶段，也是最为繁忙劳累的时候。 第二轮复习要善于做笔记 在专业课复习上，这段时间应该主要看指定教材和相关学术期刊的文章，边
第一次作业 1.什么是软件？ 答：计算机程序和相关文档。 2.什么是软件危机？ 答：软件危机是指在计算机软件的开发和维护过程中所遇到的一系列严重问题。 3.什么是软件工程？ 答：软件工程是关于软件生产的各个方面的工程学科。或者说：采用工程的概念、原理、技术和方法来开发与维护软件，或者说把经过时间考验而证明是正确的管理技术和当前能够得到的合适的开发工具结合起来开发与维护软件，这就是“软件工程”。 第二次作业 说明：以下题目在考试时，可能变成填空题、也可能变成选择题、还有可能变成名词解释。 1.软件工程方法学包括了几个关键要素？ 答：包括了3个关键要素，即方法、工具和过程。 2.软件过程包含了那几项基本活动？ 答：软件过程包含了4项基本活动：(1)软件描述；(2)软件开发；(3)软件有效性验证； 例如：填空题 软件过程包含了4项基本活动：(1)软件描述；(2)软件开发；(3)软件有效性验证； (4) 软件维护或进化。 例如：选择题 软件过程包含了4项基本活动：(1)软件描述；(2)软件开发；(3)软件有效性验证； (4) 软件维护或进化。 A.验证 B.检查 C. 软件有效性验证 D. 软件有效性检查 3.什么是模型？ 答：模型是人们认识客观事物时，用文字、符号或者图表等进行简化问题描述的一种方式。 第三次作业 1.可行性研究包含哪几个方面？ 答：(1)技术可行性、(2)经济可行性、(3)操作可行性。 2.软件维护分为哪几类？ 答：根据软件维护的任务与性质不同，通常可将软件维护分为纠错性维护、适应性维护、完善性维护、预防性维护四类活动。
3.软件可维护性的定义是什么？ 答：指维护人员理解、改正软件的难易程度。决定软件可维护性的因素有：指整个软件文档和程序的可理解性、可测试性、可修改性。 第四次作业 1.原型法的基本概念是什么? 答：原型法的基本概念有如下三点：(1)原型法不仅可以帮助系统分析员尽早获得更完整更准确的需求，还可以帮助设计人员验证设计方案或演进目标系统。(2)原型法适用于需求非常不明确的系统开发。(3)快速原型法如果使用得当，可以减少软件的总成本。 2.快速原型模型的主要优点是什么？ 答：快速原型的本质是用原型系统获取用户的真正需求，开发人员便可依据原型系统书写规格说明文档，根据这份文档开发出的软件可以满足用户的真实需求。 3.什么是面向数据结构方法？ 答：面向数据结构方法是结构化方法的变形，它着重数据结构而不是数据流。根据需求基本上都采用顺序、选择和重复构造成分表示数据结构。 第五次作业 1.面向对象分析模型的五个层次是什么？ 答：面向对象分析模型的五个层次是主题层、类及对象层、结构层、属性层和服务层，因此其分析步骤也是按五个层次逐步展开。 2.对象的五个特点是什么？ 答：对象的五个特点是：自治性；封装性；通信性；被动性（除主动对象外）；暂存性。 3.为什么说对象是动态的？ 答：面向对象的程序由一组相关类组成，所以类是静态的，程序的执行体现为一组相互通信的对象的活动，所以对象是动态的。 第六次作业 1.需求分析阶段的工作成果是产生大量的系统文档，那么文档的作用有哪些？答：文档的作用有(1)提高软件的可理解性，便于开发人员之间的沟通与交流；(2)变可见性的软件为部分可见性的文档资料，阶段性的工作成果，便于实施工程管理；(3)阶段性的审查依据；(4)便于用户或其他非开发人员熟悉该软件。 2.需求分析有哪三种方法? 答：需求分析有面向功能分析、面向数据分析、面向对象分析方法。 3.需求分析阶段主要综合考虑的因素有哪些?