CMSC 56 | Lecture 17: Matrices CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering CMSC 56 | Lecture 15: Closures of Relations CMSC 56 | Lecture 14: Representing Relations CMSC 56 | Lecture 13: Relations and their Properties CMSC 56 | Lecture 12: Recursive Definition & Algorithms, and Program Correctness CMSC 56 | Lecture 11: Mathematical Induction CMSC 56 | Lecture 10: Integer Representations & Algorithms CMSC 56 | Lecture 9: Functions Representations CMSC 56 | Lecture 8: Growth of Functions CMSC 56 | Lecture 4: Rules of Inference CMSC 56 | Lecture 6: Sets & Set Operations CMSC 56 | Lecture 5: Proofs Methods and Strategy CMSC 56 | Lecture 3: Predicates & Quantifiers 
