Mathematical logic system modeling and reasoning for computer science

Author: Hu Si
Publisher:
Publish Date: 2005-04-01
Features: Mathematical logic is one of the foundations of computer science and has broad applications in model and system specification and verification. With the increasing complexity of today's hardware and software products, mathematical logic has become an essential tool for more and more design and development personnel. This book is suitable as a textbook for mathematical logic/Formal Methods courses in universities and colleges for computer science and related majors. It covers propositional logic, predicate logic, modal logic and agents, binary decision diagrams, model checking, and program verification. Compared to traditional mathematical logic textbooks, its main feature is its focus on hardware and software specification and verification, reflecting the new developments and practical needs of mathematical logic in computer science. The second edition adds satisfiability algorithms, compactness theory, and the L?wenheim-Skolem theorem, and introduces the Alloy language and the NuSMV tool. Since its publication, the book has received widespread acclaim and has been adopted as a textbook by dozens of universities in many countries, including Princeton University, Carnegie Mellon University, the University of Cambridge, the University of Hamburg, the University of Toronto, Vrije University, and the Indian Institutes of Technology.