1 | Introductory material |
2 | Analysis of language – the logical combinators |
3 | Analysis of language – implication |
4 | Analysis of language – equivalence |
5 | Analysis of language – quantifiers |
6 | Working with quantifiers |
7 | Working with quantifiers |
8 | Midterm |
9 | Proofs |
10 | Proofs |
11 | Proofs |
12 | Proofs involving quantifiers |
13 | Elements of number theory |
14 | Beginning real analysis |