南京航空航天大學

參考書目

1.《離散數(shù)學(第五版)》耿素云、屈婉玲、張立昂編，清華大學出版社2013年;

2.《程序設(shè)計語言編譯原理(第三版)》陳火旺編，國防工業(yè)出版社，2008年，第三版。

【目標】

1.掌握計算機科學與技術(shù)專業(yè)的基本理論、基本知識和專業(yè)技能，了解計算機學科的知識結(jié)構(gòu)、典型技術(shù)、核心概念和基本工作流程。

2、深入理解和掌握離散數(shù)學的基本概念、相關(guān)模型、基本理論和應(yīng)用技術(shù)，具有抽象思維、邏輯推理以及問題求解的能力。

3、深入理解和掌握編譯原理的基本原理、基本設(shè)計方法、常用算法和主要實現(xiàn)技術(shù)，具有分析問題、抽線問題和解決問題的能力。

【大綱】

一、離散數(shù)學部分

1.命題邏輯與一階邏輯

1.1.聯(lián)結(jié)詞、量詞、謂詞

1.2.命題邏輯范式

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

1.4.推理理論

2.集合與關(guān)系

2.1.集合的運算與性質(zhì)

2.2.關(guān)系的運算、性質(zhì)與閉包

2.3.等價關(guān)系與偏序關(guān)系

2.4.函數(shù)的運算與性質(zhì)

3.圖與樹

3.1.圖的定義與表示、圖的連通性

3.2.二部圖、平面圖、歐拉圖、哈密爾頓圖

3.3.樹、生成樹與根樹

4.代數(shù)系統(tǒng)

4.1.代數(shù)系統(tǒng)及其同態(tài)與同構(gòu)

4.2.半群與群

4.3.格與布爾代數(shù)

二、編譯原理部分

1：編譯程序的基本概念、結(jié)構(gòu)

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

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

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

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

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

7：運行時存儲組織;靜態(tài)與動態(tài)存儲管理與實現(xiàn)。

8：優(yōu)化的概念;基本塊的劃分、程序流圖;基本塊的DAG圖及局部優(yōu)化、循環(huán)優(yōu)化方法。