一、考查目標(biāo)
熟練掌握命題邏輯和謂詞邏輯的基本概念及應(yīng)用方法；熟練掌握集合、關(guān)系、函數(shù)的基本概念、運(yùn)算及應(yīng)用方法；熟練掌握代數(shù)系統(tǒng)的基本概念及研究方法；熟練掌握?qǐng)D論的基本概念及其應(yīng)用。
二、考試形式與試卷結(jié)構(gòu)
（一）試卷滿(mǎn)分及考試時(shí)間
復(fù)試科目滿(mǎn)分為100分，考試時(shí)間為2小時(shí)。
（二）答題方式
答題方式為閉卷、筆試。
（三）試卷內(nèi)容結(jié)構(gòu)
命題邏輯：20%左右；
謂詞邏輯：10%左右；
集合與關(guān)系：25%左右；
函數(shù)：5%左右；
代數(shù)結(jié)構(gòu)：15%左右；
格：5%左右；
圖論：20%左右。
（四）試卷題型結(jié)構(gòu)
填空題20分；
選擇題20分；
證明題30分；
綜合應(yīng)用題30分。
三、考查內(nèi)容及要求
1、命題邏輯：熟練進(jìn)行命題邏輯符號(hào)化，構(gòu)造真值表，命題等值演算，命題推理；
2、謂詞邏輯：熟練進(jìn)行謂詞邏輯符號(hào)化，量詞消去，謂詞公式等值演算，謂詞演算推理；
3、集合與關(guān)系：熟練進(jìn)行集合的并交差補(bǔ)運(yùn)算，集合之間的關(guān)系判定，冪集運(yùn)算，二元關(guān)系的自反、對(duì)稱(chēng)、傳遞性質(zhì)判定，熟練求解二元關(guān)系的自反、對(duì)稱(chēng)、傳遞閉包，熟練求解偏序集中的特殊元素，熟練求解關(guān)系的復(fù)合運(yùn)算；
4、函數(shù)：熟練進(jìn)行函數(shù)的判定，函數(shù)的性質(zhì)判定，函數(shù)的復(fù)合運(yùn)算；
5、代數(shù)結(jié)構(gòu)：熟練掌握二元運(yùn)算的性質(zhì)，熟練進(jìn)行群、半群和獨(dú)異點(diǎn)的判定，熟練求解代數(shù)系統(tǒng)中的特殊元素并證明；
6、格：熟練進(jìn)行格的判定；
7、圖論：熟練運(yùn)用圖的結(jié)點(diǎn)、邊、補(bǔ)圖的性質(zhì)，熟練進(jìn)行歐拉圖、漢密爾頓圖的判定，熟練求解最小生成樹(shù)、最優(yōu)二元樹(shù)。
四、考試用具說(shuō)明
考試需攜帶黑色鋼筆或簽字筆答題。
五、參考書(shū)目或參考資料
1.左孝凌.《離散數(shù)學(xué)》（第1版）.上海科學(xué)技術(shù)文獻(xiàn)出版社，2018.
