2023年大連海事大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)考研加試考試大綱

考試大綱的內(nèi)容一般包括當(dāng)年全國研究生入學(xué)考試相應(yīng)科目的考試范圍、考試要求、考試形式、試卷結(jié)構(gòu)等信息，對考生備考至關(guān)重要。希賽網(wǎng)整理了2023年大連海事大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)（081200）考研加試1.離散數(shù)學(xué)(T13)2.軟件工程(T14)考試大綱信息，希望對考生備考有所幫助。

相關(guān)閱讀推薦>>>2021-2022年全國考研復(fù)試線丨2023年全國考試科目匯總丨2023年全國研究方向匯總

（注：以下信息來自學(xué)院官網(wǎng)，僅供參考，具體內(nèi)容以院校發(fā)布為準(zhǔn)）

離散數(shù)學(xué)(T13)一加試考試大綱

一、命題邏輯

考試內(nèi)容

命題，連接詞的真值，重言式/矛盾式/可滿足式， 代入規(guī)則與替換規(guī)則，等價(jià)與蘊(yùn)含，對偶式與對偶原理，連接詞的最小功能完備集，范式與主范式，命題邏輯的推理規(guī)則法

考試要求

1.理解命題的概念，理解連接詞的真值(特別是單條件連接詞的真值)。

2.簡要了解 重言式/矛盾式/可滿足式， 以及 代入規(guī)則與替換規(guī)則。

3.掌握等價(jià)式和蘊(yùn)含式的的推導(dǎo)，掌握常見的基本等價(jià)式和基本蘊(yùn)含式。

4.簡要了解對偶式的概念與對偶原理的公式。

5.了解連接詞的最小功能完備集。

6.掌握范式的概念，特別是主范式的概念，會求命題公式的主析取范式和主合取范式，并能表示成?mi和πMj的形式。

7.重點(diǎn)掌握推理規(guī)則法的證明題。

二、謂詞邏輯

謂詞，量詞與全總個體域與特性謂詞，謂詞公式，自由變元與約束變元，謂詞公式的等價(jià)式與蘊(yùn)含式，謂詞邏輯的推理規(guī)則法

考試要求

1.理解謂詞的概念，會使用謂詞和量詞對一個問題符號化，特別要理解符號化時(shí)默認(rèn)個體域是全總個體域時(shí)的處理。

2.簡要了解什么是自由變元與約束變元。

3.掌握謂詞公式的等價(jià)推導(dǎo)和蘊(yùn)含推導(dǎo)(重點(diǎn)是一元量詞公式的量詞轉(zhuǎn)換律，量詞轄域擴(kuò)大收縮律和量詞分配律)

4.重點(diǎn)掌握謂詞邏輯的推理規(guī)則法的證明題

三、集合

集合的基本概念和基本定理，集合的運(yùn)算，容斥原理，笛卡爾積

考試要求

1.理解空集、全集、冪集的概念的理解，會熟練求冪集。掌握集合相等的判定定理、空集的屬性定理以及冪集計(jì)數(shù)定理。

2.掌握集合的基本運(yùn)算和常見的集合等式，會做集合等式的證明推導(dǎo)。

3.了解容斥原理，會做簡單的利用容斥原理的計(jì)算問題。

4.掌握笛卡爾積的概念及其性質(zhì)，笛卡爾積元素計(jì)數(shù)公式。

四、二元關(guān)系

關(guān)系的概念及其性質(zhì)，關(guān)系圖與關(guān)系矩陣，關(guān)系的運(yùn)算，等價(jià)關(guān)系與劃分，偏序關(guān)系

考試要求

1.理解關(guān)系的概念，集合上能建立有多少種不同的二元關(guān)系的計(jì)算

2.從定義、關(guān)系圖、關(guān)系矩陣三個角度理解關(guān)系的5個性質(zhì)(自反、反自反、對稱、反對稱和傳遞性)

3. 掌握關(guān)系的的合成運(yùn)算、逆運(yùn)算和閉包運(yùn)算(自反閉包、對稱閉包、傳遞閉包)

4.掌握劃分、等價(jià)關(guān)系、等價(jià)類的概念，理解非空集合X上的等價(jià)關(guān)系與X的劃分是一一對應(yīng)的。

5.給定等價(jià)關(guān)系，會求對應(yīng)的劃分;給定劃分，會求的對應(yīng)的等價(jià)關(guān)系(掌握笛卡爾積的概念及其性質(zhì)，笛卡爾積元素計(jì)數(shù)公式。

6.重點(diǎn)掌握等價(jià)關(guān)系相關(guān)的證明題。

7.偏序關(guān)系的定義，會畫偏序關(guān)系的的哈斯圖，并會求最大元和最小元、極大元和極小元、上界和下界、上確界和下確界。

五、函數(shù)

函數(shù)的概念，滿射、單射、雙射函數(shù)，復(fù)合函數(shù)，逆函數(shù)

考試要求

1.理解函數(shù)的概念，特別是函數(shù)(或映射)的全域性和惟一性。

2.會計(jì)算函數(shù)個數(shù)：設(shè)X和Y都為有限集,則從X到Y(jié)共有|Y||X|不同的函數(shù)。

3.理解滿射、單射、雙射函數(shù)。

4.會求復(fù)合函數(shù)。

5.了解逆函數(shù)的概念。

六、代數(shù)系統(tǒng)

代數(shù)運(yùn)算的性質(zhì)，特異元，可約性，代數(shù)系統(tǒng)的概念，同態(tài)/同構(gòu)，代換性質(zhì)與同余關(guān)系。

考試要求

1.理解代數(shù)運(yùn)算的封閉性，交換性、結(jié)合性、分配性等。會做性質(zhì)判斷的計(jì)算題。掌握常見的特異元(幺元、零元、逆元等)，并會熟練計(jì)算。了解可約性及其可約性的判定定理。

2.代數(shù)系統(tǒng)的概念和子代數(shù)系統(tǒng)的概念，要會證一個代數(shù)系統(tǒng)A是代數(shù)系統(tǒng)B的子代數(shù)。

3.重點(diǎn)理解同態(tài)、同構(gòu)，理解同態(tài)與同構(gòu)的性質(zhì)，會做同態(tài)、同構(gòu)的證明題。

4.簡要了解代換性質(zhì)與同余關(guān)系的概念。

七、群

半群、子半群、循環(huán)半群，群，阿貝爾群，群同態(tài)，循環(huán)群，子群。

考試要求

1.了解半群、子半群、循環(huán)半群的概念。

2.理解群的概念及群的基本性質(zhì)，會證明給定的代數(shù)系統(tǒng)是否是群，會證明阿貝爾群以及群同態(tài)(同構(gòu))問題的證明。

3.理解循環(huán)群概念以及循環(huán)群的分類

4.理解子群的概念，掌握子群的證明方法。

八、圖

圖的相關(guān)基本概念，子圖，路徑與連通性，圖的矩陣表示

考試要求

1.理解簡單圖的概念、特別度相關(guān)的概念、掌握握手定理與奇結(jié)點(diǎn)個數(shù)必是偶數(shù)的定理，零圖、平凡圖、正則圖、完全圖的概念，以及完全圖的邊數(shù)定理。會判斷圖同構(gòu)的問題。

2.理解常見的幾種子圖的概念，特別是生成子圖和導(dǎo)出子圖，會求相對于完全圖的補(bǔ)圖。

3.理解基本路徑/簡單路徑，可達(dá)性，掌握無向圖和有向圖的連通性及分圖(分支)的概念以及相關(guān)的定理。

4.圖的矩陣表示中主要理解鄰接矩陣A(無向圖/有向圖)、AAT、 ATA、Am表示的意義。

九、特殊圖

歐拉圖與哈密頓圖，平面圖，樹與生成樹

考試要求

1. 理解歐拉圖的概念，掌握判斷無向圖是歐拉圖的歐拉定理。

2. 了解哈密頓圖的概念。

3.會用簡單連通平面圖的歐拉不等式結(jié)合握手定理做計(jì)算或證明。會用庫拉托夫斯基定理 判斷平面圖還是非平面圖。

4.理解樹的概念以及樹的六個等價(jià)定義、(最小)生成樹、根樹、(完全)m叉樹的概念。

5.會做 樹相關(guān)的計(jì)算題，會求最小生成樹，會求最優(yōu)二叉樹(Huffman樹)。

l 參閱：

《離散數(shù)學(xué)》趙廣利 大連海事大學(xué)出版社

軟件工程(T14)一加試考試大綱

考試內(nèi)容

1. 軟件工程學(xué)概述

軟件危機(jī)及其消除途徑;軟件工程的基本原理、軟件工程方法學(xué);軟件生命周期;軟件過程。

2. 可行性研究

可行性研究的任務(wù)與過程;系統(tǒng)流程圖、數(shù)據(jù)流圖、數(shù)據(jù)字典等圖形工具;成本效益分析。

3. 需求分析

需求分析的任務(wù);需求獲取方法;分析建模與軟件規(guī)格說明;實(shí)體-聯(lián)系圖、數(shù)據(jù)規(guī)范化、狀態(tài)轉(zhuǎn)換圖、層次方框圖、Warnier圖、IPO圖等圖形工具;軟件需求驗(yàn)證。

4. 總體設(shè)計(jì)

軟件設(shè)計(jì)的過程;軟件設(shè)計(jì)原理與優(yōu)化方法;層次圖和HIPO圖、結(jié)構(gòu)圖;面向數(shù)據(jù)流的軟件設(shè)計(jì)方法;軟件設(shè)計(jì)案例。

5. 詳細(xì)設(shè)計(jì)

結(jié)構(gòu)程序設(shè)計(jì);人機(jī)界面設(shè)計(jì);程序流程圖、N-S盒圖、PAD圖、判定樹與判定表、PDL等工具;面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法;詳細(xì)設(shè)計(jì)案例。

6. 實(shí)現(xiàn)

編碼與編碼風(fēng)格;軟件測試的目標(biāo)、準(zhǔn)則、方法、步驟，以及測試階段的信息流;單元測試、集成測試、確認(rèn)測試、系統(tǒng)測試的方法與過程;白盒測試技術(shù)及測試用例構(gòu)造;黑盒測試技術(shù)及測試用例構(gòu)造;調(diào)試與測試的區(qū)分、調(diào)試的途徑;軟件可靠性度量;軟件測試案例。

7.軟件維護(hù)

軟件維護(hù)的定義;四種基本的維護(hù)活動;軟件再工程的概念。

8. 面向?qū)ο蠓椒▽W(xué)

面向?qū)ο蠓椒▽W(xué)的要點(diǎn)與優(yōu)點(diǎn);面向?qū)ο蟮母拍?、建模方法及圖形工具;面向?qū)ο蟮姆治?，對象模型、動態(tài)模型、功能模型的構(gòu)造方法與過程;面向?qū)ο蟮脑O(shè)計(jì);面向?qū)ο蟮膶?shí)現(xiàn);面向?qū)ο蠓椒▽W(xué)案例。

9. 軟件項(xiàng)目管理

軟件項(xiàng)目管理的相關(guān)概念。

考試要求

1. 理解軟件工程學(xué)的產(chǎn)生與發(fā)展，掌握軟件工程學(xué)的基本概念，了解軟件危機(jī)產(chǎn)生的原因及其消除途徑。掌握軟件工程的本質(zhì)特性與基本原理，理解傳統(tǒng)軟件工程學(xué)與面向?qū)ο蠓椒▽W(xué)的差別。掌握軟件生命周期概念以及瀑布模型、快速原型模型、增量模型、螺旋模型、噴泉模型等軟件開發(fā)模型。

2. 理解可行性研究的任務(wù)與過程，掌握系統(tǒng)流程圖、數(shù)據(jù)流圖、數(shù)據(jù)字典等圖形工具并加以應(yīng)用。了解成本、效益分析方法。

3. 理解需求分析的任務(wù)與必要性，掌握需求獲取的常用方法。掌握數(shù)據(jù)模型、功能模型、行為模型的含義及其相應(yīng)的描述工具。學(xué)會使用實(shí)體-聯(lián)系圖、數(shù)據(jù)規(guī)范化、狀態(tài)轉(zhuǎn)換圖、層次方框圖、Warnier圖、IPO圖等工具;了解軟件規(guī)格說明與軟件需求驗(yàn)證方法。

4. 理解軟件設(shè)計(jì)的過程、設(shè)計(jì)原理與優(yōu)化方法。掌握面向數(shù)據(jù)流的軟件設(shè)計(jì)方法，學(xué)會細(xì)化和優(yōu)化數(shù)據(jù)流圖，學(xué)會建立數(shù)據(jù)字典。

5. 理解結(jié)構(gòu)程序設(shè)計(jì)、人機(jī)界面設(shè)計(jì)的基本概念與方法，掌握程序流程圖、N-S盒圖、PAD圖、判定樹與判定表、PDL等工具。了解面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法。

6. 理解編程風(fēng)格與軟件測試的基本概念與方法，熟悉軟件測試的目標(biāo)、準(zhǔn)則、方法、步驟以及測試階段的信息流。掌握單元測試、集成測試、確認(rèn)測試、系統(tǒng)測試的目的及各種技術(shù)方法。熟悉回歸測試的概念。掌握白盒測試、黑盒測試的測試用例構(gòu)造技術(shù)與方法。了解調(diào)試的途徑，能夠區(qū)分測試與調(diào)試。了解軟件可靠性的度量方法。

7. 理解軟件維護(hù)的必要性，熟悉四種基本維護(hù)活動的概念，了解軟件再工程的概念。

8. 熟悉軟件生命周期各階段所產(chǎn)生的軟件產(chǎn)品(文擋)。

9. 理解面向?qū)ο蠓椒▽W(xué)的要點(diǎn)與主要優(yōu)點(diǎn)，掌握面向?qū)ο蟮幕靖拍?、建模方法、建模過程以及相應(yīng)的圖形工具。掌握三種模型之間的關(guān)系，能夠結(jié)合簡單實(shí)例構(gòu)造對象模型、動態(tài)模型、功能模型。

10. 了解軟件項(xiàng)目管理的基本概念。

參閱

1.《軟件工程導(dǎo)論》(第5版)張海藩編著，清華大學(xué)出版社

2.《軟件工程導(dǎo)論學(xué)習(xí)輔導(dǎo)》 張海藩編著，清華大學(xué)出版社

數(shù)據(jù)來源：2023年大連海事大學(xué)碩士研究生招生考試自命題科目考試大綱