Discrete Mathematical Structures

Lecturer: Prof. Kamala Krithivasan
College/University: Indian Institute of Technology Madras

1. Propositional Logic (First Part)
   
2. Propositional Logic (Second Part)
   
3. Predicates and Quantifiers (First Part)
   
4. Predicates and Quantifiers (Second Part)
   
5. Logical Inference
   
6. Resolution Principles and Application to PROLOG
   
7. Methods of Proof
   
8. Normal Forms
   
9. Proving Programs Correct
   
10. Sets
    
11. Induction
    
12. Set Operations on Strings over Alphabet
    
13. Relations
    
14. Graphs (First Part)
    
15. Graphs (Second Part)
    
16. Trees
    
17. Trees and Graphs
    
18. Special Properties of Relations
    
19. Closure of Relations (First Part)
    
20. Closure of Relations (Second Part)
    
21. Order Relations
    
22. Order and Relations and Equivalence Relations
    
23. Equivalence Relations and Partitions
    
24. Functions (First Part)
    
25. Functions (Second Part)
    
26. Functions (Third Part)
    
27. Permutations and Combinations (First Part)
    
28. Permutations and Combinations (Second Part)
    
29. Permutations and Combinations (Third Part)
    
30. Generating Functions (First Part)
    
31. Generating Functions (Second Part)
    
32. Recurrence Relations (First Part)
    
33. Recurrence Relations (Second Part)
    
34. Recurrence Relations (Third Part)
    
35. Algebras (First Part)
    
36. Algebras (Second Part)
    
37. Algebras (Third Part)
    
38. Finite State Automaton (First Part)
    
39. Finite State Automaton (Second Part)
    
40. Lattices