2019年吉林大学珠海学院本科插班生招生入学考试《软件工程》专业考试大纲-离散数学

吉林大学珠海学院2019年本科插班生招生入学考试

《软件工程》专业考试大纲

考试科目名称：离散数学

一、考试的内容、要求和目的

1、考试内容：

第一章 集合、映射与运算 （考核比重：10%）

（1）集合的有关概念

（2）映射的有关概念

（3）运算的定义及性质

（4）集合的运算

（5）集合的划分与覆盖

第二章 关系（考核比重：15%）

（1）关系的概念

（2）关系的运算

（3）关系的性质

（4）关系的闭包

（5）等价关系

（6）相容关系

（7）偏序关系

第三章 命题逻辑（考核比重：15%）

（1） 命题的有关概念

（2） 逻辑联结词

（3） 命题公式及其真值表

（4） 命题等值的命题公式

（5） 命题公式的范式

（6） 联结词集合的功能完备性

（7） 命题逻辑中的推理

第四章 谓词逻辑（考核比重：15%）

（1） 个体、谓词、量词和函词

（2） 谓词公式及命题的符号化

（3） 谓词公式的解释及类型

（4） 逻辑等值的谓词公式

（5） 谓词公式的前束范式

（6） 谓词逻辑中的推理

第五章 代数结构（考核比重：15%）

（1） 代数结构简介

（2） 群的定义及性质

（3） 环和域

（4） 格与布尔代数

第六章 图论（考核比重：20%）

（1） 图的基本概念

（2） 节点的度数

（3） 子图、图的运算和图同构

（4） 路与回路

（5） 图的连通性

（6） 图的矩阵表示

（7） 赋权图及短路径

第七章 几类特殊的图（考核比重：10%）

（1） 欧拉图

（2） 哈密尔顿图

（3） 无向图

（4） 有向图

2、考试的要求和目的

《离散数学》是属于现代数学的范畴，是一门重要的专业基础课。它在计算机程序设计语言、数据结构、操作系统、软件工程、数据库、人工智能等方面都有着广泛的应用。本课程包括数理逻辑、集合论、代数结构和图论四个部分的内容。通过本课程的学习，培养学生的抽象思维和缜密概括的能力，使学生具有独立学习和工作的能力。

二、考试的形式和结构

1、考核形式：闭卷

2、考试时间：120分钟

3、试卷题型：综合题、应用题、计算题

4、对考试辅助工具的要求：携带钢笔、圆珠笔或中性笔，禁止携带计算器。

三、教材及教学参考书

1、《离散数学（第3版）》，邓辉文，清华大学出版社

2、《离散数学习题解答（第3版）》，邓辉文，清华大学出版社