Logic, Problem-Solving, Programs - PASCAL Edition (v. 1)

by Allen B. Tucker Jr., W. James Bradley, Andrew Bernat

This is the C++ version of a series of introductory computer science texts. It provides expanded treatment of problem-solving and programming, better integrates the use of logic and proof methods, and has an enhanced lab manual with many examples of C++ syntax and usage.

528 pages, Paperback

First published November 1, 1991

About the author

Allen B. Tucker Jr. is the Anne T. and Robert M. Bass Professor Emeritus at Bowdoin College. He has held similar faculty positions at Georgetown and Colgate Universities. He earned a BA in mathematics from Wesleyan University and an MS and PhD in Computer Science from Northwestern University. He is an ACM Fellow and Distinguished Lecturer.

Professor Tucker has publications in the areas of programming languages, software development, natural language processing, and curriculum development. He has been a Fulbright lecturer at the Ternopil Academy in Ukraine, and a visiting lecturer at the University of Canterbury in New Zealand, Esigelec in France and Boston University in Germany. He is currently an active open source software developer and an advisory board member for the Humanitarian FOSS Project.