2019年沈陽工業(yè)大學考研專業(yè)課考試大綱_j709工科離散數(shù)學

1、1碩士研究生入學考試大綱考試科目名稱：工科離散數(shù)學、、考試大綱援引教材《工科離散數(shù)學》電子工業(yè)出版社牛連強陳欣張勝男2017二、考試要求要求學生全面系統(tǒng)地掌握離散數(shù)學的基本概念、定理和方法，能夠?qū)﹄x散數(shù)學領域中的問題進行分析和推理，具有較強的抽象思維與邏輯推理能力。三、考試內(nèi)容1.命題邏輯?命題?邏輯聯(lián)結詞?命題翻譯?命題公式的值與等價?范式?推理理論2.謂詞邏輯?謂詞、個體次與量詞?謂詞邏輯中的命題翻譯?量詞的約束與謂詞公式的解釋?謂

2、詞邏輯中的基本等價和蘊含關系?謂詞演算的推理理論3.集合論?集合的概念與表示方法?基本的集合運算?集合運算的證明方法?序偶與笛卡爾集4.關系?二元關系的含義與表示?關系運算?關系的主要性質(zhì)?關系的閉包?相容關系與等價關系?序關系5.函數(shù)?函數(shù)的概念?滿射、單射、雙射?.函數(shù)的逆與復合?集合的基數(shù)6.運算與代數(shù)結構?運算及其性質(zhì)2?二元運算中的特殊元素?代數(shù)系統(tǒng)?半群與獨異點?群與子群?循環(huán)群與置換群?群的陪集分解7.環(huán)、域、格和布爾代數(shù)