2018年北京交通大学02102 离散数学参考书目、考试大纲、专业课复习方法-新祥旭考研

2018年北京交通大学02102离散数学

参考书目、考试大纲、专业课复习方法

一、专业课代码及名称

02102离散数学

二、专业课参考书

《离散数学(修订版)》，高等教育出报社，耿素云屈婉玲

三、考试大纲

1、命题逻辑的基本概念。掌握命题、联结词、命题公式、真值表。

2、命题逻辑等值演算。掌握等价公式、重言式、蕴含式、等值演算，合取范式、析取范式、主合取范式及主析取范式。

3、命题逻辑的推理理论。掌握命题推理理论。

4、一阶逻辑基本概念。掌握谓词、量词、谓词公式。

5、一阶逻辑等值演算与推理。掌握谓词演算公式的前束范式，谓词演算公式真值的求解方法，谓词推理理论。

6、集合代数理解集合运算和集合等式证明。掌握集合的概念和表示，集合元素计数。

7、二元关系。（1）理解关系的定义，表示和性质，等价关系与划分；（2）掌握关系的定义，表示和性质，偏序关系，哈斯图与极值。

8、函数。了解函数的定义与性质，函数复合运算与逆函数。

9、代数系统。掌握代数系统概念，代数系统同态，同构映射。

10、群与环。掌握半群，独异点，单位元，零元，群，子群，交换群，循环群，有限群，置换群，商群，陪集，环，整环，无零因子环的定义；（2）群，子

群，循环群，有限群，环，整环的性质和判别方法。

11、格与布尔代数。（1）理解格的同态的概念；（2）掌握格、子格、分配格和有补格的定义和基本性质；（3）子格、分配格和有补格的判定方法；（4）有限布尔代数的结构和性质。

12、图的基本概念。（1）了解图的运算。理解有向图、无向图、通路、回路；（2）掌握握手定理及推论，图的矩阵表示及应用。

13、欧拉图与哈密顿图。（1）理解欧拉图，欧拉通路和回路，哈密尔顿图，哈密尔顿通路和回路；（2）掌握欧拉图的性质和判定方法，哈密尔顿图的性质和某些哈密尔顿图的判定方法，Dijkstra标号法求最短路径；（3）了解中国邮递员问题，货郎担问题。

14、树。（1）掌握求最小生成树的多种算法，根树的行遍方法，最优二叉树和Huffman算法；（2）熟练无向树及其性质，根树的相关概念。

15、平面图。（1）理解平面图的概念，平面图的对偶图及其应用；（2）掌握欧拉公式及相关定理，平面图或极大平面图的性质和判定条件。

16、理解支配集、点独立集、点覆盖集、边覆盖集、匹配，Hall定理。掌握边覆盖与匹配之间的关系、最大匹配或完美匹配存在的条件；了解点着色，点色数，边色数，色多项式，平面图4色猜想。

专业课的复习方法：

专业课的内容繁多，所以采用有效的复习方法也显得尤为重要。任何一个会学习的学生，都应该是会高效率地学习的人。与其为了求得心理上的安慰小和尚念经般的在桌边捱过有口无心的半天时间，还不如真正有效的学习两个小时，用其余的时间去放松自己，调节一下，准备下一个冲刺。

每个人都有自己的生物钟，十几年的学习生活，你一定很清楚自己在什么时候复习效果最好，要根据自己的情况来合理安排时间。通常都是把需要背记的内容放在每天精力最旺盛的时候，且每门持续背诵的时间不能安排的过长。

专业课的许多知识都要以记忆为基础。记忆的方法，除了大家熟悉的形象记

忆法，顺口溜等之外，还有就是阅读法，即把需要记忆的内容当作一篇故事，就像看故事一样看他几遍，记住大概的情节，每次重复看时就补上上次没记住或已经忘记的部分。这样经常看就会慢慢记住了，而且记的很全面。

因为现在专业课考试的题目很少有照搬书本上的答案，大部分的题都要求考生自己去归纳分析总结，所以对书上的知识有一个全面整体的了解，对考试时的发挥很有帮助；另一种是位置法即以段落为单位，记住段落的前后位置。

看到相关题目时，那一页或几页书就会出现在脑海里，使人在答题中不会遗漏大的要点。这两种方法都能让你全面整体的掌握课本的知识。

在这之后要做的就是提纲挈领，理出一个知识的脉络。最好的办法就充分利用专业课参考书的目录，考生可以在纸上把每一章的小标题都列上，再把具体每一个标题所涉及的知识一点点的回忆出来，然后再对照书，把遗漏的部分补上，重点记忆。

这样无论考查重点或是一些较偏的地方，我们都能够一一应付。但是对于概念这种固定化的知识点，就要在理解的基础上反复记忆，默写也不失为一种好的方法。我们很多同学都是不大喜欢动手，可能他们会默背或小声朗读要背记的内容几个钟头，但是不愿意写半个小时。

殊不知古人所说的眼过千遍，不如手过一遭这句话还是很有道理的。

北交大毕业论文撰写要求

北京交通大学毕业论文撰写要求 一、毕业设计（论文）题目的类型 毕业设计（论文）的题目很多，大致可归纳为四大类型： 1．设计性课题。根据设计指导书，理解设计主导思想和基本要求，检索有关资料、制订初步设计方案进行设计。设计完成后还可通过制作与调试，分析结果可否满足设计要求，再对原设计做进一步的修改和完善。 2．应用性课题。该类课题又可分为硬件类、软件类和软硬件结合类。任务布置需要明确具体，软件类课题须有流程图，源程序和文档；硬件类课题须有技术指标，设计方案和电路原理图等相应图纸；实验过程和调试报告也应包含在毕业设计（论文）之中。 3．工程性课题。主要内容包括现场调研、方案比较、设备选型、施工计划、设备安装调试、开通、最终结论等。 4．研究性课题。追踪现代科学研究的最新发展，了解本领域中同行的研究情况，全面搜集各程相关资料，在消化吸收的基础上提出自己的观点和建议。 二、毕业设计（论文）选题、写作的要求 1. 毕业设计（论文）选题一定要结合学员自己工作实际选择自己较熟悉的专业方向，毕业论文所用数据、佐证资料尽量是本单位的。通过论文的写作，解决工作中所遇到的实际问题，达到提高学员业务水平的要求。

2.毕业论文选题要避免假、大、空，要具体并有针对性。 3. 论文写作不能抄袭，可以借鉴别人的观点，资料运用可以运用站细，但不能整篇不加整理地运用，要符合论文主题的要求，说明自己观点。 4. 论文写作过程中要熟读相关资料，在理解的基础上加以运用。论文的论点、论据、论证要通顺，具有一定的逻辑性。 5. 在论文写作过程中要熟知论文所涉及的专业知识，专业基础知识，特别要结合自己所从事的工作，对相关的专业基础和专业知识加以理解和掌握，例如：运输设备、铁道概论及专业方面的知识等。 6. 学员要亲自撰写毕业设计（论文） 三、毕业论文的规范要求 1．毕业论文的组成 毕业论文由封面、毕业设计（论文）成绩评议、毕业设计（论文）任务书、毕业设计（论文）开题报告、指导教师评阅意见、评阅教师意见、答辩小组评阅意见、中文摘要、英文摘要、目录、正文、参考文献、附录等十三部分组成。 封面：由学校统一印制，按要求填写。论文题目一般不超过25个字，要简练准确，可分二行书写； 任务书：装订于指定位置，指导教师签字后生效； 开题报告：由学生认真书写，经指导教师签字后的开题报告有效；

离散数学考试大纲

1 离散数学考试大纲（节选） I.考核与评分办法 采取平时考核与期末考试相结合的成绩评定办法，平时考核成绩占30%，期末考试成绩占70%。平时考核包括课堂考勤、日常作业检查、课堂测试和期中考试等，平时考核与期末考试成绩记录采用百分制。 II.考试形式与考试时间 考试形式：闭卷考试。 考试时间：120分钟。 III.命题要求 一、命题范围 （一）本大纲各章节所涵盖的内容。 （二）对不同能力层次考查的试题比例大致是：“识记”占10%、“理解”占30%、“应用”占60%。 （三）各类考核点所占比例约为：重点占65%，次重点占25%，一般占10%。 二、题型结构 命题采用的基本题型和分值结构分别为选择题占10%、填空题占10%、简答题占20%、计算题占30%、证明题占30%。 三、难易比例 试题难易程度：易、较易、较难、难比例分别为2:3:3:2。 IV.考试内容与要求 第一章命题逻辑 — 1 —

一、学习目的与要求 通过本章学习，学生要深刻理解命题的概念、联结词的定义，掌握命题公式的翻译、命题公式的化简和主范式表示以及推理证明的直接证法和间接证法。 二、考核知识点与考核目标 （一）命题公式的主范式表示（重点） 识记：大项、小项的概念。 理解：命题公式的主析取范式、主合取范式的概念及二者的联系。 应用：命题公式的主析取范式、主合取范式的求法。 （二）命题演算的推理理论（重点） 识记：P规则、T规则、CP规则。 理解：推理证明的直接证法和间接证法的应用条件。 应用：推理证明的直接证法和间接证法。 （三）命题的概念、联结词及命题公式（次重点） 识记：命题、原子命题、复合命题、命题的真值、命题公式的递归定义等概念。 理解：五种逻辑联结词的定义、真值表、命题公式的类型及命题公式的等价式与蕴涵式。 应用：命题的符号化与翻译、构造真值表证明命题公式的等价、不构造真值表证明蕴涵式与等价式及命题公式的化简。 …… 编写人： 审核人： 时间：年月日— 2 —

2020年湖南师范大学029_离散数学-复试

湖南师范大学硕士研究生入学考试自命题考试大纲 考试科目代码：[ ] 考试科目名称：离散数学 一、试卷结构 1) 试卷成绩及考试时间 考试时间为180分钟。 2)答题方式：闭卷，笔试 3)试卷内容结构 （一）数理逻辑约30% （二）集合论约30% （三）图论约20% （四）代数结构约20% 4)题型结构 a: 选择题约30% b: 计算题约20% c: 证明题约20% d: 应用题约30% 二、考试内容与考试要求 (一)数理逻辑（30%） 考试内容： 命题与命题的真值，五个基本联结词，命题符号化，合式公式真值表，合式公式的类型，等价式、蕴含式的证明，范式和判定问题，求主范式的方法，变元、谓词和量词，量词的辖域、前束范式，合式公式的解释、求合式公式在给定解释下真值的方法。 考试要求：

（1）理解命题与命题的真值、联结词、合式公式与真值表、变元、谓词和量词等概念．（2）掌握合式公式的类型、等价式、蕴含式的证明、求主范式的方法、合式公式的解释、以及求在给定解释下真值的方法． （3）了解量词的辖域、前束范式． (二)集合论（30%） 考试内容： 集合及其表示，集合的运算与性质，二元关系的概念，二元关系的五种性质，关系矩阵与关系图，关系的各种运算与性质，关系闭包与性质，相容关系，等价关系，序关系，部分函数、满射、内射、双射的概念，可逆、左可逆、右可逆函数，特征函数，集合的基数与性质。 考试要求： （1）熟练进行集合的并交差补运算，集合之间的关系判定，幂集运算，二元关系的自反、对称、传递性质判定，熟练求解二元关系的自反、对称、传递闭包，熟练求解偏序集中的特殊元素； （2）熟练进行函数的判定，函数的性质判定，函数的复合运算。 (三)图论（20%） 考试内容： 图的基本概念路与回路和连通性图的矩阵表示欧拉图和哈密顿图平面图对偶图与着色树与生成树根树及其应用 考试要求： （1）理解图、路、回路和连通性等基本概念，熟练运用图的结点、边、补图的性质，（2）掌握一些特殊图类的性质，树的特征与应用． (四)代数结构（20%） 考试内容： 二元运算及其性质，代数系统，群、半群、环、格4种典型的代数系统 考试要求： （1）熟练掌握二元运算的性质，理解代数系统概念； （2）了解群、环和格的概念并能进行判定。

Doc003-北京交通大学图书馆自动化管理系统需求规格说明书[1]

北京交通大学图书馆自动化管理信息系统 需求规格说明书 文档编号：Doc003 Author：软件0202班第12组 评审人：罗一恒 完成日期：2004年11月16日 纳入基线库日期：2004年11月16日 最后修改时间：2004年11月23日 最后修改人：罗一恒

目录 1 功能需求 (3) 1.1．用况分析 (3) 1.1.1. 用况描述 (3) 1.1.2. 用况包描述 (4) 1.2．数据流分析 (20) 1.2.1．0层数据流图 (20) 1.2.2．1层数据流分解图 (21) 1.3．概念类图 (24) 2 非功能需求 (25) 2.1．性能的需求 (25) 2.1.1. 性能指标 (25) 2.1.2. 评测工具和方法 (25) 2.2．计算机资源需求 (25) 2.2.1. 计算机硬件需求 (25) 2.2.2. 计算机软件需求 (25) 2.2.3. 计算机通信需求 (25) 2.3．软件质量因素 (26) 2.3.1. 易用性 (26) 2.3.2. 准确性 (26) 2.4．设计和实现的约束 (26) 2.5．有关培训需求 (26)

Ⅰ．功能需求： 1.1．用况分析： 1.1.1．用况描述： 1.1.1.1．角色列表和描述： 采访员： 订购员： 馆长： 验收员： 编目员： 读者信息管理员： 书目信息管理员： 图书出借归还管理员： 统计员： 系统管理员： 用户： 1.1.1.2．用况包规格定义：

1.1.2．用况包描述： 1.1. 2.1．UCP: UCP-CF： 1.1. 2.1.1．用况列表： ID 用况名用况描述 UC-CF-1 Input 输入（录入）订购信息UC-CF-2 Edit 编辑订购信息 UC-CF-3 Submit 提交订购信息 1.1. 2.1.2．用况图： 1.1. 2.1.3 UC-CF-1: Input： ?用况描述 采访员录入订购信息 ?前置条件 采访员登陆成功 ?基本路径 ①信息录入首页

北京交通大学关于研究生出国(境)管理暂行办法

北京交通大学院、部、处、室文件研通[2014] 16 号签发人：刘世峰 北京交通大学 关于研究生出国（境）管理暂行办法 （2014.5.12试行） 第一章总则 第一条为促进我校研究生与国（境）外高校、科研机构的学术交流与科研合作，加强和规范我校研究生出国（境）的管理工作，保证研究生培养与教学计划的正常实施，维护正常的研究生教学秩序，根据教育部有关文件精神，结合我校具体情况，制定本办法。 第二条本办法所指研究生出国（境）包含各种类型的出国（境），主要包括：联合培养、交换生、双学位项目、参加国际会议、出国攻读学位、旅游、探亲及其他。 第三条研究生申请出国（境）应由研究生本人填写出国（境）申请审批表，经导师和学院批准后，报研究生院审批备案。 第四条本规定适用于在我校具有正式学籍的全日制非在职研 究生。在职研究生出国，根据其出国的类别参照本规定到研究生院办理请假或学籍异动手续，到所属单位办理出国手续。

第二章攻读国（境）外学位 第五条研究生参加学校（院）与国（境）外学校双学位项目，原则上应在二年级派出，并在所学层次及专业（或相近专业）学习。申请时应附境外学习计划（含出境期间国内培养环节安排），经导师同意报学院审批。出国（境）时间、经费负担方式及选拔方式等按项目协议执行。 第六条校（院）双学位项目派出研究生赴国外攻读学位期间应按期交纳国内学费，学校为其保留学籍；到期按时回校报到后，在我校继续按学科培养方案要求完成学业，原则上时间不得少于半年。国外学分认定，按照相关项目协议执行。 第七条学校原则上不受理非应届毕业研究生的自费出国（境）留学攻读学位的申请。对于研究生在读期间申请自费出国（境）攻读学位的非应届毕业研究生应当办理退学手续。 第三章出国（境）联合培养 第八条出国（境）联合培养包括国家留学基金委选派、各类国内外政府奖学金项目、校（院）合作项目选派、学校学术交流基金资助以及导师因科研项目与国（境）外合作，安排在读研究生出国（境）接受联合培养。 第九条研究生出国(境)联合培养申请条件及选拔办法按相应 项目要求执行，提交审批材料时应附有外方单位（或导师）的邀请信、研究生出国（境）的联合培养计划（含出境期间国内培养环节安排）等。

北京交通大学本科毕业设计规范

北京交通大学 本科生毕业设计（论文）规范 第一章 总则 第一条 为进一步规范本科生毕业设计（论文）工作，提高毕业设计（论文）质量，结合学校实际，特制订本规范。 第二条 毕业设计（论文）是本科培养方案的组成部分，是学生在教师指导下运用所学理论、知识和技能，分析解决理论和实际问题的综合训练环节，是培养和提高学生写作能力、实践能力和创新意识的重要途径。 第三条 毕业设计（论文）要体现学校人才培养的目标与要求。论文可结合专业特点，在体裁方面体现多样性，采取毕业设计、学术论文等形式进行。 第四条 教务处统一布置毕业设计（论文）工作，对各环节工作进行监督、协调和评价。学院负责毕业设计（论文）具体组织管理工作。 第二章 毕业设计（论文）选题 第五条 毕业设计（论文）的选题应符合专业培养目标，满足人才培养基本要求，使学生在专业知识应用方面得到比较全面的训练。论文题目应与社会、生产、科研和实验室建设等实际任务相结合，内容应属于学生所学专业或相关专业的范围。题目难度和工作量应适合学生的知识、能力、相应的实验条件和毕业设计所规定的时间，使学生经过努力能够完成。 学校鼓励学生结合国家大学生创新创业训练计划项目和北京市大学生科学研究与创业行动计划项目成果拟定毕业设计（论文）题目。学校鼓励采用实际项目作为毕业设计（论文）题目。 第六条 毕业设计（论文）选题要注重科学研究方法和创新方法的训练，综合考虑经济、环境、法律、安全、健康、伦理等制约因素。理论研究的选题应满足科学研究的基本规律，覆盖科学研究的各个方面。工程设计的选题要符合工程实际要求，涵盖工程设计的各个环节。 第七条 毕业设计（论文）要达到对学生进行全面综合训练的目的。一个学生一个题目。几个学生共同完成一个大课题时，每个学生必须要有独立完成的任

离散数学考试大纲

《离散数学》课程考试大纲 课程名称：离散数学 教学时数：56 考试对象： A08、C08计算机 一、考试内容及要求 1．考试范围： 命题演算及其形式系统、谓词演算及其形式系统、集合及其运算、关系、函数、群论、格和布尔代数。 2．考试要求： （一）命题演算及其形式系统 掌握命题的概念掌握命题公式的概念；熟练掌握利用求任意命题公式的析取范式、主析取范式、合取范式和主合取范式的方法。 （二）谓词演算及其形式系统 掌握两种量词及其用法；掌握谓词公式的定义；掌握基本的谓词演算的等价式和蕴涵式。 （三）集合及其运算 掌握集合的概念及表示法；理解两个集合相等的定义和充分必要条件；掌握子集、真子集、空集、全集、幂集的定义；熟练掌握集合的五种基本运算：并、交、补、差及其满足的性质。 （四）关系 掌握笛卡儿积的概念；深刻理解关系的两个定义；深刻理解关系的五种性质：自反、对称、传递、反对称和反自反；能够判断任给的关系具有哪些性质；熟练掌握关系的三种特殊运算：复合运算、逆运算和闭包运算；掌握二种特殊的关系：等价关系、序关系。 （五）函数 掌握函数的概念；特殊函数类；函数的合成；了解逆函数。 （六）群论 掌握代数系统的定义和有关基本概念；熟练掌握群的定义和群的性质；掌握子群及其陪集概念和性质；掌握同态与同构的概念和性质；熟练掌握群同态和同构的证明方法。 （七）格与布尔代数 掌握格和代数格的基本概念；掌握格的基本性质；掌握几种特殊格的基本概念和性质；能够判断分配格和有余格；利用格的概念和性质证明一些基本定理；熟练掌握布尔代数的基本概念和有关性质。 二、考试形式 闭卷考试

三、试卷结构 第一篇集合论约占25％ 第二篇数理逻辑约占30％ 第三篇群论15％ 第四篇格和布尔代数 30% 题型比例： 判断题30分占30%，命题的符号化表示18分占18%，改错题12分占12%，证明和应用题40分占40%。 四、说明 试题由任课教师出A、B卷随机抽取。

北京交通大学考研心得

电气工程考研心得 初试： 1、分为专硕，学硕 北京交通大学的学硕读3年，专硕读2年，学硕可以在研一申请硕博连读，专硕读博需要考试。同时老师们貌似比较喜欢带学硕学生，因为3年可以帮导师做更多项目。北交的学硕考数一，英一，专硕考数二，英二。 2、数一与数二英一与英二 数一考的内容多，数二考的少点，比如数一考线积分，面积分，二次积分，三次积分等等，同时数一考概率这本书，数二不考。 英一要比英二难，阅读上，翻译上有些不同。 3、报班问题 我考研没报班，西区的辅导班都是西大活或是视频讲解，我觉得没太大作用，并且浪费时间，如果某科某个知识点不会，可以去下载视频，新东方的考研视频，文都教育的考研视频，后期会有很多同学有，大家共享一下就好 4、考研帮 这是一个考研分享经验，交流心得的APP，建议下载一下，有什么疑问都可以在上面解答，很方便。 5,、考研过程 【数学】建议看着课本，按照复习全书看，第一遍的时候会很吃力，最好在6月之前看完第一遍，不懂得不用着急，甚至可以不着急找人解答，把问题标记下；暑假看第二遍，你会觉得很多知识好像明白了；到了9月份后继续看第三遍，如果三遍看完了还有你不会的疑问，一定要及时解决，这些是你知识的盲点。中间可以穿插做模拟题，自己根据自己的程度来定制，具体做谁的模拟题，考研帮之类的会给出你建议，我因为时间有限，没有买模拟题。到了10月以后就根据自己情况开始做真题了，貌似是有10年的真题，你自己做好计划，始终保持着做题的状态。 注：我是在还有半个月考研的时候接触张宇数学系列的，我深觉他是一个有思想的数学老师，他的讲题思路很棒，可惜时间不够，没来得及看一遍他的数学系列丛书，建议时间充足的同学看看，如果也对你的胃口，你一定可以从他的书中大有收获。 【英语】背单词很重要，不过一种好的背单词方法是背过历年真题阅读你不会的单词，这样有语境，你会记得更加牢靠，同时这些也是考研英语会考的单词，背过肯定没错。好好利用真题，近几年的英语真题不要着急做，留到后期再做，开始时可以从2000年开始，甚至更靠前，至于模拟题，有人说好有人说不好的，我是觉得，你把1999-2015十几年真题的单词都背过，每周都坚持谢谢翻译或是作文就可以了，我英语一般，没有过六级，但是也考了65分，当然考北京的学校英语是会压分的，这是共识。 【政治】政治不用准备太久，比如9月份以后就行，既可以看视频准备，也可以看辅导书准备，因人而异。我准备的时间有限，11月才开始准备，所以直接买了风中劲草的讲解和习题，讲解我看了不到两遍，题我做了不下三遍，每次我都用铅笔做，那道题错了就在题上画个圈，然后别的痕迹都擦掉，之后只做错题，如果还是错，就再画一个圈，你总是错那几道题，就反复看。如果你们时间足够，看风中劲草之前可以看看考试大纲以及肖秀荣的1000题，我同学说这些比较能夯实基础。 【专业课】北交的专业课只考电路原理，是邱光源写的那本书，建议用这本复习。先去官网上下载考试大纲，它会告诉你哪些不考，哪些考，不过这两年都没变化。我是先看书，都看完以后，做每年的真题，我们买来了红果园的专业课真题，利连超市的打印店已经扫描上了，

2018年北京交通大学本科论文论文格式模板

本科毕业设计（论文） 基于人工智能的论文排版系统研究 Research on Kuai65 Typesetting System Based on Artificial Intelligence 学院：信息学院 专业：计算机 学生姓名：快论文 学号：20135091612 指导教师：* * * 教授 北京交通大学 2017年9月

学士论文版权使用授权书 本学士论文作者完全了解北京交通大学有关保留、使用学士论文的规定。特授权北京交通大学可以将学士论文的全部或部分内容编入有关数据库进行检索，提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。 （保密的学位论文在解密后适用本授权说明） 学位论文作者签名：指导教师签名： 签字日期：年月日签字日期：年月日

摘要 快论文（https://www.wendangku.net/doc/cc12111744.html,）是一款专业的毕业论文在线排版系统，上传论文草稿，选定学校模板，点击一键排版，只需几分钟就可完成论文排版，免费下载预览，满意后付款。快论文平台现已汇集了全国617所高校权威毕业论文模板，均源自各校官方最新发布的毕业论文撰写规范，基本涵盖了各类高校毕业论文格式要求。 据统计，毕业论文排版涉及的几十项格式设置中，80%的操作都属于不常用操作，因此绝大多数同学以前没用过，以后用到的概率也很低，但为了达到排版的规范，却需要花费大量的时间去解读论文撰写规范和学习这些不常用的word操作。面对复杂的格式规范，大多数同学熬夜反复调整修改却还是存在各种各样的问题。 基于人工智能的快论文排版系统，剔除了人们手动排版时不可避免的误操作，和由于视觉疲劳导致的错漏等，较之传统的人工排版方式，质量更可靠，价格更优惠，速度更快捷。快论文平台秉持人性化的设计理念，在充分研究分析人们的操作习惯的基础上，针对应届毕业的大学生，充分考虑其个性需求，设计并开发完成了一个界面简洁、功能强大、操作便捷的毕业论文排版和编辑系统，帮助大学生提高毕业论文写作效率和提升毕业论文质量。 快论文根据各个高校官方的论文写作规范要求，分别构建了属于各高校自己的定制模板，更准确，更便捷，是国内最大的毕业论文排版平台。 关键词：快论文；专业排版；质量可靠；价格优惠；值得信赖

离散数学部分考试内容

学号：姓名：班级：。。。。。。。。。。。。。。。。。。。。。。。。。。。。。密。。。。。。。。。。。。。。。。。。。。。封。。。。。。。。。。。。。。。。。。。。。。。线。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。 计算机科学与技术专业2 年级计算071~075 班2008~2009学年第1 学期《离散数学》课试卷试卷类型：A 卷 ( A) ( B) (C) ( D) 青岛理工大学试卷纸共 5 页第1 页 试题要求: 1.试题后标注本题得分;2.试卷应附有评卷用标准答案,并有每题每步得分标准;3.试卷必须提前一周送考试中心;4.考试前到指定地点领取试卷；5.考生不得拆散试卷，否则试卷无效。

学号；姓名：班级：。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。密。。。。。。。。。。。。。。。。。。。。。。。。。封。。。。。。。。。。。。。。。。。。。。。。。。。。线。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。 如图所示哈斯图中构成分配格的有 ＝其中⊕为集合的对称差运算，对于 )() τ ＝ 256 25 134，()(1643 1 2 3 4

V1V4 V2V3学号；姓名：班级： 。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。密。。。。。。。。。。。。。。。。。。。。。。。。。封。。。。。。。。。。。。。。。。。。。。。。。。。。线。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。。 四、证明题（共18分，答案写于后面答题纸中。 1.(6分)对任意集合A,B，证明：若A

唯一标识符 - 北京交通大学图书馆

CALIS基本标准与规范 CALIS数字对象唯一标识符 命名规范

CALIS基本标准与规范 CALIS数字对象唯一标识符 命名规范 目录 1 CALIS定义的数字对象唯一标识符方案 (14) 2 唯一标识符中的元素 (14) 2.1 馆数字代码 (15) 2.2 集合名称 (15) 2.3 ObjID (15) 2.4 type (16) 2.5 format (18) 2.5.1 文本 (18) 2.5.2 图像 (18) 2.5.3 音频 (18) 2.5.4 视频 (18) 2.6 示例 (18) 3 已有资源标识符的处理办法 (19) 参考文献 (20)

1 CALIS定义的数字对象唯一标识符方案 就目前而言，DOI作为数字对象的唯一标识符方案在管理、注册和解析方面是发展最为完善的。但CALIS无论是为自己的资源申请DOI，或是申请成为RA，都需要缴纳不菲的会员费或DOI的注册费及维护费。因此，在CALIS项目建设中数字对象的唯一标识符方案，我们决定采用与国际命名方式结合的做法[6]： 命名方式＋注册机关代码＋注册资源代码 ●命名方式：如以URN 方式则为urn，DOI 则为doi。 ●注册机关代码：如为URN informal 方式，则由申请机关向注册中心（IANA）申请分发为urn-d （d 为数字），或申请URN formal 方式；若为DOI，则向注册中心（IDF 或CrossRef）申请分发一代码。 ●注册资源代码则由注册单位内部自编，无一定格式，但要保证内部为唯一代号。如URN 则需要 提出内部编码方式给IANA 协会审查，而DOI 只要资源识别码注册时不与现有重复即可。 ●+ 为区分码，如URN 为"："，DOI 为"/" 等。 不管加入哪一个网络资源组织，其注册资源代码都是要由注册机关自定，未来只要再加上注册机关代码即可为国际间唯一的识别码。故在未来不管国际间盛行哪一种网络资源组织，都可以快速简单地转换成该组织命名方式，使其符合系统扩充性及未来性。 2 唯一标识符中的元素 综上所述，CALIS制定的唯一标识符（简称CALIS-OID）要符合URN的标准，成为URN的一个子集。 对于复杂数字对象，其语法为： urn:CALIS:馆数字代码-CollectionName[.CollectionName]/ObjID 对于简单数字对象，其语法为： urn:CALIS:馆数字代码-CollectionName[.CollectionName]/ObjID.type.format 说明： 命名方式“urn”应全部采用小写字母； CALIS-OID的长度最长不应超过255个字符； 复杂数字对象与其所含的简单数字对象的CollectionName 、ObjID并无继承关系，请参见示例中的具体例子。

北京交通大学部处函件

北京交通大学部处函件 教通〔2019〕132号关于举办北京交通大学第八届 新生程序设计竞赛的通知 各学院： 为提升我校程序设计氛围，提高我校低年级学生程序设计能力，学校定于2019年11月至12月举办北京交通大学第八届新生程序设计竞赛，现将有关事项通知如下： 一、竞赛目的 本竞赛面向全校各个专业的本科一年级新生及一年级上学期未开设程序设计课程的二年级学生，旨在提升我校程序设计氛围，提高我校低年级学生的程序设计能力，培养学生思维能力、创新能力、实践能力，增强我校学科竞赛氛围。 二、组织机构 北京交通大学新生程序设计竞赛由我校程序设计竞赛组委会主办，计算机与信息技术学院承办，设立竞赛评审专家工作组。 三、参赛人员 北京交通大学在册的2019级在读全日制本科一年级新生及非计算机专业的二年级学生（不包括滨海学院）均可报名参赛，以个人为单位报名。 四、竞赛内容及要求 1．新生程序设计竞赛含7～10道题目，题面描述为中文或英文，竞赛时长为4小时。 2．比赛形式为现场赛，组委会提供参赛所需的计算机。参赛选手可以携带诸如书、手册、程序清单等纸质参考资料，但不得携带任何电子介质的资料、通信工具、计算机、键盘等，比赛现场将断开互联网连接。 3．选手对赛题的解答提交给裁判软件系统，由裁判系统自动评测为正确或者错误，评测结果会及时通知参赛选手。 - 1 -

4．排名规则 采用ICPC（国际大学生程序设计竞赛）排名规则，根据参赛选手正确解答的题数排名。如果正确解题数目相同，则根据解题总时长排名。总时长由各道试题解题时长之和构成。如果某道题目最终被正确求解，则第一次正确解题前该题的每次错误提交均罚时20分钟。未被正确求解的题目不参与计时。若某道题目已被正确求解，则后续提交不再被评测，亦不计时。 5．竞赛现场支持的程序设计语言为C、C++、Java、Python。 6．赛场统一提供计算机及编程环境，每人一台，所有选手使用计算机的规格配置完全相同。编程环境包括CodeBlocks、Dev CPP、Visual Studio以及针对Java语言的Eclipse/Netbeans等集成开发环境。 五、竞赛安排 （一）技术讲座与热身赛 1.技术讲座 现场赛前将依托算法俱乐部安排若干场技术讲座，时间和地点参见我校OJ平台（https://www.wendangku.net/doc/cc12111744.html,/acm）上的通知，可加入算法俱乐部QQ群咨询详细信息（群号：194980117）。主要内容为新生赛平台的使用问题，届时我校ICPC 校队成员将分享编程技巧和比赛经验。我校OJ平台上将陆续增加历年新生赛和校赛的题目，计划参赛的学生可以在该平台上练习。 2.热身赛 现场赛之前将在我校OJ平台（https://www.wendangku.net/doc/cc12111744.html,/acm）上安排一场热身赛，时间将提前在我校OJ平台上通知，以便参赛选手适应和熟悉比赛平台。 （二）报名截止时间：2019年12月20日24:00 华为技术有限公司赞助支持本近竞赛，参赛者需同时在华为睡前系统FutureLab及学校教务处学科竞赛管理系统报名参赛。 1.华为睡前系统报名，按要求填写报名信息，网址为： https://www.wendangku.net/doc/cc12111744.html,/#/raceDetail/4450。 2.登录北京交通大学教务处学科竞赛管理系统并提交报名信息。 报名相关问题请邮件联系竞赛联系人，说明情况。 （三）比赛时间 比赛包括网络预赛和现场决赛两个部分。 - 2 -

2019北交02102 离散数学专业课考试大纲

02102 离散数学 1、命题逻辑的基本概念。掌握命题、联结词、命题公式、真值表。 2、命题逻辑等值演算。掌握等价公式、重言式、蕴含式、等值演算，合取范式、析取范式、主合取范式及主析取范式。 3、命题逻辑的推理理论。掌握命题推理理论。 4、一阶逻辑基本概念。掌握谓词、量词、谓词公式。 5、一阶逻辑等值演算与推理。掌握谓词演算公式的前束范式，谓词演算公式真值的求解方法，谓词推理理论。 6、集合代数理解集合运算和集合等式证明。掌握集合的概念和表示，集合元素计数。 7、二元关系。（1）理解关系的定义，表示和性质，等价关系与划分；（2）掌握关系的定义，表示和性质，偏序关系，哈斯图与极值。 8、函数。了解函数的定义与性质，函数复合运算与逆函数。 9、代数系统。掌握代数系统概念，代数系统同态，同构映射。 10、群与环。掌握半群，独异点，单位元，零元，群，子群，交换群，循环群，有限群，置换群，商群，陪集，环，整环，无零因子环的定义；（2）群，子群，循环群，有限群，环，整环的性质和判别方法。 11、格与布尔代数。（1）理解格的同态的概念；（2）掌握格、子格、分配格和有补格的定义和基本性质；（3）子格、分配格和有补格的判定方法；（4）有限布尔代数的结构和性质。 12、图的基本概念。（1）了解图的运算。理解有向图、无向图、通路、回路；（2）掌握握手定理及推论，图的矩阵表示及应用。

13、欧拉图与哈密顿图。（1）理解欧拉图，欧拉通路和回路，哈密尔顿图，哈密尔顿通路和回路；（2）掌握欧拉图的性质和判定方法，哈密尔顿图的性质和某些哈密尔顿图的判定方法，Dijkstra 标号法求最短路径；（3）了解中国邮递员问题，货郎担问题。 14、树。（1）掌握求最小生成树的多种算法，根树的行遍方法，最优二叉树和Huffman 算法；（2）熟练无向树及其性质，根树的相关概念。 15、平面图。（1）理解平面图的概念，平面图的对偶图及其应用；（2）掌握欧拉公式及相关定理，平面图或极大平面图的性质和判定条件。 16、理解支配集、点独立集、点覆盖集、边覆盖集、匹配，Hall 定理。掌握边覆盖与匹配之间的关系、最大匹配或完美匹配存在的条件；了解点着色，点色数，边色数，色多项式，平面图 4 色猜想。

北京交通大学研究生学籍管理规定

北京交通大学研究生学籍管理规定 为贯彻国家的教育方针,维护正常的教育教学秩序,保证研究生的培养质量,促进研究生德、智、体、美等各方面全面发展，依照教育部2017年颁发的《普通高等学校学生管理规定》及《北京交通大学学校章程》，结合我校具体情况，制定本规定。 第一章入学与注册 第一条按国家招生规定录取的新生，应当持录取通知书，按学校有关要求和规定的期限到学校办理入学手续。因故不能按期入学的，应当事先向其所在学院请假，请假时间一般不得超过两周。未请假或请假逾期者，除因不可抗力等正当事由外，视为放弃入学资格。 第二条学校在新生报到时对其入学资格进行初步审查，审查合格的准予办理入学手续，予以注册学籍；审查发现新生的录取通知、考生信息等证明材料，与本人实际情况不符，或者有其他违反国家招生考试规定情形的，取消其入学资格。 第三条新生因应征入伍、创新创业、支教、身心健康等原因可以在入学前申请保留入学资格。新生在录取及入学报到阶段累计申请保留入学资格最多1次，最长不超过2年。保留入学资格期间不具有学籍。 新生应征参加中国人民解放军（含中国人民武装警察部队），可凭入伍通知办理保留入学资格手续，学校保留其入学资格至退役后2年。保留入学资格期间不具有学籍。 新生保留入学资格期满，应当在保留入学资格期满前3个月向学校提出入学申请。学校按照本规定第二条要求进行审查，合格后准予办理入学手续。审查不合格的，取消入学资格；逾期不办理入学手续且未有因不可抗力延迟等正当理由的，视为放弃入学资格。 第四条新生入学后，学校根据国家招生规定在3个月内对下列事项进行复查。 （一）录取手续及程序等是否合乎国家招生规定； （二）所获得的录取资格是否真实、合乎相关规定； （三）本人及身份证明与录取通知、考生档案等是否一致； （四）身心健康状况是否符合报考专业或者专业类别体检要求，能否保证在校正常学习、生活； （五）艺术、体育等特殊类型录取学生的专业水平是否符合录取要求。 学校复查中如发现新生存在弄虚作假、徇私舞弊等情形的，确定其为复查不合格，有权取消其学籍；情节严重的，应当移交有关部门调查处理。 复查中发现新生身心状况不适宜在校学习，经学校指定的二级甲等以上医院诊断，需要在家休养的，由本人提出申请，经学校批准，可以按照本规定第三条的要求保留入学资格。

模板北京交通大学

北京交通大学 一、学校简介 北京交通大学是教育部直属，教育部、铁道部、北京市人民政府共建的全国重点大学，是国家“211工程”、“985工程优势学科创新平台”项目建设高校和具有研究生院的全国首批博士、硕士学位授予高校。 学校位于首都北京“学府胜地”海淀区，毗邻中国“硅谷”中关村，有东西两个校区，总面积1000余亩，建筑面积78万平方米，教学、科研设施完善，校园环境优美。经教育部批准，学校正在北京市平谷区规划建设现代轨道交通创新基地暨新校区。 北京交通大学作为交通大学的三个源头之一，历史渊源追溯到1896年，她的前身是清政府创办的北京铁路管理传习所，是中国第一所专门培养管理人才的高等学校，是中国近代铁路管理、电信教育的发祥地。1917年改组为北京铁路管理学校和北京邮电学校，1921年与上海工业专门学校、唐山工业专门学校合并组建交通大学。1923年交通大学改组后，北京分校更名为北京交通大学。1950年学校定名北方交通大学，由著名桥梁专家茅以升任校长。1952年，北方交通大学撤销，京唐两院独立，学校改称北京铁道学院。1970年恢复“北方交通大学”校名。2000年与北京电力高等专科学校合并，由铁道部划转教育部直属管理。2003年恢复使用“北京交通大学”校名。学校曾培养出中国第一个无线电台创建人刘瀚、中国第一台大马力蒸汽机设计者应尚才，以及中国现代作家、文学评论家、文学史家郑振铎、中国第一本铁路运输专著作者金士宣、我国铁路运输经济学科的开创者许靖、我国最早的四大会计师之一杨汝梅等一大批蜚声中外的杰出人才，“东京审判”担任首席检察官的向哲浚、我国著名的经济学家人口学家马寅初等都曾在我校任教。 二、院校专业 1[本科] 机械工程及自动化 机械工程与自动化专业下的铁路机车车辆方向是机电学院的重点发展的专业方向之一，并最早建立了车辆工程硕士点和博士点，具有良好的科研、教学基础和完整的学术梯队，与用人单位有广泛的联系。 本专业方向以培养高速动车组技术为核心的铁路机车车辆和城市轨道车辆的设计、制造、检修、运用及科研开发等相关领域的高级工程技术人才和管理人才为目标。 学生在校期间，除公共基础课以及机械工程与自动化专业基础课外，还设置了大量特色课程供学生选修，有动车组工程、动车组设计理论基础、动车组传动与控制、动车组装备与运用工程、动车组制造工艺与装备、计算机辅助机车车辆设计综合实践等课程，使学生在机车车辆设计、制造、运用以及工程管理等方面获得系统的专业知识。 本专业方向毕业生除可攻读研究生继续深造以外，将在全国各大铁路工厂、科研院所、各大铁路局站段、大城市的城市轨道交通公司以及相关外资企业有广阔的就业前景。 2.[本科] 计算机科学与技术 本专业是计算机科学理论与相关技术相结合的宽口径专业，旨在培养具有扎实专业基础理论知识和现代专业技术、具有较强实践能力和一定创新意识的高级研发及工程技术人才。 学生在校期间，除公共基础课外，还将学习离散数学、数字逻辑与数字电路、高级语言程序设计、汇编语言程序设计、计算机组成原理、数据结构、操作系统、编译原理、计算机系统结构、数据库原理、软件工程、接口技术和计算机网络原理等专业课程。另外还设置了丰富的专业选修课程：面向对象程序设计及应用、JAVA语言程序设计、VC++程序设计、计算机图形学、人工智能、嵌入式系统、并行程序设计、多媒体技术、单片机原理、计算机控制技术、网络新技术、网络安全与保密及网络管理等。同时学生还要参加实习、实验、课程设计、实践训练、毕业设计等各种实践环节。 本专业拥有投资超过500万元、专门用于本科教学的计算机综合实验室，该实验室除可进行常规实验外，还提供高性能并行计算机、并行程序设计、Unix、Linux操作系统、嵌入式系统、数据库系统设计、ORACLE 数据库、软件工程、计算机网络基础、计算机网络安全、计算机网络管理等特色性专业实践环节所需的基本实验平台。 学生毕业后，除可报考本校或外校的研究生外，还可从事计算机软、硬件系统级和应用级的科学研究、

北京交通大学本科毕设论文模板-论文主体

论文查重-不限次数-永久免费 https://www.wendangku.net/doc/cc12111744.html, 本科毕业设计（论文）设计（论文）题目 设计（论文）英文题目 学院： 专业： 学生姓名： 学号： 指导教师： 北京交通大学 2019年3月

论文查重-不限次数-永久免费 https://www.wendangku.net/doc/cc12111744.html, 学士论文版权使用授权书 本学士论文作者完全了解北京交通大学有关保留、使用学士论文的规定。特授权北京交通大学可以将学士论文的全部或部分内容编入有关数据库进行检索，提供阅览服务，并采用影印、缩印或扫描等复制手段保存、汇编以供查阅和借阅。 （保密的学位论文在解密后适用本授权说明） 学位论文作者签名：指导教师签名： 签字日期：年月日签字日期：年月日

中文摘要 摘要：[鼠标左键单击选择该段落，输入替换之。内容为小四号宋体。] 中文摘要应将论文的内容要点简短明了地表达出来，约400字左右，字体为宋体小四号。内容应包括工作目的、研究方法、成果和结论。要突出本论文的创新点，语言力求精炼。为了便于文献检索，应在本页下方另起一行注明论文的关键词（3-5个），如有可能，尽量采用《汉语主题词表》等词表提供的规范词。图X幅，表X个，参考文献X篇。 关键词：[请输入关键词（3-5），以分号分隔。]

ABSTRACT ABSTRACT: "[鼠标左键单击选择该段落，输入替换之。内容为小四号Times New Roman。]" 与中文摘要内容要相对应。 KEYWORDS：[请输入英文关键词，与中文关键词保持一致。以分号分隔。]

目录 中文摘要.................................................................. I ABSTRACT ................................................................. II 目录................................................................ III 1 引言 (1) 2 1级标题（小四、黑体、左对齐、空1字符）.............. 错误！未定义书签。 2.12级标题（小四、宋体、首行缩进1字符）............. 错误！未定义书签。 2.1.1 3级标题（小四、宋体、首行缩进2字符）........ 错误！未定义书签。 3 1级标题.............................................. 错误！未定义书签。 3.12级标题........................................... 错误！未定义书签。 3.1.1 3级标题...................................... 错误！未定义书签。 4 1级标题.............................................. 错误！未定义书签。 4.12级标题........................................... 错误！未定义书签。 4.1.1 3级标题...................................... 错误！未定义书签。 5 结论 (7) 参考文献 (8) 致谢 (10) 附录 (10) 目录说明： 1级标题（小四、黑体、左对齐、空1字符） 2级标题（小四、宋体、首行缩进1字符） 3级标题（小四、宋体、首行缩进2字符）

《离散数学》复习提纲(2018)

《离散数学》期末复习大纲 一、数理逻辑 [复习知识点] 1、命题与联结词（否定￢、析取∨、合取∧、蕴涵→、等价?），复合命题 2、命题公式与赋值（成真、成假），真值表，公式类型（重言、矛盾、可满足）， 公式的基本等值式 3、范式：析取范式、合取范式，极大（小）项，主析取范式、主合取范式 4、公式类型的判别方法（真值表法、等值演算法、主析取/合取范式法） 5、命题逻辑的推理理论 6、谓词、量词、个体词（一阶逻辑3要素）、个体域、变元（约束出现与自由出 现） 7、命题符号化、谓词公式赋值与解释，谓词公式的类型（永真、永假、可满足） 8、谓词公式的等值式（代换实例、消去量词、量词否定和量词辖域收与扩、量 词分配）和置换规则（置换规则、换名规则） 9、一阶逻辑前束范式（定义、求法） 本章重点内容：命题与联结词、公式与解释、（主）析取范式与（主）合取范式、 公式类型的判定、命题逻辑的推理、谓词与量词、命题符号化、谓词公式赋值与 解释、求前束范式。 [复习要求] 1、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方 法。 2、理解公式与赋值的概念；掌握求给定公式真值表的方法，用基本等值式化简 其它公式，公式在解释下的真值。 3、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取） 范式的概念；掌握用基本等值式或真值表将公式化为主析取（合取）范式的方法。 4、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公 式等价方法。 5、掌握命题逻辑的推理理论。 6、理解谓词、量词、个体词、个体域、变元的概念；理解用谓词、量词、逻辑

联结词描述一个简单命题；掌握命题的符号化。 7、理解公式与解释的概念；掌握在有限个体域下消去公式量词，求公式在给定 解释下真值的方法；了解谓词公式的类型。 8、掌握求一阶逻辑前束范式的方法。 二、集合 [复习知识点] 1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂 集 2、集合的交、并、差、补以及对称差等运算及有穷集的计数（文氏（Venn）图、包含排斥原理） 3、集合恒等式（幂等律、交换律、结合律、分配律、吸收律、矛盾律、德摩根 律等）及应用 本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明。 [复习要求] 1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。 2、掌握集合的表示法和集合的交、并、差、补、对称差等基本运算。 3、掌握集合运算基本规律，证明集合等式的方法。 三、二元关系 [复习知识点] 1、序偶、迪卡儿积，迪卡儿积的性质及运算。 2、二元关系（定义、空关系、全域关系、恒等关系）、关系表达式、关系矩阵与 关系图 3、关系的定义域、值域、限制、像、复合关系（右复合）与逆关系 4、关系的性质（自反性、反自反性、对称性、反对称性、传递性） 5、关系的闭包（自反闭包、对称闭包、传递闭包） 6、等价关系与等价类、商集、划分 7、偏序关系与哈斯图、极大/小元、最大/小元