《457离散数学（软）》
一、适用于报考的专业：软件工程
二、题目类型：简答题、证明题、画图题、填空题
三、参考教材：
1.《离散数学》 编者：耿素云，屈婉玲，张立昂 清华大学出版社
2.《离散数学》 编者：左孝凌，李为鉴，刘永才 上海科学技术文献出版社
3.《离散数学》 编者：李盘林，李丽双，李萍，王春立 高等教育出版社
四、基本内容：
1．数理逻辑：命题逻辑中的公式、真值表、等价公式、对偶
式、蕴含式、联结词的功能完全组、范式、主范式、推理理论；
谓词逻辑中的基本概念、公式、约束变元、解释与赋值、逻辑有
效、等价式、变换规则、蕴含式、范式、推理理论；
2．集合论：公理化集合论、关系、关系的性质、等价与划分、
相容与覆盖、函数、基数；
3．代数结构：代数结构一般概论、理论、同态与同构、同余、
半群、群、格、布尔代数；
4．图论：图论的一般概念及其特殊图（有欧拉图、哈密尔顿图、二部图、平面图和树理论）
一、适用于报考的专业：软件工程
二、题目类型：简答题、证明题、画图题、填空题
三、参考教材：
1.《离散数学》 编者：耿素云，屈婉玲，张立昂 清华大学出版社
2.《离散数学》 编者：左孝凌，李为鉴，刘永才 上海科学技术文献出版社
3.《离散数学》 编者：李盘林，李丽双，李萍，王春立 高等教育出版社
四、基本内容：
1．数理逻辑：命题逻辑中的公式、真值表、等价公式、对偶
式、蕴含式、联结词的功能完全组、范式、主范式、推理理论；
谓词逻辑中的基本概念、公式、约束变元、解释与赋值、逻辑有
效、等价式、变换规则、蕴含式、范式、推理理论；
2．集合论：公理化集合论、关系、关系的性质、等价与划分、
相容与覆盖、函数、基数；
3．代数结构：代数结构一般概论、理论、同态与同构、同余、
半群、群、格、布尔代数；
4．图论：图论的一般概念及其特殊图（有欧拉图、哈密尔顿图、二部图、平面图和树理论）