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

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

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