CSE 213 - Lecture Notes

• Lecture 1 - Set Theory I (pdf)
• Lecture 2 - Set Theory II (pdf)
• Lecture 3 - Set Theory III (pdf)
• Lecture 4 - Functions (pdf)
• Lecture 5 - Sequences (revised version in pdf)
• Lecture 6 - Review of ML (expanded version in pdf)
• Lecture 7 - Polynomial Operations in ML (revised version in pdf)
• Lecture 8 - Strings (pdf)
• Lecture 9 - Regular Languages (pdf)
• Lecture 10 - Relations (pdf)
• Lecture 11 - Equivalence Relations, Infinite Sets (pdf)
• Lecture 12 - Countable and Uncountable Sets, Diagonalization Principle (pdf)
• Lecture 13 - Order Relations (pdf)
• Lecture 14 - Combinations of Order Relations (pdf)
• Lecture 15 - Closures of Relations (pdf)
• Lecture 16 - Introduction to Predicate Logic (pdf)
• Lecture 17 - Predicates, Variables, Truth Sets (pdf)
• Lecture 18 - Quantifiers (pdf)
• Lecture 19 - Evaluation of Quantified Formulas (pdf)
• Lecture 20 - Logical Consequences and Equivalences in Predicate Logic (pdf)