考研大纲不仅能给你一个复习的方向，还能帮助你梳理整个知识大纲，方便学习。考研营小编为大家整理了“2024考研大纲：哈尔滨工程大学2024年考研 006计算机科学与技术学院 加试科目 006--离散数学 考试大纲”的相关内容，请持续关注！
附件5
2024年考试内容范围说明
考试科目名称: 离散数学 □初试 □复试 ■加试
考试内容范围: 数理逻辑 要求考生熟练掌握命题符号化的方法. 要求考生熟练掌握命题逻辑公式的主析取范式和主合取范式的求解. 要求考生熟练掌握命题逻辑的推理理论. 要求考生熟练掌握一阶逻辑命题符号化的方法. 要求考生理解一阶逻辑等值式与置换规则. 集合论 要求考生熟练掌握集合的运算与集合恒等式. 要求考生熟练掌握二元关系的定义、运算与性质，熟练掌握等价关系和偏序关系的定义和 证明. 要求考生理解函数的定义与性质. 代数结构 要求考生理解二元运算的定义与性质、掌握代数系统的定义. 要求考生熟练掌握群、环、域、格与布尔代数的定义与性质. 图论 要求考生熟练掌握图的基本概念. 要求考生熟练掌握无向树及其性质、生成树的定义与性质. |
考试总分：1 0 0分
考试时间： 1 小时
考试方式：笔试 考试题型：
填空题（20分） 判断题（2 0 分） 计算题（ 20 分） 证明题（ 40 分） |
参考书目（材料） 1、屈婉玲，耿素云，张立昂.
离散数学（第2版）.北京：高等教育出版社，2 008.03. |
以上就是小编整理的“2024考研大纲：哈尔滨工程大学2024年考研 006计算机科学与技术学院 加试科目 006--离散数学 考试大纲”的全部内容，更多关于哈尔滨工程大学2024年考研大纲的信息，尽在“考研大纲”栏目，希望对广大学子有所帮助！