本教材是結(jié)合應(yīng)用型本科高校人才培養(yǎng)規(guī)格及學(xué)生能力結(jié)構(gòu)要求編寫而成的，強(qiáng)調(diào)“有基礎(chǔ)，強(qiáng)能力；重實(shí)踐，強(qiáng)應(yīng)用。面向應(yīng)用型人才培養(yǎng)高校計(jì)算機(jī)類專業(yè)的學(xué)生，主要內(nèi)容包括命題邏輯、謂詞邏輯、經(jīng)典集合與計(jì)數(shù)、關(guān)系與函數(shù)、運(yùn)算與群論、圖與樹，在講清概念與性質(zhì)基礎(chǔ)上力求讓學(xué)生掌握計(jì)算思維的兩種主要特征：形式化與自動(dòng)化。教材特色如下：1.培養(yǎng)讀者的計(jì)算思維能力。本書內(nèi)容安排以數(shù)理邏輯開篇，其余內(nèi)容中涉及到的概念或性質(zhì)盡可能以符號化形式表達(dá)，以此培養(yǎng)學(xué)生的形式化思維；在涉及計(jì)算時(shí)引導(dǎo)讀者從計(jì)算機(jī)角度思考自動(dòng)化的實(shí)現(xiàn)過程。2.實(shí)例豐富。在例題的選材上注重理論聯(lián)系實(shí)際，在例題分析中注重解題的思想和方法，使學(xué)生能夠在較短的時(shí)間內(nèi)掌握本門課程的基本概念、基本理論和基本方法，并得到對離散量處理的數(shù)學(xué)思維方式的訓(xùn)練，以及邏輯推理與抽象思維能力的訓(xùn)練。