Mathematical Logic for Computer Science
暫譯: 計算機科學的數理邏輯
Mordechai Ben-Ari
- 出版商: Springer
- 出版日期: 2012-06-17
- 售價: $2,800
- 貴賓價: 9.5 折 $2,660
- 語言: 英文
- 頁數: 364
- 裝訂: Paperback
- ISBN: 1447141288
- ISBN-13: 9781447141280
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
商品描述
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.
The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
商品描述(中文翻譯)
《計算機科學的數學邏輯》是一本包含定理和證明的數學教科書，但主題的選擇是根據計算機科學學生的需求而定。語義表格法提供了一種優雅的邏輯教學方式，既理論上可靠又易於理解。統一使用基於表格的技術有助於學習基於學生從基本系統中所學的知識的高級邏輯系統。
所呈現的邏輯系統包括：命題邏輯、一階邏輯、解析法及其在邏輯程式設計中的應用、用於驗證順序程式的霍爾邏輯（Hoare logic），以及用於驗證並發程式的線性時間邏輯（linear temporal logic）。
第三版已完全重寫，並新增了有關現代計算機科學中心主題的新章節：SAT 解算器和模型檢查。
