CSE 215 - Lecture Notes

• Introduction (pdf)
• Logic of Compound Statements
  • Logical form and logical equivalence (pdf, 12pp)
  • Conditional statements, adequacy (revised, pdf, 10pp)
  • Logical arguments (pdf, 8pp)
• Logic of Quantified Statements (not yet available)
• Set Theory (pdf, 23pp)
• Relations (pdf, 16pp)
• Functions (pdf, 24pp)
• Recursion (pdf, 18pp)
• Functional Programming (pdf, 36pp)
• Mathematical Induction (pdf, 22pp)