STUDY - Science of Programming
Propositions, Precedence rules for operators, Tautologies, Propositions as set of states, Equivalence
Transformations, Deductive proofs, Reference Rules, Proofs and Sub-proofs
Quantification, Free and bound variables, Substitution, Assertions, Proof Outlines, Language Semantics of a
Simple Language, Programming as a Goal-Oriented Activity, Loop Invariants, Developing invariants,
Efficiency Considerations, Bound Function, Program Inversion.