本書內(nèi)容包含組合計(jì)數(shù)原理、邏輯基礎(chǔ)、一階邏輯、集合、離散概率、數(shù)論、歸納與遞歸、關(guān)系、容斥原理、生成函數(shù)、遞推關(guān)系、圖論、樹、布爾代數(shù)與開關(guān)函數(shù)、文法、有限狀態(tài)機(jī)與圖靈機(jī)等。