Discrete Mathematics
Lecture 1: Propositions and Connectives [slides]
Lecture 2: Propositional functions and Truth Tables [slides]
Lecture 3: Tautologies, contradictions [slides]
Lecture 4: Abbreviated Truth Table [slides]
Lecture 5: Equivalences among Implications [slides]
Lecture 6: Logical Inferences [slides]
Problem Sheet 1 [slides]
Lecture 7: Methods of Proof of an Implication-Part 1 [slides]
Lecture 8: Methods of Proof of an Implication-Part 2 [slides]
Lecture 9: Quantifiers [slides]
Lecture 10: Proof Techniques [slides]
Lecture 11: Rules of Inference for Quantified Propositions [slides]
Lecture 12: Mathematical Induction [slides]
Lecture 13: Generating Function of Sequences [slides]
Lecture 14: Calculating coefficients of Generating Functions [slides]
Lecture 15: Recurrence Relations [slides]
Lecture 16: Solving Recurrence Relations using Substitution and Generating functions [slides]
Lecture 17: Method of Characteristic Roots for Solving Homogeneous Linear Recurrence Relations [slides]
Lecture 18: Method of Undetermined Coefficients for Solving inHomogeneous Linear Recurrence Relations [slides]
Lecture 19: System of Recurrence Relations and Non-Linear Recurrence Relations [slides]
Lecture 20: Relations and Digraphs [slides]
Lecture 21: Digraphs Isomorphism [slides]
Lecture 22: Equivalence Relations [slides]
Lectures 23-24: Equivalence Classes [slides]
Lectures 25-27: Ordering Relations [slides]
Lectures 28: Lattices [slides]
Lectures 29-31: Properties of Lattices [slides]
Lectures 32-33: Operations on Relations [slides]
Lectures 34-35: Directed Paths and Connectivity of Digraphs [slides]
Lectures 36: Digraphs and Adjacency Matrices [slides]