Essential Logic for Computer Science

MIT Press Ltd

Unlock the power of predicate logic for software and digital circuit testing and verification. This book offers a substantive and rigorous approach, focusing on practical applications in computer science rather than abstract theory. Explore predicate logic, equation-based software, automated testing, theorem proving, and large-scale computation. Emphasizing formalism, the text utilizes traditional algebraic formulas, digital circuit diagrams, and the ACL2 theorem prover for an accessible introduction to mechanized logic. Ideal for undergraduate courses in logic for computer science, introduction to computer science, and math courses for computer science students, this hardcover book requires no prerequisites beyond high school algebra and no programming experience. Key features: - Focuses on applications of predicate logic in computer science. - Covers predicate logic, equation-based software, automated testing, and theorem proving. - Employs three formal notations: algebraic formulas, digital circuit diagrams, and ACL2. - Includes 180 exercises for problem-solving practice. Summary: Essential Logic for Computer Science by MIT Press Ltd is a hardcover book on Computing & Internet, written in English. Published in 2019, it features 304 pages and is recommended for adult readers of any gender.