Lectures

2010/1/5 Remembering the basics! sets,logic
2010/1/7 Induction ...
2010/1/12 Induction (continued) pdf
2010/1/14 Correctness of Simple Iterative Programs pdf
2010/1/19 Correctness of Simple Iterative Programs (continued) ...
2010/1/21 Correctness of Simple recursive Programs pdf
2010/1/26 Recursive Functions pdf
2010/2/2 Sets Defined by Induction pdf
2010/2/4 Structural Induction ...
2010/2/9 Languages and Automata pdf
2010/2/11 Languages and Automata ...
2010/2/23 Languages and Automata ...
2010/2/25 Languages and Automata ...
2010/3/2 Languages and Automata ...
2010/3/4 Languages and Automata pdf
2010/3/9 Languages and Automata ...
2010/3/11 Languages and Automata ...
2010/3/16 Languages and Automata ...
2010/3/18 Languages and Automata ...
2010/3/23 The Pumping Lemma pdf
2010/3/25 Context Free Grammmars pdf
2010/3/31 Regular Expressions pdf