Mathematical Logic for Computer Science
Mordechai Ben-Ari
- 出版商: Demos Medical Publis
- 售價: $900
- 貴賓價: 9.5 折 $855
- 語言: 英文
- 頁數: 318
- 裝訂: Paperback
- ISBN: 1852333197
- ISBN-13: 9781852333195
-
相關分類:
Computer-Science 計算機概論
下單後立即進貨 (約5~7天)
買這商品的人也買了...
-
$5,260$4,997 -
$1,600$1,520 -
$820$779 -
$1,100$1,078 -
$1,300$1,274 -
$1,050$1,029 -
$1,090$1,068 -
$1,060$1,007 -
$1,100$1,078 -
$2,300$2,185 -
$900$882 -
$1,090$1,068 -
$1,000$950 -
$1,050$1,029 -
$1,050$998 -
$1,000$980 -
$1,150$1,127 -
$1,200$1,176 -
$1,730$1,644 -
$1,960AI Game Programming Wisdom (Hardcover)
-
$1,200$1,176 -
$1,300$1,235 -
$750$735 -
$1,090$1,068 -
$1,050$1,029
商品描述
This textbook is specifically tailored to the needs of computer science students. It teaches mathematical logic using tableaux techniques pioneered by Beth and Smullyan. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book also discusses application of logic to computer science: logic programming, temporal logic and the Z language for formal specification. For the second edition, the book has been totally rewritten and additional material has been included on binary decision diagrams, constraint logic programming, and model checking.
Contents
Preface
Introduction
Propositional Calculus:
Formulas, Models, Tableaux
Propositional Calculus: Deductive Systems
Propositional Calculus: Resolution and BDDs
Predicate Calculus:
Formulas, Models, Tableau
Predicate Calculus: Deductive Systems
Predicate
Calculus: Resolution
Logic Programming
Programs: Semantics and
Verification
Programs: Formal Specification with Z
Temporal Logic:
Formulas, Models, Tableaux
Temporal Logic: Deduction and Applications
Appendix A Set Theory
Further Reading
Index