This text covers problem-solving and programming in computing, integrating the use of logic and proof methods. A lab manual with many examples of C++ syntax and usage is provided. This text is part of a four-volume series of introductory computer science texts, based on the ACM/IEEE curriculum.
"synopsis" may belong to another edition of this title.