CSE 215 - Course Topics

The following list contains the topics to be be covered. Chapter numbers refer to the textbook, but the material will be discussed in a slightly different sequence in class.

• Propositional Logic [Chapter 1]
  • Logical form and logical equivalence
  • Conditional statements
  • Valid arguments
  • Application: Digital logic circuits
• Predicate Logic [Chapter 2]
  • Predicates and quantifiers
  • Arguments with quantified statements
• Proof Methods [Chapter 3]
  • Direct proofs and counterexamples
  • Contradiction and contraposition
• Mathematical Induction [Chapter 4]
  • Standard mathematical induction
  • Strong mathematical induction
• Set Theory [Chapter 5]
  • Basic definitions and properties
• Functions [Chapter 7]
  • Basic definitions and properties
  • Application: The Pigeonhole Principle
  • Composition
  • Countability and uncountability
• Recursion [Chapter 8]
  • Recursive definitions of functions
  • Functional programming in ML
• Relations [Chapter 10]
  • Basic definitions and properties
  • Equivalence relations
  • Partial orders