河南科技大学2023年硕士研究生招生考试《离散数学》考研大纲

2022-10-08

缩小

河南科技大学2023年硕士生招生考试初试

自命题科目考试大纲

学院名称	科目代码	科目名称	说明
信息工程学院	652	离散数学

说明栏：各单位自命题考试科目如需带计算器、绘图工具等特殊要求的，请在说明栏里加备注。

河南科技大学硕士研究生招生考试

《离散数学》考试大纲

考试科目代码： 652 考试科目名称： 离散数学

一、考试基本要求及适用范围概述

要求考生全面、系统地掌握离散数学中的基本概念、基本原理、基本方法和基本能力，具有初步分析、解决离散数学问题和相关应用的能力，能够用离散数学的方式进行基本的思考和推理。

本考试大纲适用于河南科技大学计算机科学与技术专业的硕士研究生入学考试。

二、考试形式

考试采取闭卷笔试形式，考试时间180分钟，总分150分。

三、考试内容

数理逻辑：命题逻辑的基本概念、等值演算(不包含完备集和消解法)、推理理论；一阶逻辑基本概念、等值演算与推理。逻辑中的重点是真值表、演算和推理。

集合论：集合代数，二元关系，函数(不包含双射函数的基数)。集合论的重点是二元关系。

代数结构：代数系统，群与环(不包含陪集)，格与布尔代数。

图论：图的基本概念，欧拉图与哈密顿图，树，平面图(不包含对偶图)。图论的重点是树。

四、主要参考教材（参考书目）

屈婉玲，耿素云，张立昂等．离散数学．第二版.北京：高等教育出版社，2015年

附件：

免责声明：本站所提供的内容均来源于网络，如涉及侵权问题，请联系本站管理员予以更改或删除。

研友互动