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