This page contains the lecture-wise learning materials for the course. Each lecture includes a summary of the topics covered, presentation slides, recommended readings, and practice questions to reinforce learning. 

1.  Module 1: Mathematical Foundations & Logic  

• Lecture 1 (04/08/2026) :

  • • Lecture Summaries : Course Overview & Evaluation, Introduction to Mathematical Logic, Motivation for Propositional Logic, Proposition: Definition, Examples of Propositions, Liar Paradox (Intuition)

    • Lecture Slides : Course Introduction [Click] ; Proposition (Slides 1-9) [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition Chapter 1: The Foundations – Sections on Propositions

    • Practice Questions : To be Announced

• Lecture 2 (06/08/2026) :

  • • Lecture Summaries : Solution to the Liar Paradox, Types of Propositions, Compound Propositions, Translating English Statements into Logical Expressions, Motivation for Truth Tables 

    • Lecture Slides : Slides 9-15 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition Chapter 1: The Foundations – Sections on Propositions

    • Practice Questions : To be Announced

• Lecture 3 (07/08/2026) :

  • • Lecture Summaries : Construction of Truth Tables, Truth Tables for Logical Connectives, Logical Equivalence using Truth Tables, Tautology, Contradiction & Contingency, Limitation of Truth Tables for Logical Equivalence, Towards Logical Equivalence Laws 

    • Lecture Slides : Slides 15-27 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Sections 1.1.3, 1.1.4, 1.3.1 & 1.3.2. 

    • Practice Questions : To be Announced

• Lecture 4 (11/08/2026) :

  • • Lecture Summaries : Logical Equivalence: Examples, Laws of Logic, Idempotent, Commutative & Associative Laws, Identity & Dominant Laws, Distributive & Absorption Laws, Double Negation Law, De Morgan’s Laws

    • Lecture Slides : Slides 1-21 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 7th Edition — Section 1.3

    • Practice Questions : To be Announced

• Lecture 5 (13/08/2026) :

  • • Lecture Summaries : Normal Forms: CNF & DNF, Examples of CNF and DNF, Applications of Propositional Logic, Digital Circuit Design, SAT Solvers, Limitations of Propositional Logic

    • Lecture Slides : Slides 22-33 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Section 1.3.5 (Satisfiability) 

    • Practice Questions : To be Announced

• Lecture 6 (14/08/2026) :

  • • Lecture Summaries : From Propositional Logic to Predicate Logic, Domain/Universe of Discourse, Universal & Existential Quantifiers, Propositional Analogy of Quantifiers, Representing English Statements using Quantifiers, Predicate Logic: Examples

    • Lecture Slides : Slides 1-11 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Section 1.4

    • Practice Questions : To be Announced

• Lecture 7 (18/08/2026) :

  • • Lecture Summaries : Negation of Quantified Statements, Counterexamples, Nested Quantifiers, Order of Quantifiers, De Morgan’s Laws for Quantifiers

    • Lecture Slides : Slides 12-26 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Sections 1.4 & 1.5

    • Practice Questions : To be Announced

• Lecture 8 (20/08/2026) :

  • • Lecture Summaries : Arguments: Definition & Types, Valid & Invalid Arguments, Rules of Inference, Modus Ponens & Modus Tollens

, Hypothetical Syllogism, Rules of Inference for Quantified Statements, Instantiation & Generalization Rules, Towards Mathematical Proof

• • • Lecture Slides : Slides 1-26 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Section 1.6

    • Practice Questions : To be Announced

• Lecture 9 (21/08/2026) :

  • • Lecture Summaries : Basic Terminology in Mathematical Reasoning, Direct Proof, Proof by Contradiction, Examples of Mathematical Proofs

    • Lecture Slides : Slides 26-37 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition — Section 1.7 & 1.8

    • Practice Questions : To be Announced

• Lecture 10 (25/08/2026) :

  • • Lecture Summaries : Mathematical Induction, examples, motivation for the Counting Principle, Addition and Multiplication Principles of Counting, and towards Permutations and Combinations. 

    • Lecture Slides : Slides 37-44 [Click] ; Slides 1-7 [Click]

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

• Lecture 11 (27/08/2026) :

  • • Lecture Summaries : Example involving the Addition and Multiplication Rules together, Permutations, Combinations, Expanding Identities, motivation for the Binomial Theorem, Pascal's Triangle, Binomial Theorem, proof of the Binomial Theorem, and applications of Combinatorics. 

    • Lecture Slides : Slides 8-32 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

• Lecture 12 (28/08/2026) :

  • • Lecture Summaries : Pigeonhole Principle and Generalized Pigeonhole Principle, proofs of both principles, the unified form of the Pigeonhole Principle, and applications of the Pigeonhole Principle. 

    • Lecture Slides : Slides 1-17 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : [Click]

• Lecture 13 (01/09/2026) :

  • • Lecture Summaries : Recurrence Relations, Fibonacci Sequence, Towers of Hanoi, and Interactive Visualization of Towers of Hanoi. 

    • Lecture Slides : Slides 1-16 [Click] ; Interactive Towers of  Hanoi Visualization [Click]

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

2. Module 2: Set Theory, Relations & Functions 

• Lecture 14 (08/09/2026)

  • • Lecture Summaries : Introduction to Sets, Set-Builder & Roster Forms, Set Equality & Membership, Subsets & Empty Set, Proof: Empty Set as a Subset of Every Set, Power Set, Cardinality of a Set, Cardinality of a Power Set, Towards Set Operations

    • Lecture Slides : Slides 1-19 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

• Lecture 15 (09/09/2026)

  • • Lecture Summaries : Cartesian Product, Set Operations (Union, Intersection, Complement, Set Difference & Symmetric Difference), Universal Set, Venn Diagrams, and Applications of Set Operations. 

    • Lecture Slides : Slides 20-35 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

• Lecture 16 (10/09/2026)

  • • Lecture Summaries : Principle of Inclusion–Exclusion, Generalization of the Inclusion–Exclusion Principle, Practice Problems, Infinite Sets, and Cardinality of Infinite Sets. 

    • Lecture Slides : Slides 36-50 [Click] 

    • Recommended Readings : Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th Edition 

    • Practice Questions : To be Announced

3. Module 3: Advanced Algebraic Structures 

4. Module 4: Graph Theory – Core Concepts 

5. Module 5: Special Graphs