Lecture Notes

How to Use the Notes

The notes are stored 6-slides-per-page in Adobe PDF Format. You need to have a PDF reader installed to view them. If, for some strange reason you don't, you can download it using the link on the Resources page

Lecture Notes

If you are using Google Chrome, you may have to click Refresh a few times to see the notes. Chrome's use of it's cache is rather buggy.

Part Name Download
1 Sets PDF File
2 Sets in Computer Science PDF File
3 Set Properties PDF File
4 Relations PDF File
5 Relations in Computer Science PDF File
6 Boolean Logic PDF File
7 Circuits PDF File
8 Arbitrary Circuits PDF File
9 Arguments PDF File
10 Proof PDF File
11 Predicate Logic PDF File
12 Induction PDF File
13 Predicate Logic PDF File
  Final Study Guide PDF File