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天)
買這商品的人也買了...
-
Introduction to Algorithms: A Creative Approach$980$960 -
Computer Graphics: Principles and Practice in C, 2/e (Hardcover)$1,600$1,520 -
Multimedia Communications: Protocols and Applications$820$779 -
UNIX Network Programming, Volume 1, 2/e (精裝)$1,100$1,078 -
Data Warehousing in the Real World: A Practical Guide for Building Decision Sup$1,300$1,274 -
Neural Networks: A Comprehensive Foundation, 2/e (精裝)$1,050$1,029 -
Fundamentals of Database Systems, 3/e (平裝版)$1,090$1,068 -
Discrete-Time Signal Processing, 2/e (修訂版)$1,060$1,007 -
CMOS Logic Circuit Design (Hardcover)$1,100$1,078 -
Data Mining: Concepts and Techniques$2,170$2,062 -
Data and Computer Communications, 6/e$900$882 -
Discrete Mathematics with Combinatorics$1,090$1,068 -
Introduction to IP and ATM Design and Performance, 2/e$1,000$950 -
Communication Networks: Fundamental Concetps and Key Architectures$1,050$1,029 -
Management Information Systems: Managing the Digital Firm, 7/e
$1,050$998 -
Wireless Communications and Networks$1,000$980 -
Intelligent Systems: Architecture, Design, Control (Hardcover)$1,150$1,127 -
Mastering Enterprise JavaBeans, 2/e$1,200$1,176 -
After Effects in Production$1,630$1,549 -
$1,470AI Game Programming Wisdom (Hardcover) -
Cryptography: Theory and Practice, 2/e$1,200$1,176 -
Computer Architecture: A Quantitative Approach, 3/e(精裝本)$1,300$1,235 -
Electricity and Magnetism in Biological Systems$750$735 -
Computer Networking: A Top-Down Approach Featuring the Internet, 2/e (精裝)$1,090$1,068 -
Database Systems: The Complete Book$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
