作為思維的基本形式和基本規(guī)則，邏輯構成了人類思維和機器思維的共同基礎，也是計算機科學與信息科學的理論基礎。事實上，無論是計算機硬件還是計算機軟件，它們都是一組邏輯組件的某種特定表現(xiàn)形式。具備嚴謹?shù)倪壿嬎季S能力對于計算機系統(tǒng)研發(fā)人員的重要性是毋庸置疑的。然而，邏輯思維能力的培養(yǎng)并不是一件很容易的事情，通常需要經(jīng)歷一定的理論學習和實際訓練。目前，計算機專業(yè)的學生主要是通過離散數(shù)學等數(shù)學課程進行形式邏輯方面的學習，而不是直接面向計算機專業(yè)內(nèi)容討論計算機科學的基本邏輯，這使得學生接觸到的邏輯知識與計算機科學的關系較為松散，不利于邏輯與計算機之間的知識貫通。本書可以很好地彌補這方面的不足。它以實際問題的求解為導向，對計算機科學的邏輯基礎知識進行了比較系統(tǒng)的介紹、討論和歸納，較好地實現(xiàn)了邏輯與計算機之間的知識貫通，可以有效地培育和提升讀者的邏輯思維能力，使其能夠在計算機邏輯方面獲得比較系統(tǒng)的專業(yè)訓練，從而能夠更加高效地從事計算機軟硬件產(chǎn)品的研發(fā)工作。本書的基本特點主要表現(xiàn)在如下三個方面：
　　第一，知識體系的組織結構突破了傳統(tǒng)的數(shù)學框架，內(nèi)容主要包括邏輯與等式、計算機算術、算法、計算實踐四個部分，直接關注與計算機科學相關的邏輯主題，將邏輯用于解決計算機科學領域的問題，包括硬件組件、軟件組件、測試和驗證以及算法分析，邏輯知識與計算機知識的聯(lián)系更加緊密，實現(xiàn)了兩者的深度融合，特別適合用來對計算機專業(yè)人員進行系統(tǒng)性的邏輯訓練。
　　第二，在可讀性方面做了很好的設計，主要通過一些生動有趣的具體應用實例介紹邏輯知識和證明方法，能夠有效地激發(fā)讀者的學習興趣，培養(yǎng)讀者的邏輯思維和數(shù)學思維能力。例如，通過石頭、剪刀、布這個簡單的游戲深入淺出地闡述程序的基本結構和基于等式的程序模型，生動地解釋了在基于等式的模型中，程序為何完全由基于操作數(shù)的數(shù)學函數(shù)組成，為何可以使用經(jīng)典邏輯和傳統(tǒng)代數(shù)公式來理解基于等式的程序。通過介紹深藍計算機系統(tǒng)的基本工作原理來介紹歸納定義，使得讀者能夠清楚地認識到，對于計算機系統(tǒng)和邏輯系統(tǒng)而言，再復雜的行為通常也是從最初簡單的行為演變而來，再復雜的理論通常也是建立在一些簡單的基本原則基礎之上。
　　第三，采用三種形式化表示法，即傳統(tǒng)的邏輯代數(shù)公式表示法、數(shù)字電路圖表示法以及ACL2表示法，使得學生可以借助軟件工具比較容易地學習機械化邏輯的相關知識。本書使用ACL2作為邏輯證明引擎，ACL2提供了比任何其他工具更容易理解的機械化邏輯證明形式，通過事實生動地說明軟件和硬件工程師可以如何從邏輯（包括機械化邏輯）中受益。當讀者在檢查證據(jù)和處理證明細節(jié)的很多方面得到ACL2軟件工具的有效支持時，會非常開心并且更有學習動力。