- Classnotes are unrevised and should not be, therefore, the primary source for exam preparation.

- You may need to install Microsoft Journal Viewer to read the
classnotes (.jnt files).

- The filename format of the classnotes is: ics253-date-topic.jnt

- You may download the classnotes from the classnotes folder

- Logic and sets: an overview [ppt]
- Knight and Knave problems: Analysis
- Mathematical Induction [ppt] [pdf]
- Lecture Notes on Discrete Probability ics253_LNDP.pdf

- Discrete Mathematics and Its Applications, Rosen, 7th Ed (Regular).

**Interactive Examples:** (If solutions are blocked, download the pdf)

- Examples on Nested Quantifiers
- Examples on Rules of Inference
- Introduction to Proofs and Quantifiers
- Examples on Proof Methods
- Examples on Sets
- Examples on Set Operations
- Examples on Functions
- Examples on Sequences and Sums

** Useful Pages/Links: **

- Powerpoint Slides by Dr. Frank