離散數(shù)學(xué)

　　介紹離散數(shù)學(xué)各分支的基本內(nèi)容， 包括：集合論、數(shù)理邏輯、圖論、原始遞歸函數(shù)、程序正確性驗證、代數(shù)結(jié)構(gòu)及其在計算機科學(xué)中的應(yīng)用。

暫缺《離散數(shù)學(xué)》作者簡介