2021年南京航空航天大學(xué)541離散數(shù)學(xué)與編譯原理考研大綱

• 2026考研英語(yǔ)全程班 6班
• 26考研全科上岸規(guī)劃營(yíng)「擇校▪規(guī)劃▪備考」
• 南京航空航天大學(xué)2026考研專(zhuān)業(yè)課復(fù)習(xí)資料「真題▪筆記▪講義▪題庫(kù)」

參考書(shū)目

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

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

【目標(biāo)】

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

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

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

【大綱】

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

1.命題邏輯與一階邏輯

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

1.2.命題邏輯范式

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

1.4.推理理論

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

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

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

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

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

3.圖與樹(shù)

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

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

3.3.樹(shù)、生成樹(shù)與根樹(shù)

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

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

4.2.半群與群

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

二、編譯原理部分

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

2：文法、推導(dǎo)、語(yǔ)法樹(shù)、短語(yǔ)、直接短語(yǔ)、句柄、素短語(yǔ)、最左素短語(yǔ);

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

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

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

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

7：運(yùn)行時(shí)存儲(chǔ)組織;靜態(tài)與動(dòng)態(tài)存儲(chǔ)管理與實(shí)現(xiàn)。

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