From Logic to Computing
This book forges a bridge between logical principles in their application to reasoning in ordinary language on one hand and logical principles as fundamental to the development and operation of computers on the other.
What people are saying - Write a review
We haven't found any reviews in the usual places.
A D B A V B algorithm argument atomic components atomic statements biconditional binary numeral Boolean algebra chapter circuit clausal form clause complement conclusion conditional conjunction conjunctive normal form connectives consistent contradiction counterexample decimal DeMorgan's laws diagram digits disjunction entails equivalence example EXERCISES existential quantification expression F F F false flipflop gates halt hexadecimal idempotence inconsistent infer initial statements input instructions keyboard register keys logic machine logical properties ments natural deduction negation notation Note open branches operation output parentheses partial valuation premises quantifier represent resolution rule set of statements seven-segment display signals SIMR Skolem function SL statement statement letters statement logic steps strategy hint subsidiary derivation substitution instance Suppose switches syllogism symbols tautology tree method true truth table truth tree truth-functional truth-value Turing machine universal quantifier valid variable Vx Fx Vx Gx Vx Px