基本內(nèi)容: (300字以內(nèi))
　　1、數(shù)理邏輯
　　命題邏輯等值演算，主析取與主合取范式，聯(lián)結(jié)詞完備集，命題邏輯推理理論，謂詞邏輯，謂詞邏輯等值演算，謂詞邏輯推理理論。
　　2、集合論
　　二元關(guān)系，關(guān)系的運(yùn)算，關(guān)系的性質(zhì)，等價(jià)關(guān)系，偏序關(guān)系，哈斯圖，函數(shù)。
　　3、代數(shù)系統(tǒng)
　　代數(shù)系統(tǒng)，二元運(yùn)算及其性質(zhì)，半群與群，格與布爾代數(shù)。
　　4、圖論
　　無向圖與有向圖、，通路與回路，圖的連通性，圖的表示，樹，生成樹與最小生成樹，根樹，樹，歐拉圖，哈密頓圖，偶圖，平面圖。
　　5、計(jì)算機(jī)科學(xué)中的應(yīng)用
　　串和語言，形式文法，有限狀態(tài)自動(dòng)機(jī)，兩類自動(dòng)機(jī)的轉(zhuǎn)換。
　　題型要求及分?jǐn)?shù)比例：(博士生滿分100分，學(xué)術(shù)型、專業(yè)學(xué)位碩士生滿分均150分)
　　解答題：100分
　　參考書目(包括作者、書目、出版社、出版時(shí)間)：
　　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年。