An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput

Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And

Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.