一、考查目標
理解命題邏輯的基本概念及應用方法;掌握謂詞邏輯的基本概念及應用方法;熟練掌握集合、關系、函數(shù)的基本概念及運算、論證方法;理解代數(shù)結(jié)構(gòu)的基本概念及研究方法;掌握圖論的概念及應用。
二、考試形式與試卷結(jié)構(gòu)
(一)試卷滿分及考試時間
滿分均為100分,考試時間為2小時。
(二)答題方式
答題方式為閉卷、筆試。
(三)試卷內(nèi)容結(jié)構(gòu)
1、命題邏輯:20%左右
2、謂詞邏輯:15%左右
3、集合與關系:15%左右
4、函數(shù):10%左右
5、代數(shù)系統(tǒng):15%左右
6、格:5%左右
7、圖論:20%左右
(四)試卷題型結(jié)構(gòu)
題型結(jié)構(gòu)為基礎題型40分、證明題30分、綜合應用題30分。
三、考查內(nèi)容及要求
1、命題邏輯:熟練進行命題邏輯符號化,構(gòu)造真值表,命題等值演算,命題推理;
2、謂詞邏輯:熟練進行謂詞邏輯符號化,量詞消去,謂詞公式等值演算;
3、集合與關系:熟練進行集合的并交差補運算,集合之間的關系判定,冪集運算,二元關系的自反、對稱、傳遞性質(zhì)判定,熟練求解二元關系的自反、對稱、傳遞閉包,熟練求解偏序集中的特殊元素;
4、函數(shù):熟練進行函數(shù)的判定,函數(shù)的性質(zhì)判定,函數(shù)的復合運算;
5、代數(shù)系統(tǒng):熟練掌握二元運算的性質(zhì),熟練進行群、半群和獨異點的判定,熟練求解代數(shù)系統(tǒng)中的特殊元素并證明;
6、格:熟練掌握格的性質(zhì)進行格的判定,;
7、圖論:熟練運用圖的結(jié)點、邊、補圖的性質(zhì),熟練進行歐拉圖、漢密爾頓圖的判定,熟練求解最小生成樹、最優(yōu)二元樹。
四、考試用具說明
考試需攜帶黑色鋼筆或簽字筆答題。
五、參考書目或參考資料
(1)左孝凌,離散數(shù)學(第1版),上??茖W技術文獻出版社。
(2)左孝凌,離散數(shù)學-理論.分析.題解(第1版),上??茖W技術文獻出版社。
點擊查看:離散數(shù)學
原文標題:2019年信息學院碩士研究生招生考試復試大綱
原文鏈接:http://grs.sjzu.edu.cn/info/1020/2384.htm