关于想要报考离散数学学科硕士的考生来说，考研大纲一向是考生关怀的要点，有了大纲，才干更清楚自个的备考方向，少走许多的温习弯路。为协助考生晓得院校应考信息，研晟考研收拾了离散数学考研大纲，供考生参阅。
国防科技大学离散数学专业考研大纲
类别代码：f0205类别称号：离散数学
?
　　一.考试需

求
?
　　首要查询学生对离散数学中集结、联络、函数、图论、出题逻辑、一阶谓词逻辑、推理体系、布尔代数等核算机数学的根柢概念、核算和证明办法的了解与掌控情况，以及使用上述概念和办法进行使用疑问离散建模、核算求解和逻辑推理的才能。注重概念的深化了解、常识的归纳运用，以及实际疑问分析和处置。
?
　　二、考试内容
?
　　1.逻辑和证明基础
?
　　出题、逻辑联接词、真值表、位操作和位串、出题符号化及使用、逻辑等价和包含、出题可满足性及使用、谓词、量词、量词表达式等价及否定、嵌套量词、谓词逻辑符号化、推理规则、归结、逻辑证明、证明办法、证明战略、逻辑语义。需求熟练掌控出题逻辑和谓词逻辑的根柢概念，掌控逻辑等价和包含分析办法，掌控逻辑推理办法和证明办法，可以熟练运用出题逻辑和谓词逻辑求解逻辑疑问，晓得可满足性疑问。
?
　　2.根柢规划：集结、函数、序列、求和
?
　　集结根柢概念、集结描绘办法、常见集结、集结相等、归于、子集、空集、幂集、集结的基数、n元组、笛卡尔乘积、集结运算（交、并、差、补）、集结恒等式、广义交、广义并、集结的核算机标明、（全）函数、函数算术、1对1函数、1-1对应、内射、满射、双射、函数运算（逆函数、函数的组成）、若干重要函数、有些函数、序列、算术级数、几许级数、递推联络、一些特别序列、累加、基数比照联络（=，3，￡，<,>）、可数集、不可以数集、基数联络证明。需求熟练掌控集结的根柢概念、集结的运算；熟练掌控函数、函数的运算及其证明；熟练掌控级数、累加；掌控基数比照和函数的联络、可数集。
?
　　3.归纳和递归
?
　　数学归纳法原理、数学归纳法运用、强归纳法原理、强归纳法运用、良序性质、递归界说函数、归纳界说法、递归界说的集结和规划、规划归纳法、规划归纳法的运用、广义归纳法、递归算法、递归算法正确性证明、递归和迭代。需求熟练掌控数学归纳法、强归纳法和规划归纳法，可以熟练运用归纳界说法；掌控递归和递归算法的根柢概念，可以较熟练编写递归算法；晓得递归算法正确性证明。
?
　　4.联络
?
　　二元联络根柢概念、联络与函数、二元联络的性质（自反、对称、对立称、传递）及其证明、联络的运算、n-元联络根柢概念、n-元联络的运算、联络与数据库、联络的标明（联络矩阵、联络图）、联络的闭包、等价联络、等价类、区别、偏序、全序、良序归纳原理、哈斯图、最大（小）元、极大（小）元、上（下）界、上（下）确界、格、拓扑排序。需求了解集结、联络和函数的相关关
?
　　系；掌控联络的性质断定和运算；了解联络与联络数据库的联络；掌控等价联络、序联络，可以证明有关性质；晓得格和拓扑排序。
?
　　5.图
?
　　图的根柢概念、图模型、图的根柢术语和特别类型图、二部图和匹配、图的使用、图的运算、图的标明、图同构、途径和连通性、欧拉途径和哈密顿途径及其使用、最短途径算法、平面图及其使用、欧拉公式、库拉托瓦斯基定理、图的上色疑问。需求了解图的根柢概念和术语；掌控最短途径算法；了解途径和连通性；较熟练掌控图的性质证明；较好掌控二部图平缓面图。
?
　　6.树
?
　　树的根柢概念和术语、树建模、树的性质及其证明、树的使用、二叉树、树的遍历算法、树的编码、生成树、最小生成树、回溯。需求了解树的根柢概念；掌控树的算法和性质证明；可以运用树进行建模和使用；掌控各种树的遍历算法；掌控回溯法。
?
　　7.布尔代数
?
　　布尔函数、布尔表达式、布尔代数恒等式、对偶、布尔代数界说、范式打开、逻辑门、电路、电路极小化。需求掌控布尔表达式改换办法；了解布尔代数与电路的相关联络；晓得布尔代数。
?
?
考研上岸在许多人的心里估量都是比照难的，不管是在职仍是在校，专业课想拿高分?温习全局难掌控？经历贴踩雷许多，要害期错失前进，林林总总的备考疑问是不是一大堆?靠自学，没有办法，没有动力，信赖这是许多人的心里描写，研晟考研，助力考生有用备考，专属学习方案，一战上岸。