Logic1 (March 30)
· Logic2 (April 2)
· Logic3 (April 6)
· Logic4 (April 10)
· Logic5 (April 13)
· Logic6 (April 14)
· Proofs1 (April 16)
· Proofs2 (April 17)
Week 5
· Proofs3 (April 28)
· Proofs4 (April 30)
· Proof Techniques (prepared by Dr. Winfried Just)
Week 6
· Induction1 (May 4)
· Induction2 (May 5)
· Induction3 (May 8)
Week 7
· Induction4 (May 15)
Week 8
· Sets1 (May 19)
· Sets2 (May 21)
· Sets3 (May 22)
Week 9
·
Functions (May 26)