|
友情提示：本站提供全國400多所高等院校招收碩士、博士研究生入學考試歷年考研真題、考博真題、答案，部分學校更新至2012年，2013年；均提供收費下載。 下載流程： 考研真題 點擊“考研試卷””下載; 考博真題 點擊“考博試卷庫” 下載
2018 年南京航空航天大學招收碩士研究生入學考試大綱
考試科目代碼 541 考試科目名稱 離散數學與編譯原理
參考書目
1.《離散數學（第五版）》耿素云、屈婉玲、張立昂編，清華
大學出版社 2013 年；
2.《程序設計語言編譯原理（第三版）》陳火旺編，國防工業
出版社，2008 年，第三版。
考試大綱
【目標】
1. 掌握計算機科學與技術專業的基本理論、基本知識和專業
技能，了解計算機學科的知識結構、典型技術、核心概念和
基本工作流程。
2、深入理解和掌握離散數學的基本概念、相關模型、基本
理論和應用技術，具有抽象思維、邏輯推理以及問題求解的
能力。
3、深入理解和掌握編譯原理的基本原理、基本設計方法、
常用算法和主要實現技術，具有分析問題、抽線問題和解決
問題的能力。
【大綱】
一、離散數學部分
1. 命題邏輯與一階邏輯
1.1. 聯結詞、量詞、謂詞
1.2. 命題邏輯范式
1.3. 合式公式、解釋、等值式
1.4. 推理理論
2. 集合與關系
2.1. 集合的運算與性質
2.2. 關系的運算、性質與閉包
2.3. 等價關系與偏序關系
2.4. 函數的運算與性質
3. 圖與樹
3.1. 圖的定義與表示、圖的連通性
3.2. 二部圖、平面圖、歐拉圖、哈密爾頓圖
3.3. 樹、生成樹與根樹
4. 代數系統
4.1. 代數系統及其同態與同構
4.2. 半群與群
4.3. 格與布爾代數
二、編譯原理部分
1：編譯程序的基本概念、結構
2：文法、推導、語法樹、短語、直接短語、句柄、素短語、
最左素短語；
3：有限自動機、正規式；正規式與有限自動機、正規文法
的等價性。
4：LL（1）分析方法；算符優先分析方法；SLR（1）和 LR（1）
分析方法。
5：屬性文法的概念；S―屬性文法、L―屬性文法的定義、翻
譯模式以及計算繼承屬性、綜合屬性的方法。
6：賦值語句與布爾表達式的翻譯；回填技術及控制語句的
翻譯；過程調用與類型檢查。
7：運行時存儲組織；靜態與動態存儲管理與實現。
8：優化的概念；基本塊的劃分、程序流圖；基本塊的 DAG
圖及局部優化、循環優化方法。
免責聲明：本文系轉載自網絡，如有侵犯，請聯系我們立即刪除，另：本文僅代表作者個人觀點，與本網站無關。其原創性以及文中陳述文字和內容未經本站證實，對本文以及其中全部或者部分內容、文字的真實性、完整性、及時性本站不作任何保證或承諾，請讀者僅作參考，并請自行核實相關內容。
|
文章搜索
您現在的位置： 
