同等学力人员申请硕士学位全国统一考试大纲及指引离散数学与组合.PDF

4U 电脑书库 （ ） 同等学力人员申请硕士学位 计算机科学与技术学科综合水平 全国统一考试大纲及指南 （第二版） 离散数学与组合数学 一、考试大纲 离散数学与组合数学是现代数学的重要分支，是计算机科学的基础理论课 程。 数理逻辑、集合论、图论与代数结构是离散数学的重要组成部分。要求考生 对它们的基本概念有较深入的了解，能够系统地掌握命题演算、谓词演算及朴素 集合论的经典内容，掌握演绎推理的基本方法。掌握图论的基本定理和应用，熟 悉代数系统的基本概念及定理。 组合数学部分要求考生掌握各种基本的计数方法，线性常系数递推关系的解 法，Burnside 引理和Polya 定理的应用，容斥原理和鸽巢原理的应用等。 主要内容包括： (一)命题逻辑的等值演算与推理演算 l，命题逻辑的基本概念、命题逻辑联结词与真值表，重言式 2 ．简单命题的形式化(简单自然语句的形式化) 3