2018遼寧大學(xué)軟件工程考研復(fù)試加試科目《離散數(shù)學(xué)》考試大綱

1、2018遼寧大學(xué)軟件工程考研復(fù)試加試科目《離散數(shù)學(xué)》考試大綱一、數(shù)理邏輯一、數(shù)理邏輯熟練掌握命題邏輯的基本概念，要求準(zhǔn)確地給出命題符號化。熟練掌握命題公式真值表、等價、重言式和命題推理概念和方法。熟練掌握求命題公式主析取范式的方法。熟練掌握謂詞邏輯的基本概念，要求準(zhǔn)確地給出的謂詞符號化。熟練掌握謂詞推理的方法。二、集合論二、集合論熟練掌握集合的基本概念、運算。熟練掌握笛卡爾積、關(guān)系、關(guān)系矩陣、關(guān)系的復(fù)合、關(guān)系的逆和閉包的概念和運算。熟練

2、掌握關(guān)系的主要性質(zhì)（自反性、反自反性、對稱性、反對稱性、傳遞性）的定義及判別法，熟練掌握等價關(guān)系和偏序關(guān)系的概念、相關(guān)性質(zhì)和判定方法。熟練掌握函數(shù)的定義和相關(guān)性質(zhì)，熟練掌握函數(shù)是單射、滿射和雙射的定義。三、代數(shù)系統(tǒng)代數(shù)系統(tǒng)熟練掌握代數(shù)系統(tǒng)的基本概念。熟練掌握二元運算及其性質(zhì)。熟練掌握半群、獨異點、群、阿貝爾群和循環(huán)群的概念、性質(zhì)和判定方法。熟練掌握陪集和拉格朗日定理。四、圖論圖論熟練掌握圖的基本概念。熟練掌握圖的路和回路的基本概念。熟練