《普通高等教育“十一五”國家級規劃教材：計算理論與符號邏輯》對計算理論和數理邏輯中一組最為基本的問題和重要概念進行詳細介紹。以boolos等的經典教材computability and logic為出發點，從教學效果出發，對內容做了簡化和充實。《普通高等教育“十一五”國家級規劃教材：計算理論與符號邏輯》注重體現數理邏輯在計算機科學研究中的應用，強調直觀感受與理論分析相結合。對定義、定理的引入進行了精心設計，采用了易于理解的證明體例，重要章節之后都有小結。力圖引導讀者超越技術細節，更多地關注定義、定理背后所隱藏的一般思維模式和思想方法，使理論學習不再枯燥乏味。
《普通高等教育“十一五”國家級規劃教材：計算理論與符號邏輯》可作為數學、計算機科學相關專業的教材，對軟件工程、形式化方法、人工智能、數理邏輯等領域的研究者和工程技術人員提升理性思維的層次和分析能力大有裨益。
新書資訊