基本內(nèi)容: (300字以內(nèi))
1、數(shù)理邏輯
命題邏輯等值演算，主析取與主合取范式，聯(lián)結(jié)詞完備集，命題邏輯推理理論，謂詞邏輯，謂詞邏輯等值演算，謂詞邏輯推理理論。
2、集合論
二元關(guān)系，關(guān)系的運(yùn)算，關(guān)系的性質(zhì)，等價關(guān)系，偏序關(guān)系，哈斯圖，函數(shù)。
3、代數(shù)系統(tǒng)
代數(shù)系統(tǒng)，二元運(yùn)算及其性質(zhì)，半群與群，格與布爾代數(shù)。
4、圖論
無向圖與有向圖、，通路與回路，圖的連通性，圖的表示，樹，生成樹與最小生成樹，根樹，樹，歐拉圖，哈密頓圖，偶圖，平面圖。
5、計算機(jī)科學(xué)中的應(yīng)用
串和語言，形式文法，有限狀態(tài)自動機(jī)，兩類自動機(jī)的轉(zhuǎn)換。
題型要求及分?jǐn)?shù)比例：(博士生滿分100分，學(xué)術(shù)型、專業(yè)學(xué)位碩士生滿分均150分)
解答題：100分
參考書目(包括作者、書目、出版社、出版時間)：
1、《離散數(shù)學(xué)》，左孝凌、李為鑑、劉永才， 上?？茖W(xué)技術(shù)文獻(xiàn)出版社，2012。
2、《離散數(shù)學(xué)》，屈婉玲,耿素云，張立昂編，高等教育出版社，2008年。
3、《Discrete Mathematics and Its Applications》，Kenneth H.Rosen著，(《離散數(shù)學(xué)及其應(yīng)用》袁崇義，屈婉玲，張桂蕓譯)，機(jī)械工業(yè)出版社，2011年。
1、數(shù)理邏輯
命題邏輯等值演算，主析取與主合取范式，聯(lián)結(jié)詞完備集，命題邏輯推理理論，謂詞邏輯，謂詞邏輯等值演算，謂詞邏輯推理理論。
2、集合論
二元關(guān)系，關(guān)系的運(yùn)算，關(guān)系的性質(zhì)，等價關(guān)系，偏序關(guān)系，哈斯圖，函數(shù)。
3、代數(shù)系統(tǒng)
代數(shù)系統(tǒng)，二元運(yùn)算及其性質(zhì)，半群與群，格與布爾代數(shù)。
4、圖論
無向圖與有向圖、，通路與回路，圖的連通性，圖的表示，樹，生成樹與最小生成樹，根樹，樹，歐拉圖，哈密頓圖，偶圖，平面圖。
5、計算機(jī)科學(xué)中的應(yīng)用
串和語言，形式文法，有限狀態(tài)自動機(jī)，兩類自動機(jī)的轉(zhuǎn)換。
題型要求及分?jǐn)?shù)比例：(博士生滿分100分，學(xué)術(shù)型、專業(yè)學(xué)位碩士生滿分均150分)
解答題：100分
參考書目(包括作者、書目、出版社、出版時間)：
1、《離散數(shù)學(xué)》，左孝凌、李為鑑、劉永才， 上?？茖W(xué)技術(shù)文獻(xiàn)出版社，2012。
2、《離散數(shù)學(xué)》，屈婉玲,耿素云，張立昂編，高等教育出版社，2008年。
3、《Discrete Mathematics and Its Applications》，Kenneth H.Rosen著，(《離散數(shù)學(xué)及其應(yīng)用》袁崇義，屈婉玲，張桂蕓譯)，機(jī)械工業(yè)出版社，2011年。