硕士研究生入学考试大纲
考试科目名称：工科离散数学
一、考试大纲援引教材
《工科离散数学》电子工业出版社牛连强陈欣张胜男2017
二、考试要求
要求学生全面系统地掌握离散数学的基本概念、定理和方法，能够对离散数学领域中的问题进行分析和推理，具有较强的抽象思维与逻辑推理能力。
三、考试内容
1. 命题逻辑
l 命题
l 逻辑联结词
l 命题翻译
l 命题公式的值与等价
l 范式
l 推理理论
2. 谓词逻辑
l 谓词、个体次与量词
l 谓词逻辑中的命题翻译
l 量词的约束与谓词公式的解释
l 谓词逻辑中的基本等价和蕴含关系
l 谓词演算的推理理论
3. 集合论
l 集合的概念与表示方法
l 基本的集合运算
l 集合运算的证明方法
l 序偶与笛卡尔集
4. 关系
l 二元关系的含义与表示
l 关系运算
l 关系的主要性质
l 关系的闭包
l 相容关系与等价关系
l 序关系
5. 函数
l 函数的概念
l 满射、单射、双射
l .函数的逆与复合
l 集合的基数
6. 运算与代数结构
l 运算及其性质
l 二元运算中的特殊元素
l 代数系统
l 半群与独异点
l 群与子群
l 循环群与置换群
l 群的陪集分解
7. 环、域、格和布尔代数
l 环和域
l 格
l 布尔代数
8. 图论
l 图的基本概念
l 图的连通性
l 图的矩阵表示
l 二部图、欧拉图与汉密尔顿图
l 平面图
l 树
原标题：2019年沈阳工业大学硕士研究生入学考试《工科离散数学》科目考试大纲-加试
