本書包括數(shù)理邏輯、集合論、圖論和組合與代數(shù)四部分內(nèi)容。書中定義、原理論述詳細(xì)，通俗易懂，內(nèi)容豐富，既注重對基本概念的論述，又注重原理的證明方法及其在計(jì)算機(jī)科學(xué)中的實(shí)際應(yīng)用。每章末都有對應(yīng)本章知識(shí)點(diǎn)的習(xí)題，便于讀者更深入理解和鞏固所學(xué)的理論知識(shí)，講授時(shí)建議64學(xué)時(shí)左右。
本書可以作為計(jì)算機(jī)及相關(guān)專業(yè)的本科生教材，也可以作為計(jì)算機(jī)相關(guān)資格水平考試的參考書，還可以為從事計(jì)算機(jī)軟件、硬件開發(fā)和應(yīng)用的人員提供參考。