Search Results: 1 of 1
Author(s): DAVID BARRINGTON
New Full Version With Online Assessment Now Available!
Undergraduate computer science students need to learn and use the mathematical method of abstraction, definition, and proof, perhaps even earlier than do mathematics students. They deal constantly with formally defined systems beyond those studied in mathematics courses, and must be able reason about them formally in order to write and understand programs.