Essential logic for computer science

About Essential logic for computer science

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--

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks and VitalSource for their current prices on ISBN 9780262350723 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

Browse all textbook subjects