What people are saying - Write a review
We haven't found any reviews in the usual places.
COMPUTING AS A HUMAN ENTERPRISE
COMPUTERS AND PROBLEM SOLVING
LOGIC AND PROBLEM SOLVING
12 other sections not shown
Other editions - View all
algorithmic problem arithmetic ASCII assembly language assertion assignment binary bits Boolean branch C++ program Caesar cipher called cell Chapter character complete computer science cout decoder defined definition described develop digits discipline of computing display empty && Equation equivalent error example execution expression false false false true formal verification function GPA problem grades[i graphics grid hexadecimal implementation input list instruction integers list of grades log2 logic loop machine language Marina mathematical memory modus ponens number of grades number_of_grades opcode operand operations output postconditions precondition predicate problem solving procedural abstraction programming languages proof proposition recursive represent representation result revenue routines rules of inference sequence shown in Figure solution specifications statement steps stored string tic-tac-toe tion true false truth table two's complement variable verification word write