南京航空航天大学科目考试大纲 （541）离散数学与编译原理大纲明细

参考书目

1.《离散数学（第五版）》耿素云、屈婉玲、张立昂编，清华大学出版社 2013年；

2.《程序设计语言编译原理（第三版）》陈火旺编，国防工业出版社，2008年，第三版。

【目标】

1. 掌握计算机科学与技术专业的基本理论、基本知识和专业技能，了解计算机学科的知识结构、典型技术、核心概念和基本工作流程。

2、深入理解和掌握离散数学的基本概念、相关模型、基本理论和应用技术，具有抽象思维、逻辑推理以及问题求解的能力。

3、深入理解和掌握编译原理的基本原理、基本设计方法、常用算法和主要实现技术，具有分析问题、抽线问题和解决问题的能力。

【大纲】

一、离散数学部分

1. 命题逻辑与一阶逻辑

1.1. 联结词、量词、谓词

1.2. 命题逻辑范式

1.3. 合式公式、解释、等值式

1.4. 推理理论

2. 集合与关系

2.1. 集合的运算与性质

2.2. 关系的运算、性质与闭包

2.3. 等价关系与偏序关系

2.4. 函数的运算与性质

3. 图与树

3.1. 图的定义与表示、图的连通性

3.2. 二部图、平面图、欧拉图、哈密尔顿图

3.3. 树、生成树与根树

4. 代数系统

4.1. 代数系统及其同态与同构

4.2. 半群与群

4.3. 格与布