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