考試大綱的內容一般包括當年全國研究生入學考試相應科目的考試范圍、考試要求、考試形式、試卷結構等信息，對考生備考至關重要。希賽網整理了2023年大連海事大學計算機科學與技術（081200）考研加試1.離散數學(T13)2.軟件工程(T14)考試大綱信息，希望對考生備考有所幫助。

相關閱讀推薦>>>2021-2022年全國考研復試線丨2023年全國考試科目匯總丨2023年全國研究方向匯總

（注：以下信息來自學院官網，僅供參考，具體內容以院校發布為準）

離散數學(T13)一加試考試大綱

一、命題邏輯

考試內容

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

考試要求

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

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

3.掌握等價式和蘊含式的的推導，掌握常見的基本等價式和基本蘊含式。

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

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

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

7.重點掌握推理規則法的證明題。

二、謂詞邏輯

謂詞，量詞與全總個體域與特性謂詞，謂詞公式，自由變元與約束變元，謂詞公式的等價式與蘊含式，謂詞邏輯的推理規則法

考試要求

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

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

3.掌握謂詞公式的等價推導和蘊含推導(重點是一元量詞公式的量詞轉換律，量詞轄域擴大收縮律和量詞分配律)

4.重點掌握謂詞邏輯的推理規則法的證明題

三、集合

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

考試要求

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

2.掌握集合的基本運算和常見的集合等式，會做集合等式的證明推導。

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

4.掌握笛卡爾積的概念及其性質，笛卡爾積元素計數公式。

四、二元關系

關系的概念及其性質，關系圖與關系矩陣，關系的運算，等價關系與劃分，偏序關系

考試要求

1.理解關系的概念，集合上能建立有多少種不同的二元關系的計算

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

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

4.掌握劃分、等價關系、等價類的概念，理解非空集合X上的等價關系與X的劃分是一一對應的。

5.給定等價關系，會求對應的劃分;給定劃分，會求的對應的等價關系(掌握笛卡爾積的概念及其性質，笛卡爾積元素計數公式。

6.重點掌握等價關系相關的證明題。

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

五、函數

函數的概念，滿射、單射、雙射函數，復合函數，逆函數

考試要求

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

2.會計算函數個數：設X和Y都為有限集,則從X到Y共有|Y||X|不同的函數。

3.理解滿射、單射、雙射函數。

4.會求復合函數。

5.了解逆函數的概念。

六、代數系統

代數運算的性質，特異元，可約性，代數系統的概念，同態/同構，代換性質與同余關系。

考試要求

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

2.代數系統的概念和子代數系統的概念，要會證一個代數系統A是代數系統B的子代數。

3.重點理解同態、同構，理解同態與同構的性質，會做同態、同構的證明題。

4.簡要了解代換性質與同余關系的概念。

七、群

半群、子半群、循環半群，群，阿貝爾群，群同態，循環群，子群。

考試要求

1.了解半群、子半群、循環半群的概念。

2.理解群的概念及群的基本性質，會證明給定的代數系統是否是群，會證明阿貝爾群以及群同態(同構)問題的證明。

3.理解循環群概念以及循環群的分類

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

八、圖

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

考試要求

1.理解簡單圖的概念、特別度相關的概念、掌握握手定理與奇結點個數必是偶數的定理，零圖、平凡圖、正則圖、完全圖的概念，以及完全圖的邊數定理。會判斷圖同構的問題。

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

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

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

九、特殊圖

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

考試要求

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

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

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

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

5.會做 樹相關的計算題，會求最小生成樹，會求最優二叉樹(Huffman樹)。

l 參閱：

《離散數學》趙廣利 大連海事大學出版社

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

考試內容

1. 軟件工程學概述

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

2. 可行性研究

可行性研究的任務與過程;系統流程圖、數據流圖、數據字典等圖形工具;成本效益分析。

3. 需求分析

需求分析的任務;需求獲取方法;分析建模與軟件規格說明;實體-聯系圖、數據規范化、狀態轉換圖、層次方框圖、Warnier圖、IPO圖等圖形工具;軟件需求驗證。

4. 總體設計

軟件設計的過程;軟件設計原理與優化方法;層次圖和HIPO圖、結構圖;面向數據流的軟件設計方法;軟件設計案例。

5. 詳細設計

結構程序設計;人機界面設計;程序流程圖、N-S盒圖、PAD圖、判定樹與判定表、PDL等工具;面向數據結構的軟件設計方法;詳細設計案例。

6. 實現

編碼與編碼風格;軟件測試的目標、準則、方法、步驟，以及測試階段的信息流;單元測試、集成測試、確認測試、系統測試的方法與過程;白盒測試技術及測試用例構造;黑盒測試技術及測試用例構造;調試與測試的區分、調試的途徑;軟件可靠性度量;軟件測試案例。

7.軟件維護

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

8. 面向對象方法學

面向對象方法學的要點與優點;面向對象的概念、建模方法及圖形工具;面向對象的分析，對象模型、動態模型、功能模型的構造方法與過程;面向對象的設計;面向對象的實現;面向對象方法學案例。

9. 軟件項目管理

軟件項目管理的相關概念。

考試要求

1. 理解軟件工程學的產生與發展，掌握軟件工程學的基本概念，了解軟件危機產生的原因及其消除途徑。掌握軟件工程的本質特性與基本原理，理解傳統軟件工程學與面向對象方法學的差別。掌握軟件生命周期概念以及瀑布模型、快速原型模型、增量模型、螺旋模型、噴泉模型等軟件開發模型。

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

3. 理解需求分析的任務與必要性，掌握需求獲取的常用方法。掌握數據模型、功能模型、行為模型的含義及其相應的描述工具。學會使用實體-聯系圖、數據規范化、狀態轉換圖、層次方框圖、Warnier圖、IPO圖等工具;了解軟件規格說明與軟件需求驗證方法。

4. 理解軟件設計的過程、設計原理與優化方法。掌握面向數據流的軟件設計方法，學會細化和優化數據流圖，學會建立數據字典。

5. 理解結構程序設計、人機界面設計的基本概念與方法，掌握程序流程圖、N-S盒圖、PAD圖、判定樹與判定表、PDL等工具。了解面向數據結構的軟件設計方法。

6. 理解編程風格與軟件測試的基本概念與方法，熟悉軟件測試的目標、準則、方法、步驟以及測試階段的信息流。掌握單元測試、集成測試、確認測試、系統測試的目的及各種技術方法。熟悉回歸測試的概念。掌握白盒測試、黑盒測試的測試用例構造技術與方法。了解調試的途徑，能夠區分測試與調試。了解軟件可靠性的度量方法。

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

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

9. 理解面向對象方法學的要點與主要優點，掌握面向對象的基本概念、建模方法、建模過程以及相應的圖形工具。掌握三種模型之間的關系，能夠結合簡單實例構造對象模型、動態模型、功能模型。

10. 了解軟件項目管理的基本概念。

參閱

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

2.《軟件工程導論學習輔導》 張海藩編著，清華大學出版社

數據來源：2023年大連海事大學碩士研究生招生考試自命題科目考試大綱