September Lectures

Week of September 13-17

Sep 13: Course introduction.
Sep 17: Mathematical induction: impossibility of independent proof; examples of statements it can be applied; correct and incorrect statements.
Tutorial: Review of mathematical concepts such as sets, functions, strings and sequences.

Week of September 20-24

Sep 20: Mathematical induction: examples of how can be applied; bases other than zero; pitfalls.
Sep 24: Complete induction: its different forms; examples of how can be applied; bases other than zero; pitfalls.
Tutorial: Examples of mathematical induction (simple induction).

Week of September 27 - October 1

Sep 27: Program correctness: introduction; precondition and postcondition; partial correctness and termination; example.
Oct 1: Finish the partial correctness of Power (a,n). More examples on program correctness.
Tutorial: Examples of complete induction.