Discrete Mathematical Structures

Discrete Mathematical Structures
Lectures by Prof. Kamala Krithivasan, Department of Computer Science and Engineering, 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....)