Essential Logic for Computer Science (The MIT Press)

Synopsis

Subject: Applications Of Logic In Computer Science Contents: Predicate Logic, Proofs, Equation-based Software And Digital Circuits, Automated Testing And Theorem Provers, Large-scale Computation Intent: Undergrad Cs Majors Will Learn How To Apply Predicate Logic To Testing And Verification Of Software And Digital Circuits Unique Treatment: Lower Division Courses Focus On Applications In Computer Science (just Enough Theory For Applications) Widely-used, Automated Theorem Prover (acl2) Supports Logic Applications Descriptive Coverage Of Large-scale Computation Computer Science Undergrads Use Logic For Testing And Verification Of Software And Digital Circuits--