南京航空航天大學(xué)541離散數(shù)學(xué)與編譯原理2023考研大綱及參考書目已經(jīng)發(fā)布，各位同學(xué)注意及時關(guān)注相關(guān)信息。高頓考研為大家整理了南京航空航天大學(xué)541離散數(shù)學(xué)與編譯原理2023考研大綱及參考書目的詳細(xì)內(nèi)容，希望對大家有所幫助！
1.《離散數(shù)學(xué)(第五版)》耿素云、屈婉玲、張立昂編，清華大學(xué)出版社2013年;
2.《程序設(shè)計語言編譯原理(第三版)》陳火旺編，國防工業(yè)出版社，2008年，第三版。
【目標(biāo)】
1.掌握計算機(jī)科學(xué)與技術(shù)專業(yè)的基本理論、基本知識和專業(yè)技能，了解計算機(jī)學(xué)科的知識結(jié)構(gòu)、典型技術(shù)、核心概念和基本工作流程。
2、深入理解和掌握離散數(shù)學(xué)的基本概念、相關(guān)模型、基本理論和應(yīng)用技術(shù)，具有抽象思維、邏輯推理以及問題求解的能力。
3、深入理解和掌握編譯原理的基本原理、基本設(shè)計方法、常用算法和主要實現(xiàn)技術(shù)，具有分析問題、抽線問題和解決問題的能力。
【大綱】
一、離散數(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.等價關(guān)系與偏序關(guān)系
2.4.函數(shù)的運(yùn)算與性質(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：文法、推導(dǎo)、語法樹、短語、直接短語、句柄、素短語、最左素短語;
3：有限自動機(jī)、正規(guī)式;正規(guī)式與有限自動機(jī)、正規(guī)文法的等價性。
4：LL(1)分析方法;算符優(yōu)先分析方法;SLR(1)和LR(1)分析方法。
5：屬性文法的概念;S―屬性文法、L―屬性文法的定義、翻譯模式以及計算繼承屬性、綜合屬性的方法。
6：賦值語句與布爾表達(dá)式的翻譯;回填技術(shù)及控制語句的翻譯;過程調(diào)用與類型檢查。
7：運(yùn)行時存儲組織;靜態(tài)與動態(tài)存儲管理與實現(xiàn)。
8：優(yōu)化的概念;基本塊的劃分、程序流圖;基本塊的DAG圖及局部優(yōu)化、循環(huán)優(yōu)化方法。
文章來源：南京航空航天大學(xué)研究生官網(wǎng)
以上就是本篇的全部解答，如果你想學(xué)習(xí)更多考研相關(guān)知識，歡迎大家前往高頓教育官網(wǎng)考研頻道！
相關(guān)閱讀