2023年陜西科技大學軟件工程考研復試大綱已發(fā)布！2023年陜西科技大學材料與化工考研復試科目為961離散數(shù)學、962微機原理與程序設計中任選一門。為了幫助大家更好地復習備考，學姐將陜西科技大學軟件工程考研復試大綱（961離散數(shù)學）詳細內容整理匯總如下，內含考試要求，希望對同學們有所幫助！
一、考核要點
1．數(shù)理邏輯（包括命題邏輯和一階邏輯）
?。?）命題與聯(lián)結詞、命題公式與翻譯；
?。?）真值表、等價公式、公式的類型；
?。?）主析取范式、主合取范式的計算；
?。?）聯(lián)結詞的完備集、對偶式與蘊含式；
?。?）命題邏輯的推理理論；
（6）一階邏輯的基本概念、命題符號化；
?。?）一階邏輯公式的解釋；
?。?）一階邏輯的等價式與蘊含式；
?。?）一階邏輯前束范式；
（10）一階邏輯的推理理論。
2．集合論（包括集合、二元關系和函數(shù)）
?。?）集合的基本概念、表示方法、集合元素間的關系、冪集合；
?。?）集合的運算、集合恒等式、集合的覆蓋與劃分；
?。?）笛卡兒積、關系的定義、關系矩陣和關系圖；
（4）關系的運算、復合關系、逆關系；
（5）關系的性質；
?。?）關系的閉包運算；
?。?）等價關系、偏序關系的定義、性質及其應用；
?。?）函數(shù)的定義、復合函數(shù)、反函數(shù)、單射、滿射和雙射函數(shù)；
（9）集合基數(shù)的定義、有限集和無限集的基數(shù)、集合基數(shù)的比較。
3．代數(shù)系統(tǒng)
（1）代數(shù)系統(tǒng)的定義；
?。?）運算的性質（結合律、交換律、分配律、冪等律、吸收律）；
（3）代數(shù)系統(tǒng)中單位元、零元和逆元等特殊元素的定義及計算；
?。?）廣群和半群、獨異點、群、阿貝爾群的定義及性質；
?。?）子群的概念及判定、陪集和拉格朗日定理、正規(guī)子群、循環(huán)群、置換群的相關知識；
?。?）環(huán)、域的定義及性質。
4．圖論
?。?）圖、路等基本概念及性質，握手定理的應用；
?。?）無向連通圖、有向連通圖（強連通圖、單向連通圖、弱連通圖、強分圖、單向分圖和弱分圖）的基本概念及性質；
?。?）圖的矩陣表示，包括鄰接矩陣、無向圖連通矩陣、有向圖可達矩陣、無向圖和有向圖的關聯(lián)矩陣定義、性質及應用；
?。?）特殊圖，包括歐拉圖、哈密爾頓圖、無向樹、生成樹、根樹、二叉樹、二部圖、平面圖的定義、性質及應用。
二、參考書目
屈婉玲，耿素云，張立昂.《離散數(shù)學》（第2版），高等教育出版社，2015
本文內容由學姐手動整理自陜西科技大學研究生招生信息網，供同學們參考！
以上就是有關【2023年陜西科技大學軟件工程考研復試大綱更新了！】的相關內容，23考研備考已經告一段落，24考研的小伙伴們可以開始了解相關情況，收集考研資訊，制定備考計劃了！如果大家想了解更多考研信息，都可以登錄考研招生網查閱，超全資訊等你了解！
另外，學姐還為2024考研的同學們準備了豐富的備考禮包，包括真題資料、心得經驗、高分筆記、擇校推薦等，免費名額數(shù)量有限，點擊下方藍色圖片速度領??！
