Lecture Notes
| Cheat Sheet | [ PS ] [ PDF ] [ HTML ] |
| 1. Introductions | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 2. Circuits | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 3. Predicate Logic | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 4. Number Theory | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 5. Summation | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 6. Induction | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 7. Sets | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 8. Counting | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 9. Functions | [ PPT ] [ PDF (large) ] [ PDF (small) ] |
| 10. Relations | [ PPT ] [ PDF (large) ] [ PDF (small) ] |