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