David Gries Knihy

Focusing on practical applications, this text redefines the teaching of logic for beginners by integrating it as a fundamental tool rather than an isolated subject. It emphasizes developing skills in propositional and predicate calculi, particularly within the contexts of computer science and discrete mathematics. The authors, coming from a programming methodology background, aim to equip future generations of computer scientists and mathematicians with the ability to effectively use logic as a foundational element in reasoning and proof methods.

This book anchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive appendices and bibliography, systematic approach, and helpful interactive programs on extras.springer.com, this exciting work provides the key tools they needed for successful object-oriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable self-study resource or reference volume in any programmer’s library.