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]