Prof. Emeritus Hantao Zhang has just co-authored* a textbook entitled "Logic in Computer Science," which grew out of his namesake UIowaCS lecture notes.
Overview
- Provides a comprehensive introduction to various logics related to computer science;
- Presents key algorithms for automated reasoning, including some new algorithms;
- Introduces state-of-the-art logic tools, including SAT and SMT solvers and resolution-based provers
More information at publisher's website.
* with Jian Zhang a researcher with the Institute of Software, Chinese Academy of Sciences, and professor with the University of Chinese Academy of Sciences.
