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