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

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

【目標】

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

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

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

【大綱】

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

1. 命題邏輯與一階邏輯

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

1.2. 命題邏輯范式

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

1.4. 推理理論

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

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

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

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

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

3. 圖與樹(shù)

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

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

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

4. 代數系統

4.1. 代數系統及其同態(tài)與同構

4.2. 半群與群

4.3. 格與布爾代數

二、編譯原理部分

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

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

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

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

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

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

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

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