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

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

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

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

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

一、命題邏輯

考試內(nèi)容

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

考試要求

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

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

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

4.簡(jiǎn)要了解對(duì)偶式的概念與對(duì)偶原理的公式。

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

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

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

二、謂詞邏輯

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

考試要求

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

2.簡(jiǎn)要了解什么是自由變?cè)c約束變?cè)?/p>

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

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

三、集合

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

考試要求

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

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

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

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)系矩陣三個(gè)角度理解關(guān)系的5個(gè)性質(zhì)(自反、反自反、對(duì)稱(chēng)、反對(duì)稱(chēng)和傳遞性)

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

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

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

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

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

五、函數(shù)

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

考試要求

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

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

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

4.會(huì)求復(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é)合性、分配性等。會(huì)做性質(zhì)判斷的計(jì)算題。掌握常見(jiàn)的特異元(幺元、零元、逆元等)，并會(huì)熟練計(jì)算。了解可約性及其可約性的判定定理。

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

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

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

七、群

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

考試要求

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

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

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

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

八、圖

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

考試要求

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

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

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

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

九、特殊圖

歐拉圖與哈密頓圖，平面圖，樹(shù)與生成樹(shù)

考試要求

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

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

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

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

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

l 參閱：

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

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

考試內(nèi)容

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

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

2. 可行性研究

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

3. 需求分析

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

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

軟件設(shè)計(jì)的過(guò)程;軟件設(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圖、判定樹(shù)與判定表、PDL等工具;面向數(shù)據(jù)結(jié)構(gòu)的軟件設(shè)計(jì)方法;詳細(xì)設(shè)計(jì)案例。

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

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

7.軟件維護(hù)

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

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

面向?qū)ο蠓椒▽W(xué)的要點(diǎn)與優(yōu)點(diǎn);面向?qū)ο蟮母拍睢⒔７椒皥D形工具;面向?qū)ο蟮姆治?，?duì)象模型、動(dòng)態(tài)模型、功能模型的構(gòu)造方法與過(guò)程;面向?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é)的差別。掌握軟件生命周期概念以及瀑布模型、快速原型模型、增量模型、螺旋模型、噴泉模型等軟件開(kāi)發(fā)模型。

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

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

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

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

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

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

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

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

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

參閱

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

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

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