文登教育（文登考研）-永遠(yuǎn)做值得您信賴的考研品牌機(jī)構(gòu)！

北京航空航天大學(xué)3063數(shù)理邏輯和軟件工程考博內(nèi)部重點(diǎn)講義

限時(shí)特價(jià):330元[10折]（原價(jià)：330元）

最后更新時(shí)間：2019-07-25

累計(jì)瀏覽次數(shù)：100+

加入購(gòu)物車
大家對(duì)這份的評(píng)價(jià)還是很高的哦，會(huì)幫到您的，網(wǎng)頁(yè)下方也有評(píng)價(jià)，我想多去幾個(gè)地方，您行行好，把我分享一下唄...
分享到：
資料簡(jiǎn)介

北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博內(nèi)部重點(diǎn)講義：北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博的重點(diǎn)基本上都來(lái)源于北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)的碩士研究生階段的教學(xué)，北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博復(fù)習(xí)內(nèi)部重點(diǎn)講義主要就來(lái)源于碩士研究生的授課講義，然后北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)的在讀博士生根據(jù)考博要求和考博真題的范圍加以編輯和整理，對(duì)考博的重點(diǎn)和范圍加以完善，以便報(bào)北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)博士的考生能一目了然的掌握各章節(jié)考試范圍、總結(jié)各個(gè)考點(diǎn)的常見考查題型、提示各章節(jié)復(fù)習(xí)重難點(diǎn)，更好的去總結(jié)北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程的考博復(fù)習(xí)方法和復(fù)習(xí)思路，制定適合自己的復(fù)習(xí)時(shí)間和復(fù)習(xí)計(jì)劃。北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博復(fù)習(xí)內(nèi)部重點(diǎn)講義由北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)的在讀博士生參與編寫，在編寫的過(guò)程中由北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)的在讀博士找導(dǎo)師進(jìn)行考博重點(diǎn)范圍的咨詢與指導(dǎo)，再結(jié)合近3-5年的考博真題、考博大綱進(jìn)行編寫。北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博復(fù)習(xí)內(nèi)部重點(diǎn)講義內(nèi)容詳細(xì)，全面涵蓋深圳大學(xué)西方經(jīng)濟(jì)學(xué)專業(yè)考博的重點(diǎn)難點(diǎn)考點(diǎn)，知識(shí)體系清晰，涵蓋北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)3063數(shù)理邏輯和軟件工程考博的重點(diǎn)考點(diǎn)。價(jià)格：330元

投訴提示：文登教育是1997年成立的老字號(hào)考研行業(yè)品牌，“考生至上，服務(wù)至上！”是我們一貫的宗旨，如果您在售前咨詢或者售后咨詢的過(guò)程中遇到客服人員服務(wù)態(tài)度不好或者責(zé)任心不強(qiáng)，請(qǐng)發(fā)郵件到kaoyantousu@qq.com，2小時(shí)內(nèi)必會(huì)得到滿意的答復(fù)。

北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2017年考博招生簡(jiǎn)章招生目錄
招生年份:2017 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 081202
研究方向 更多研究方向
考試科目 04703 懷進(jìn)鵬 ：  ①1001 英語(yǔ)   ② 2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3063 數(shù)理邏輯和軟件工程   或 3064 計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程  04769 劉旭東 ：  ①1001 英語(yǔ)   ② 2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3063 數(shù)理邏輯和軟件工程   或 3064 計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程   06785 呂衛(wèi)鋒 ：  ①1001 英語(yǔ)   ② 2002 數(shù)值分析   或 2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3063 數(shù)理邏輯和軟件工程   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   07000 許可 ：  ①1001 英語(yǔ)   ② 2005 概率統(tǒng)計(jì)   或 2098 數(shù)理統(tǒng)計(jì)   ③3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3063 數(shù)理邏輯和軟件工程   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   08673 李建欣 ：  ①1001 英語(yǔ)   ② 2001 矩陣?yán)碚?  或 2004 常微分方程   或 2005 概率統(tǒng)計(jì)   或 2093 泛函分析   或 2094 抽象代數(shù)   或 2098 數(shù)理統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3063 數(shù)理邏輯和軟件工程   或 3064 計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程   08674 孫海龍 ：  ①1001 英語(yǔ)   ② 2001 矩陣?yán)碚?  或 2002 數(shù)值分析   或 2005 概率統(tǒng)計(jì)   或 2098 數(shù)理統(tǒng)計(jì)   ③ 3064 計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程   09353 徐潔 ：  ①1001 英語(yǔ)   ② 2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3063 數(shù)理邏輯和軟件工程   或 3064 計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程  09365 馬帥：  ①1001 英語(yǔ)   ②2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)  09553 樊文飛 ：  ①1001 英語(yǔ)   ② 2005 概率統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   09870 蔡維德 ：  ①1001 英語(yǔ)   ② 2001 矩陣?yán)碚?  或 2005 概率統(tǒng)計(jì)   或 2094 抽象代數(shù)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3065 計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程   或 3066 計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程   09996 朱皞罡 ：  ①1001 英語(yǔ)   ② 2001 矩陣?yán)碚?  或 2002 數(shù)值分析   或 2005 概率統(tǒng)計(jì)   或 2097 計(jì)算方法   或 2098 數(shù)理統(tǒng)計(jì)   ③ 3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   或 3062 數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)   或 3063 數(shù)理邏輯和軟件工程            更多考試科目
參考書目、參考教材 2001 矩陣?yán)碚摚?
1、矩陣的基本知識(shí)
2、線性方程組
3、矩陣的相似變換與二次型
4、線性空間
5、線性變換
6、矩陣的分解
7、矩陣的廣義逆
8、矩陣分析

2002 數(shù)值分析 ：
基本內(nèi)容與要求：
1.數(shù)值分析的研究對(duì)象和內(nèi)容
2.誤差知識(shí)與算法知識(shí)
3.向量范數(shù)和矩陣范數(shù)

2004 常微分方程 ：
1、一階微分方程的初等解法
2、一階微分方程的解的存在唯一性定理
3、高階微分方程
4、線性微分方程組/5、二階非線性微分方程組和穩(wěn)定性

2005 概率統(tǒng)計(jì) ：
1、隨機(jī)事件的概率
2、 隨機(jī)變量及其分布
3、 二維隨機(jī)變量的分布
4、隨機(jī)變量的函數(shù)的分布
5、 隨機(jī)變量的數(shù)字特征
6、大數(shù)定律和中心極限定理
7 、 統(tǒng)計(jì)量及其分布
8、 參數(shù)估計(jì)
9、 假設(shè)檢驗(yàn)

2093 泛函分析 ：
1、線性距離空間
2、Hilbert 空間
3、Banach空間上的有界線性算子
4、有界線性算子譜理論

2094 抽象代數(shù) ：
1.基本概念
2. 群論
3. 環(huán)
4. 整環(huán)的整除性
5. 模
6. 域論
7. Galois理論

2097 計(jì)算方法 ：
考試旨在考察考生對(duì)科學(xué)計(jì)算方法基本知識(shí)掌握程度的基礎(chǔ)上，注重考察考生對(duì)于各種常用數(shù)值計(jì)算方法及其理論的理解與掌握，以及運(yùn)用這次方法和理論解決分析簡(jiǎn)單實(shí)際問(wèn)題的能力。

2098 數(shù)理統(tǒng)計(jì) ：
1、概率、隨機(jī)變量及其函數(shù)的分布
2、各種收斂方式與極限分布
3、數(shù)據(jù)壓縮技術(shù)
4、貝葉斯估計(jì)
5、最大勢(shì)檢驗(yàn)與一致最大勢(shì)檢驗(yàn)
6、參數(shù)模型中的檢驗(yàn) 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書
導(dǎo)師信息 更多導(dǎo)師信息
歷年分?jǐn)?shù)線 北京航空航天大學(xué)計(jì)算機(jī)軟件與理論 專業(yè)考博錄取分?jǐn)?shù)線也是考博人應(yīng)該非常關(guān)注的又一個(gè)重要的數(shù)據(jù)信息，... 更多分?jǐn)?shù)線信息
錄取比例 北京航空航天大學(xué)計(jì)算機(jī)學(xué)院計(jì)算機(jī)軟件與理論專業(yè)考博錄取比例代表著你有多大的概率或者可能性考博成功，... 更多錄取比例信息
難度系數(shù) 北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)考博難度取決于很多因素，比如考博錄取分?jǐn)?shù)線、專業(yè)排名、學(xué)校排名，... 更多難度系數(shù)信息
研究生聯(lián)系方式 對(duì)于跨?？鐚I(yè)的考生來(lái)說(shuō)，考博信息資源還是比較匱乏的，如果能聯(lián)系到一個(gè)北京航空航天大學(xué)計(jì)算機(jī)學(xué)院... 更多研究生聯(lián)系方式信息
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論以上招生信息（招生目錄、考試科目、參考書、復(fù)試信息）均來(lái)源于北京航空航天大學(xué)研究生院，權(quán)威可靠。導(dǎo)師信息、歷年分?jǐn)?shù)線、招生錄取比例、難度分析有些來(lái)源于在校的研究生，信息比較準(zhǔn)確，但是可能存在一定的誤差，僅供大家參考。
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2016年考研招生簡(jiǎn)章招生目錄
招生年份:2016 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 81202
研究方向 00不區(qū)分研究方向 更多研究方向
考試科目 懷進(jìn)鵬：  ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3063數(shù)理邏輯和軟件工程、3064計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  劉旭東：   ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3063數(shù)理邏輯和軟件工程、3064計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  呂衛(wèi)鋒：   ①1001英語(yǔ)  ②2002數(shù)值分析、2005概率統(tǒng)計(jì) 選一  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3063數(shù)理邏輯和軟件工程、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  許可：   ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)、2098數(shù)理統(tǒng)計(jì) 選一  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3063數(shù)理邏輯和軟件工程、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  李舟軍：  ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)、2094抽象代數(shù) 選一  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3063數(shù)理邏輯和軟件工程、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  李建欣：   ①1001英語(yǔ)  ②2001矩陣?yán)碚摗?005概率統(tǒng)計(jì)、2094抽象代數(shù)、2098數(shù)理統(tǒng)計(jì) 選一  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3063數(shù)理邏輯和軟件工程、3064計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  孫海龍：  ①1001英語(yǔ)  ②2001矩陣?yán)碚摗?002數(shù)值分析、2005概率統(tǒng)計(jì)、2098數(shù)理統(tǒng)計(jì) 選一  ③3064計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  徐潔：   ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3063數(shù)理邏輯和軟件工程、3064計(jì)算機(jī)網(wǎng)絡(luò)和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  馬帥：   ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu) 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  樊文飛：  ①1001英語(yǔ)  ②2005概率統(tǒng)計(jì)  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3062數(shù)理邏輯和計(jì)算機(jī)系統(tǒng)結(jié)構(gòu) 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課  蔡維德：   ①1001英語(yǔ)  ②2001矩陣?yán)碚摗?005概率統(tǒng)計(jì)、2094抽象代數(shù) 選一  ③3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)、3065計(jì)算機(jī)網(wǎng)絡(luò)和軟件工程、3066計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)和軟件工程 選一  或  ①1000申請(qǐng)考核制外國(guó)語(yǔ)：  ②2000申請(qǐng)考核制基礎(chǔ)課  ③3906申請(qǐng)考核制專業(yè)課 更多考試科目
參考書目、參考教材 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2015年考研招生簡(jiǎn)章招生目錄
招生年份:2015 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 81202
研究方向 01懷進(jìn)鵬   計(jì)算機(jī)軟件與理論  02劉旭東    可信網(wǎng)絡(luò)計(jì)算技術(shù) 服務(wù)計(jì)算技術(shù)  03呂衛(wèi)鋒    城市計(jì)算、海量數(shù)據(jù)組織處理及算法、大型信息系統(tǒng)的開發(fā)方法  04許可   算法與復(fù)雜性分析、數(shù)據(jù)挖掘、網(wǎng)絡(luò)  05李舟軍   高可信軟件理論和技術(shù)，網(wǎng)絡(luò)與信息安全技術(shù)，數(shù)據(jù)挖掘與社交網(wǎng)絡(luò)分析，語(yǔ)義web與P2P計(jì)算  06李建欣   信息安全、分布式計(jì)算、虛擬化、可信計(jì)算、大數(shù)據(jù)  07徐潔   主要研究方向包括可信、高安全和面向服務(wù)的系統(tǒng)工程技術(shù)，分布式系統(tǒng)可靠性技術(shù)等。強(qiáng)調(diào)理論與工程應(yīng)用并重。  08馬帥   Database Theory and Systems; Data Cleaning, Record Matching; Social Data Analysis, Graph Matching; Data Intensive Computing, Distributed Computing   09樊文飛   數(shù)據(jù)庫(kù)理論與系統(tǒng)，包括大數(shù)據(jù)、數(shù)據(jù)質(zhì)量、數(shù)據(jù)集成、分布式查詢處理、查詢語(yǔ)言、推薦系統(tǒng)、社會(huì)網(wǎng)絡(luò)查詢與分析 更多研究方向
考試科目 01、02方向：  1001英語(yǔ)  2005概率統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)  3063數(shù)理邏輯和軟件工程  3064網(wǎng)絡(luò)和體系結(jié)構(gòu)  3065網(wǎng)絡(luò)和軟件工程  3066體系結(jié)構(gòu)和軟件工程  03方向：  1001英語(yǔ)  2002數(shù)值分析  2005概率統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程  04方向：  1001英語(yǔ)  2001矩陣?yán)碚?nbsp; 2005概率統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程  05方向：  1001英語(yǔ)  2005概率統(tǒng)計(jì)  2094抽象代數(shù)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程  06方向：  1001英語(yǔ)  2001矩陣?yán)碚?nbsp; 2005概率統(tǒng)計(jì)  2094抽象代數(shù)  2098數(shù)理統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)  3063數(shù)理邏輯和軟件工程  3064網(wǎng)絡(luò)和體系結(jié)構(gòu)  3066體系結(jié)構(gòu)和軟件工程  07方向：  1001英語(yǔ)  2005概率統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)  3063數(shù)理邏輯和軟件工程  3064網(wǎng)絡(luò)和體系結(jié)構(gòu)  3065網(wǎng)絡(luò)和軟件工程  3066體系結(jié)構(gòu)和軟件工程  08、09方向：  1001英語(yǔ)  2005概率統(tǒng)計(jì)  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)   更多考試科目
參考書目、參考教材 2001 矩陣?yán)碚摚?
《矩陣論引論》，北航出版社1997，陳祖明、周家勝；
《線性代數(shù)》，北航出版社2005，高宗升、周夢(mèng)

2002 數(shù)值分析：
《數(shù)值分析》修訂版，北航出版社，顏慶津

2005 概率統(tǒng)計(jì)：
《概率論與數(shù)理統(tǒng)計(jì)》（不含方差分析、回歸分析、隨機(jī)過(guò)程），高等教育出版社，浙江大學(xué)；
《概率統(tǒng)計(jì)及隨機(jī)過(guò)程》（1-9章），北航出版社，張福淵

3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)：
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版，2004 清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社，陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等

3062數(shù)理邏輯和體系結(jié)構(gòu)：
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社，陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：
《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社，David A. Patterson and John L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3063數(shù)理邏輯和軟件工程：
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社，陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），電子工業(yè)出版社，劉孟仁等譯

3064網(wǎng)絡(luò)和體系結(jié)構(gòu)：
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯；
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：
《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》，Morgan Kaufmann Publishers，清華大學(xué)出版社，David A. Patterson and John L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3065網(wǎng)絡(luò)和軟件工程：
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）電子工業(yè)出版社，劉孟仁等譯

3066體系結(jié)構(gòu)和軟件工程：
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社，David A. Patterson and John L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》，清華大學(xué)出版社，Kai Hwang；
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社；
《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2014年考研招生簡(jiǎn)章招生目錄
招生年份:2014 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 81202
研究方向 01 網(wǎng)絡(luò)計(jì)算   02 可信計(jì)算理論與技術(shù)   03 軟件設(shè)計(jì)與生產(chǎn)方法   04 信息科學(xué)的數(shù)學(xué)基礎(chǔ)   05 云計(jì)算及物聯(lián)網(wǎng)應(yīng)用   06 非結(jié)構(gòu)化數(shù)據(jù)管理   07 高可信軟件技術(shù)   08 數(shù)據(jù)挖掘與信息檢索   09 云計(jì)算與Web服務(wù)   10 軟件分析與驗(yàn)證技術(shù)   11 并行計(jì)算與優(yōu)化技術(shù)   12 軟件設(shè)計(jì)與生產(chǎn)方法   13 軟件中間件技術(shù)   14 服務(wù)計(jì)算技術(shù)   15 實(shí)時(shí)嵌入式軟件技術(shù)   16 算法與計(jì)算復(fù)雜性   17 數(shù)據(jù)挖掘   18 社交網(wǎng)絡(luò)分析   19 軟件密集型系統(tǒng)建模仿真技術(shù)   20 業(yè)務(wù)建模和分析技術(shù)   21 需求工程   22 分布式計(jì)算與信息安全   23 海量數(shù)據(jù)管理與知識(shí)發(fā)現(xiàn)   24 海量數(shù)據(jù)高性能處理及算法  25 大型軟件開發(fā)方法   26 大數(shù)據(jù)挖掘與服務(wù)技術(shù)   27 分布式系統(tǒng)   28 信息安全   29 可信計(jì)算   30 數(shù)據(jù)挖掘與處理   31 數(shù)據(jù)庫(kù)理論與系統(tǒng)  32 數(shù)據(jù)庫(kù)理論與系統(tǒng)   33 可信計(jì)算   34 大規(guī)模網(wǎng)絡(luò)軟件系統(tǒng)   35 海量信息處理的計(jì)算理論研究   36 Web資源發(fā)現(xiàn)的模型和算法研究   37 計(jì)算機(jī)軟件的形式化方法    更多研究方向
考試科目 01-03,12-13，33-34方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3062數(shù)理邏輯和體系結(jié)構(gòu)  3063數(shù)理邏輯和軟件工程   3064網(wǎng)絡(luò)和體系結(jié)構(gòu)  3065網(wǎng)絡(luò)和軟件工程  3066體系結(jié)構(gòu)和軟件工程   選一  04-06方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程   選一  07-09方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)  2094抽象代數(shù)   選一，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程   選一  10-11方向：  1001英語(yǔ)，  2001矩陣?yán)碚?nbsp; 2005概率統(tǒng)計(jì)  2094抽象代數(shù)   選一，  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程   選一  14-18,25-26方向：  1001英語(yǔ)，  2002數(shù)值分析  2005概率統(tǒng)計(jì)   選一，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程   選一  19-21方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)，  3063數(shù)理邏輯和軟件工程  3065網(wǎng)絡(luò)和軟件工程   選一  22-23方向：  1001英語(yǔ)，  2001矩陣?yán)碚?nbsp; 2005概率統(tǒng)計(jì)   選一，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3065網(wǎng)絡(luò)和軟件工程  選一  27-30方向：  1001英語(yǔ)，  2001矩陣?yán)碚?nbsp; 2005概率統(tǒng)計(jì)  2094抽象代數(shù)  2098數(shù)理統(tǒng)計(jì)   選一，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)   3063數(shù)理邏輯和軟件工程  3064網(wǎng)絡(luò)和體系結(jié)構(gòu)  3066體系結(jié)構(gòu)和軟件工程  選一  31-32方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)，  3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)  3062數(shù)理邏輯和體系結(jié)構(gòu)   選一  35-37方向：  1001英語(yǔ)，  2005概率統(tǒng)計(jì)，  3065網(wǎng)絡(luò)和軟件工程    更多考試科目
參考書目、參考教材 2005概率統(tǒng)計(jì)
1.《概率論與數(shù)理統(tǒng)計(jì)》（不含方差分析、回歸分析、隨機(jī)過(guò)程），高等教育出版社，浙江大學(xué)；
2.《概率統(tǒng)計(jì)及隨機(jī)過(guò)程》（1-9章），北航出版社，張福淵

3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)
1.《計(jì)算機(jī)網(wǎng)絡(luò)》第四版，2004 清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
2.《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版，科學(xué)出版社，陸鐘萬(wàn)；
3.《離散數(shù)學(xué)》，高等教育出版社，尹寶林等

3062數(shù)理邏輯和體系結(jié)構(gòu)
1.《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社，陸鐘萬(wàn)；
2.《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
3.《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：4.《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》，Morgan Kaufmann Publishers，清華大學(xué)出版社David A. Patterson andJohn L. Hennessy；
5.《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
6.《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3063數(shù)理邏輯和軟件工程
1.《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社,陸鐘萬(wàn)；
2.《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
3.《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
4.《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
5.《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
6.《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），電子工業(yè)出版社，劉孟仁等譯

3064網(wǎng)絡(luò)和體系結(jié)構(gòu)
1.《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯；
2.《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：3.《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》，Morgan Kaufmann Publishers，清華大學(xué)出版社，David A. Patterson andJohn L. Hennessy；
4.《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
5.《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3065網(wǎng)絡(luò)和軟件工程
1.《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
2.《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
3.《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
4.《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
5.《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）電子工業(yè)出版社，劉孟仁等譯

3066體系結(jié)構(gòu)和軟件工程
1.《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：2.《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy；
3.《Advanced Computer Architecture Parallelism Scalability Programmability》，清華大學(xué)出版社，Kai Hwang；
4.《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社；
5.《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等；
6.《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉；
7.《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯；
8.《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯

2094抽象代數(shù)
《近世代數(shù)》，科學(xué)出版社，熊全淹著

2001矩陣?yán)碚?br> 1.《矩陣論引論》，北航出版社1997，陳祖明、周家勝；
2.《線性代數(shù)》，北航出版社2005，高宗升、周夢(mèng)

2002數(shù)值分析
《數(shù)值分析》修訂版，北航出版社，顏慶津

 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 備注：同等學(xué)力考生須在11月4日加試兩門報(bào)考專業(yè)有關(guān)的碩士學(xué)位主干課和政治理論課。 更多復(fù)試科目、復(fù)試參考書
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2013年考研招生簡(jiǎn)章招生目錄
招生年份:2013 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 81202
研究方向 01 網(wǎng)絡(luò)計(jì)算  02 可信計(jì)算理論與技術(shù)  03 軟件設(shè)計(jì)與生產(chǎn)方法  04 信息科學(xué)的數(shù)學(xué)基礎(chǔ)  05 云計(jì)算及物聯(lián)網(wǎng)應(yīng)用  06 非結(jié)構(gòu)化數(shù)據(jù)管理  07 高可信軟件技術(shù)  08 數(shù)據(jù)挖掘與信息檢索  09 云計(jì)算與Web服務(wù)  10 軟件分析與驗(yàn)證技術(shù)  11 并行計(jì)算與優(yōu)化技術(shù)  12 軟件設(shè)計(jì)與生產(chǎn)方法  13 軟件中間件技術(shù)  14 服務(wù)計(jì)算技術(shù)  15 實(shí)時(shí)嵌入式軟件技術(shù)  16 海量信息處理的計(jì)算理論研究  17 Web資源發(fā)現(xiàn)的模型和算法研究  18 計(jì)算機(jī)軟件的形式化方法  19 可信計(jì)算  20 大規(guī)模網(wǎng)絡(luò)軟件系統(tǒng)  21 算法與計(jì)算復(fù)雜性  22 數(shù)據(jù)挖掘  23 網(wǎng)絡(luò)測(cè)量、建模與分析  24 軟件密集型系統(tǒng)建模仿真技術(shù)  25 業(yè)務(wù)建模和分析技術(shù)  26 需求工程  27 分布式計(jì)算與信息安全  28 海量數(shù)據(jù)管理與知識(shí)發(fā)現(xiàn) 更多研究方向
考試科目 01-03、12、13、19、20方向:  1001 英語(yǔ)   2005 概率統(tǒng)計(jì)   3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3062 數(shù)理邏輯和體系結(jié)構(gòu)   3063 數(shù)理邏輯和軟件工程   3064 網(wǎng)絡(luò)和體系結(jié)構(gòu)   3065 網(wǎng)絡(luò)和軟件工程   3066 體系結(jié)構(gòu)和軟件工程    選一  04-06方向:  1001 英語(yǔ)   2005 概率統(tǒng)計(jì)   3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程   選一  07-09方向:  1001 英語(yǔ)   2005 概率統(tǒng)計(jì)  2094 抽象代數(shù)   選一  3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程   選一  10-11方向:  1001 英語(yǔ)  2001 矩陣?yán)碚?   2005 概率統(tǒng)計(jì)   2094 抽象代數(shù)   選一  3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程    選一    14-15方向:  1001 英語(yǔ)  2002 數(shù)值分析   2005 概率統(tǒng)計(jì)   選一  3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程    選一  16-18方向:  1001 英語(yǔ)  2005 概率統(tǒng)計(jì)  3065 網(wǎng)絡(luò)和軟件工程  21-23方向:  1001 英語(yǔ)  2001 矩陣?yán)碚?   2005 概率統(tǒng)計(jì)   選一  3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程    選一  24-26方向:  1001 英語(yǔ)  2005 概率統(tǒng)計(jì)  3063 數(shù)理邏輯和軟件工程  3065 網(wǎng)絡(luò)和軟件工程   選一  27-28方向:  1001 英語(yǔ)  2001 矩陣?yán)碚?   2005 概率統(tǒng)計(jì)   選一  3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)   3065 網(wǎng)絡(luò)和軟件工程  選一 更多考試科目
參考書目、參考教材 1001英語(yǔ)

2001矩陣?yán)碚?
《矩陣論引論》，北航出版社1997，陳祖明、周家勝；
《線性代數(shù)》，北航出版社2005，高宗升、周夢(mèng)

2004常微方程
《常微分方程》，高等教育出版社，王高雄

2005概率統(tǒng)計(jì)
《概率論與數(shù)理統(tǒng)計(jì)》（不含方差分析、回歸分析、隨機(jī)過(guò)程），高等教育出版社，浙江大學(xué)；
《概率統(tǒng)計(jì)及隨機(jī)過(guò)程》（1-9章），北航出版社，張福淵

2094 抽象代數(shù) 《近世代數(shù)》，科學(xué)出版社，熊全淹著

3061數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版，2004 清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版，科學(xué)出版社，陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等

3062數(shù)理邏輯和體系結(jié)構(gòu)
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社，陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》，Morgan Kaufmann Publishers，清華大學(xué)出版社David A. Patterson andJohn L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3063數(shù)理邏輯和軟件工程
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版），科學(xué)出版社,陸鐘萬(wàn)；
《離散數(shù)學(xué)》，高等教育出版社，尹寶林等；
《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU），電子工業(yè)出版社，劉孟仁等譯

3064網(wǎng)絡(luò)和體系結(jié)構(gòu)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯；
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》，Morgan Kaufmann Publishers，清華大學(xué)出版社，David A. Patterson andJohn L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》清華大學(xué)出版社，Kai Hwang；
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》，廣西科學(xué)技術(shù)出版社

3065網(wǎng)絡(luò)和軟件工程
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯；
《實(shí)用軟件工程(第二版)》，清華大學(xué)出版社，鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》，北航出版社2001.07，劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition，機(jī)械工業(yè)出版社2002，梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）電子工業(yè)出版社，劉孟仁等譯

3066體系結(jié)構(gòu)和軟件工程
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy；
《Advanced Computer Architecture Parallelism Scalability Programmability》，清華大學(xué)出版社，Kai Hwang；《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社 ；
《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等；
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉；
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯；
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model – Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯
 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2012年考研招生簡(jiǎn)章招生目錄
招生年份:2012 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 11 專業(yè)代碼 : 81202
研究方向 01 網(wǎng)絡(luò)計(jì)算  02 可信計(jì)算理論與技術(shù)  03 軟件設(shè)計(jì)與生產(chǎn)方法  04 信息科學(xué)的數(shù)學(xué)基礎(chǔ)  05 云計(jì)算及物聯(lián)網(wǎng)應(yīng)用  06 非結(jié)構(gòu)化數(shù)據(jù)管理  07 高可信軟件技術(shù)  08 數(shù)據(jù)挖掘與信息檢索  09 云計(jì)算與Web服務(wù)  10 軟件工程  11 軟件質(zhì)量與軟件測(cè)試  12 軟件過(guò)程  13 面向?qū)ο蠹夹g(shù)  14 軟件設(shè)計(jì)與生產(chǎn)方法  15 軟件中間件技術(shù)  16 服務(wù)計(jì)算技術(shù)  17 實(shí)時(shí)嵌入式軟件技術(shù)  18 海量信息處理的計(jì)算理論研究  19 Web資源發(fā)現(xiàn)的模型和算法研究  20 計(jì)算機(jī)軟件的形式化方法  21 可信計(jì)算  22 大規(guī)模網(wǎng)絡(luò)軟件系統(tǒng)  23 算法與計(jì)算復(fù)雜性  24 數(shù)據(jù)挖掘  25 網(wǎng)絡(luò)測(cè)量、建模與分析  26 軟件體系結(jié)構(gòu)  27 軟件建模技術(shù)  28 需求工程  29 分布式計(jì)算與信息安全  30 海量數(shù)據(jù)管理   更多研究方向
考試科目 01-03,14-15,21-22:  1001，2005，3061、3062、3063、3064、3065、3066 選一  04-06:  1001，2005，3061、3063、3065 選一  07-09:  1001，2001、2005、2094 選一，3061、3063、3065 選一  10-13；  1001，2001、2002、2003、2005、2093、2094 選一，3063、3065 選一  16-17：  1001，2002、2005 選一，3061、3063、3065 選一  18-20：  1001，2005，3065  23-25：  1001，2001、2005 選一，3061、3063、3065 選一  26-28：  1001，2005，3063、3065 選一  29-30：  1001，2001、2005 選一，3061、3065 選一 更多考試科目
參考書目、參考教材 1001 英語(yǔ) 不指定
2001 矩陣?yán)碚?
《矩陣論引論》 北航出版社1997 陳祖明、周家勝
《線性代數(shù)》 北航出版社2005 高宗升、周夢(mèng)
2002 數(shù)值分析
《數(shù)值分析》修訂版 北航出版社 顏慶津
2003 數(shù)理方程
《數(shù)理方程》 　 復(fù)旦大學(xué)
2005 概率統(tǒng)計(jì)
《概率論與數(shù)理統(tǒng)計(jì)》（不含方差分析、回歸分析、隨機(jī)過(guò)程） 高等教育出版社 浙江大學(xué)
《概率統(tǒng)計(jì)及隨機(jī)過(guò)程》（1-9章） 北航出版社 張福淵
3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004 清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版） 科學(xué)出版社， 陸鐘萬(wàn)
《離散數(shù)學(xué)》 ，高等教育出版社 ，尹寶林等
3062 數(shù)理邏輯和體系結(jié)構(gòu)
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版） 科學(xué)出版社， 陸鐘萬(wàn)
《離散數(shù)學(xué)》 ，高等教育出版社 ，尹寶林等
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》 Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社， Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》 廣西科學(xué)技術(shù)出版社 　
3063 數(shù)理邏輯和軟件工程
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版） 科學(xué)出版社 陸鐘萬(wàn)
《離散數(shù)學(xué)》 高等教育出版社 尹寶林等
《實(shí)用軟件工程(第二版)》 清華大學(xué)出版社 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》 北航出版社2001.07 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition 機(jī)械工業(yè)出版社2002 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 電子工業(yè)出版社 劉孟仁等譯
3064 網(wǎng)絡(luò)和體系結(jié)構(gòu)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004 清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》 Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社 Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》 廣西科學(xué)技術(shù)出版社 　
3065 網(wǎng)絡(luò)和軟件工程
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯 　 　
《實(shí)用軟件工程(第二版)》 清華大學(xué)出版社， 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 電子工業(yè)出版社， 劉孟仁等譯
3066 體系結(jié)構(gòu)和軟件工程
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社， Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社 　
《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯
2093 泛函分析
《泛函分析》 高等教育出版社 江澤堅(jiān)著
2094 抽象代數(shù)
《近世代數(shù)》 科學(xué)出版社 熊全淹著
 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書
北京航空航天大學(xué)計(jì)算機(jī)軟件與理論專業(yè)2011年考研招生簡(jiǎn)章招生目錄
招生年份:2011 本院系招生人數(shù): 未公布 計(jì)算機(jī)軟件與理論專業(yè)招生人數(shù): 未公布 專業(yè)代碼 : 81202
研究方向 01 網(wǎng)絡(luò)計(jì)算  02 可信計(jì)算理論與技術(shù)  03 軟件設(shè)計(jì)與生產(chǎn)方法  04 軟件工程及其基礎(chǔ)  05 云計(jì)算及物聯(lián)網(wǎng)應(yīng)用  06 信息科學(xué)的數(shù)學(xué)基礎(chǔ)  07 分布式系統(tǒng)安全  08 可信軟件理論與技術(shù)  09 高可信軟件技術(shù)  10 網(wǎng)絡(luò)與信息安全技術(shù)  11 數(shù)據(jù)挖掘與信息檢索技術(shù)  12 軟件質(zhì)量與軟件測(cè)試  13 高性能計(jì)算  14 軟件設(shè)計(jì)與生產(chǎn)方法  15 軟件中間件技術(shù)  16 服務(wù)計(jì)算技術(shù)  17 實(shí)時(shí)嵌入式軟件技術(shù)  18 海量信息處理的計(jì)算理論研究  19 Web資源發(fā)現(xiàn)的模型和算法研究  20 計(jì)算機(jī)軟件的形式化方法  21 可信計(jì)算  22 大規(guī)模網(wǎng)絡(luò)軟件系統(tǒng)  23 算法與計(jì)算復(fù)雜性  24 新一代因特網(wǎng)網(wǎng)絡(luò)管理與測(cè)量技術(shù)  25 數(shù)據(jù)挖掘  26 分布式計(jì)算  29 web軟件工程  30 需求工程  31 軟件體系結(jié)構(gòu)   更多研究方向
考試科目 01-03方向：  1001, 2005, 3061～3066選一  04-06方向：  1001, 2001～2005選一, 3061～3066選一  07-08方向；  1001, 2001～2005選一, 3061～3066選一  09-11方向：  1001, 2001、2005選一, 3061、3063、3065選一  12-13方向：  1001, 2001～2005選一, 3063、3065、3066選一  14-15方向：  1001, 2005, 3061～3066選一  16-17方向；  1001, 2005, 3061～3066選一  18-20方向;  1001, 2005, 3065  21-22方向;  1001, 2005, 3061～3066選一  23-25方向：  1001, 2001、2005選一, 3061、3065選一  26方向：  1001, 2001, 3065  29-31方向：  1001, 2005, 3063、3065選一   更多考試科目
參考書目、參考教材 1001 英語(yǔ) 不指定 　 　
2001 矩陣?yán)碚?
《矩陣論引論》 北航出版社1997 陳祖明、周家勝
《線性代數(shù)》 北航出版社2005 高宗升、周夢(mèng)
2002 數(shù)值分析
《數(shù)值分析》修訂版 北航出版社 顏慶津
2003 數(shù)理方程
《數(shù)理方程》 　 復(fù)旦大學(xué)
2004 常微方程
《常微分方程》 高等教育出版社 王高雄
2005 概率統(tǒng)計(jì)
《概率論與數(shù)理統(tǒng)計(jì)》（不含方差分析、回歸分析、隨機(jī)過(guò)程） 高等教育出版社 浙江大學(xué)
《概率統(tǒng)計(jì)及隨機(jī)過(guò)程》（1-9章） 北航出版社 張福淵

3061 數(shù)理邏輯和計(jì)算機(jī)網(wǎng)絡(luò)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004 清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版）， 科學(xué)出版社， 陸鐘萬(wàn)
《離散數(shù)學(xué)》 ，高等教育出版社 ，尹寶林等
3062 數(shù)理邏輯和體系結(jié)構(gòu)
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版）， 科學(xué)出版社， 陸鐘萬(wàn)
《離散數(shù)學(xué)》 ，高等教育出版社 ，尹寶林等
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社， Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社
3063 數(shù)理邏輯和軟件工程
《面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯》（第二版）， 科學(xué)出版社， 陸鐘萬(wàn)
《離散數(shù)學(xué)》 ，高等教育出版社 ，尹寶林等
《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯
3064 網(wǎng)絡(luò)和體系結(jié)構(gòu)
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，， 清華大學(xué)出版社 Andrew S. Tanenbaum，潘愛民譯
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社， Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社
3065 網(wǎng)絡(luò)和軟件工程
《計(jì)算機(jī)網(wǎng)絡(luò)》第四版 ，2004，清華大學(xué)出版社，Andrew S. Tanenbaum，潘愛民譯 　
《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU） 電子工業(yè)出版社， 劉孟仁等譯
3066 體系結(jié)構(gòu)和軟件工程
《Computer Architecture: A Quantitative Approach 2 Ed.》譯本：《計(jì)算機(jī)體系結(jié)構(gòu)：一種定量的方法(第二版)》， Morgan Kaufmann Publishers，清華大學(xué)出版社 David A. Patterson andJohn L. Hennessy
《Advanced Computer Architecture Parallelism Scalability Programmability》 清華大學(xué)出版社， Kai Hwang
《高等計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)：并行性 可擴(kuò)展性 可編程性》， 廣西科學(xué)技術(shù)出版社 　
《實(shí)用軟件工程(第二版)》， 清華大學(xué)出版社， 鄭人杰等
《可視化面向?qū)ο蠼＜夹g(shù)--標(biāo)準(zhǔn)建模語(yǔ)言UML》， 北航出版社2001.07， 劉超、張莉
《軟件工程--實(shí)踐者的研究方法（原書第5版）》[美]，Roger S. Pressman, Software Engineering -- A Practitioner’s Approach, Fifth Edition， 機(jī)械工業(yè)出版社2002， 梅宏譯
《能力成熟度模型（CMM）：軟件過(guò)程改進(jìn)指南》（The Capability Maturity Model ? Guidelines for Improving the Software Process, SEI/CMU）， 電子工業(yè)出版社， 劉孟仁等譯
 更多參考書目、參考教材
復(fù)試科目、復(fù)試參考書 更多復(fù)試科目、復(fù)試參考書

考研院系專業(yè)介紹更多
考研網(wǎng)研究生導(dǎo)師介紹更多
錄取分?jǐn)?shù)線-招生問(wèn)答-招生政策更多
復(fù)試分?jǐn)?shù)線-參考書-信息資料更多
考研網(wǎng)-錄取信息-文件通知更多
考研復(fù)習(xí)經(jīng)驗(yàn)-方法心得更多
回到頂部 購(gòu)物車 會(huì)員中心