• 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