南京航空航天大學

參考書目

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.格與布爾代數

二、編譯原理部分

1：編譯程序的基本概念、結構

2：文法、推導、語法樹、短語、直接短語、句柄、素短語、最左素短語;

3：有限自動機、正規式;正規式與有限自動機、正規文法的等價性。

4：LL(1)分析方法;算符優先分析方法;SLR(1)和LR(1)分析方法。

5：屬性文法的概念;S―屬性文法、L―屬性文法的定義、翻譯模式以及計算繼承屬性、綜合屬性的方法。

6：賦值語句與布爾表達式的翻譯;回填技術及控制語句的翻譯;過程調用與類型檢查。

7：運行時存儲組織;靜態與動態存儲管理與實現。

8：優化的概念;基本塊的劃分、程序流圖;基本塊的DAG圖及局部優化、循環優化方法。