南京航空航天大學541離散數(shù)學與編譯原理2023考研大綱及參考書目已經(jīng)發(fā)布，各位同學注意及時關注相關信息。高頓考研為大家整理了南京航空航天大學541離散數(shù)學與編譯原理2023考研大綱及參考書目的詳細內(nèi)容，希望對大家有所幫助！
1.《離散數(shù)學(第五版)》耿素云、屈婉玲、張立昂編，清華大學出版社2013年;
2.《程序設計語言編譯原理(第三版)》陳火旺編，國防工業(yè)出版社，2008年，第三版。
【目標】
1.掌握計算機科學與技術專業(yè)的基本理論、基本知識和專業(yè)技能，了解計算機學科的知識結構、典型技術、核心概念和基本工作流程。
2、深入理解和掌握離散數(shù)學的基本概念、相關模型、基本理論和應用技術，具有抽象思維、邏輯推理以及問題求解的能力。
3、深入理解和掌握編譯原理的基本原理、基本設計方法、常用算法和主要實現(xiàn)技術，具有分析問題、抽線問題和解決問題的能力。
【大綱】
一、離散數(shù)學部分
1.命題邏輯與一階邏輯
1.1.聯(lián)結詞、量詞、謂詞
1.2.命題邏輯范式
1.3.合式公式、解釋、等值式
1.4.推理理論
2.集合與關系
2.1.集合的運算與性質
2.2.關系的運算、性質與閉包
2.3.等價關系與偏序關系
2.4.函數(shù)的運算與性質
3.圖與樹
3.1.圖的定義與表示、圖的連通性
3.2.二部圖、平面圖、歐拉圖、哈密爾頓圖
3.3.樹、生成樹與根樹
4.代數(shù)系統(tǒng)
4.1.代數(shù)系統(tǒng)及其同態(tài)與同構
4.2.半群與群
4.3.格與布爾代數(shù)
二、編譯原理部分
1：編譯程序的基本概念、結構
2：文法、推導、語法樹、短語、直接短語、句柄、素短語、最左素短語;
3：有限自動機、正規(guī)式;正規(guī)式與有限自動機、正規(guī)文法的等價性。
4：LL(1)分析方法;算符優(yōu)先分析方法;SLR(1)和LR(1)分析方法。
5：屬性文法的概念;S―屬性文法、L―屬性文法的定義、翻譯模式以及計算繼承屬性、綜合屬性的方法。
6：賦值語句與布爾表達式的翻譯;回填技術及控制語句的翻譯;過程調用與類型檢查。
7：運行時存儲組織;靜態(tài)與動態(tài)存儲管理與實現(xiàn)。
8：優(yōu)化的概念;基本塊的劃分、程序流圖;基本塊的DAG圖及局部優(yōu)化、循環(huán)優(yōu)化方法。
文章來源：南京航空航天大學研究生官網(wǎng)