Discrete Mathematical Structures - Complete course Video Tutorials from IIT Madras

Lecture 1 - Propositional Logic

Lecture 2 - Propositional Logic (Contd.)

Lecture 3 - Predicates & Quantifiers

Lecture 4 - Predicates & Quantifiers (Contd.)

Lecture 5 -Logical Inference

Lecture 6 -Resolution Principles & Application to PROLOG

Lecture 7 - Methods of Proof

Lecture 8 - Normal Forms

Lecture 9 - Proving programs correct

Lecture 10 - Sets

Lecture 11 - Induction

Lecture 12 - Set Operations on Strings Over an Alphabet

Lecture 13 - Relations

Lecture 14- Graphs

Lecture 15 - Graphs (Contd.)

Lecture 16 - Trees

Lecture 17 - Trees and Graphs

Lecture 18 - Special Properties of Relations

Lecture -19 - Closure of Relations

Lecture 20 - Closure of Relations (Contd.)

Lecture 21 - Order Relations

Lecture 22 - Order and Relations and Equivalence Relations

Lecture 23 - Equivalence relations and partitions

Lecture 24 - Functions

Lecture 25 - Functions (Contd.)

Lectures 26 - Functions (Contd.)

Lecture 27-Pigeonhole Principle

Lecture 28 - Permutations and combinations

Lecture 29 - Permutations and Combinations(Contd...)

Lecture 30 - Generating Functions

Lecture 31- Generating Functions

Lecture 32 - Recurrence Relations

Lecture 33 - Recurrence Relations

Lecture 34-Recurrence Relations(contd..)

Lecture 35-Algebras

Lecture 36-Algebras(contd...)

Lecture 37-Algebras(contd...)

Lecture 38-Finite State Automaton

Lecture 39-Finite State Automaton(contd....)

Lecture 40-Lattices

Cheers,
Ankur