2020年沈阳建筑大学理学院硕士研究生招生考试初试大纲离散考查目标

离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。考核的内容是计算机专业需要的重要基础部分，包括：

1.数理逻辑部分：要求掌握命题及其表示法、连接词、重言式与蕴含式、对偶与范式、推理证明、谓词逻辑等；

2.集合论部分：要求掌握关系及其表示、复合关系和逆关系、集合的划分和覆盖、等价关系与等价类、特征函数与模糊子集、可数集与不可数集等；

3.代数结构部分：要求掌握群、环和域、阿贝尔群和循环群、置换群、陪集与拉格朗日定理、同态与同构等；

4.布尔代数部分：要求掌握格、布尔代数、布尔表达式等；

5.图论部分：要求掌握图的基本概念、路与回路、图的矩阵表示、欧拉图与汉密尔顿图、平面图、树等。