Logic is the study of truth and falsity, of theorem and proof, of validreasoning in any context. It’s also the foundation of all of computerscience, the very reasoning that you use when you write the condition of anif statement in a Java program, or when you design an algorithm to beat agrandmaster at chess. More concretely, logic is also the foundation of allcomputers. At its heart, a computer is a collection ofcarefully arranged wires that transport electrons (which serve as a physicalmanifestation of information) and “gates” (which serve asphysical manifestations of logical operations to manipulate thoseelectrons).
Review the options below to login to check your access.
Log in with your Cambridge Higher Education account to check access.
If you believe you should have access to this content, please contact your institutional librarian or consult our FAQ page for further information about accessing our content.