# Discrete Mathematical Structures

- Institution: IIT Madras
- Department: Computer Science and Engineering
- Teacher: Prof. Kamala Krithivasan
- Level: Undergraduate
- Language: English
- Subjects: Computer science, Engineering
- Source: [NPTEL](https://nptel.ac.in/courses/106106094)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/106106094)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Propositional Logic](https://invisiblenetwork.ai/learn/nptel/106106094/62418ca8fab9) (Video)
2. [Propositional Logic (Contd.)](https://invisiblenetwork.ai/learn/nptel/106106094/0f4d5070b7f9) (Video)
3. [Predicates & Quantifiers](https://invisiblenetwork.ai/learn/nptel/106106094/b7d9d57245d6) (Video)
4. [Predicates & Quantifiers (Contd.)](https://invisiblenetwork.ai/learn/nptel/106106094/4a321d7926da) (Video)
5. [Logical Inference](https://invisiblenetwork.ai/learn/nptel/106106094/e5a04a077ff8) (Video)
6. [Resolution Principles & Application to PROLOG](https://invisiblenetwork.ai/learn/nptel/106106094/b45f3efb367b) (Video)
7. [Methods of Proof](https://invisiblenetwork.ai/learn/nptel/106106094/e3247928f564) (Video)
8. [Normal Forms](https://invisiblenetwork.ai/learn/nptel/106106094/4a29eb420dae) (Video)
9. [Proving programs correct (Contd.)](https://invisiblenetwork.ai/learn/nptel/106106094/8491f3393c1c) (Video)
10. [Sets](https://invisiblenetwork.ai/learn/nptel/106106094/1b5db8386014) (Video)
11. [Induction](https://invisiblenetwork.ai/learn/nptel/106106094/09d1d29ce049) (Video)
12. [Set Operations On Strings](https://invisiblenetwork.ai/learn/nptel/106106094/9e0c138c867f) (Video)
13. [Relations](https://invisiblenetwork.ai/learn/nptel/106106094/c7a2ff192488) (Video)
14. [Graphs](https://invisiblenetwork.ai/learn/nptel/106106094/293f422c8815) (Video)
15. [Graphs (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/bf0f7df0f433) (Video)
16. [Trees](https://invisiblenetwork.ai/learn/nptel/106106094/83f16a1dbdb7) (Video)
17. [Trees And Graphs](https://invisiblenetwork.ai/learn/nptel/106106094/e9b9ee788946) (Video)
18. [Special Properties Of Relations](https://invisiblenetwork.ai/learn/nptel/106106094/69d43d7a9891) (Video)
19. [Closure Of Relations](https://invisiblenetwork.ai/learn/nptel/106106094/3483a522caca) (Video)
20. [Closure Properties Of Relations](https://invisiblenetwork.ai/learn/nptel/106106094/a48cd81780fc) (Video)
21. [Order Relations](https://invisiblenetwork.ai/learn/nptel/106106094/7267857e85ca) (Video)
22. [Order Relations And Equivalence Relations](https://invisiblenetwork.ai/learn/nptel/106106094/a9a177751a1f) (Video)
23. [Equivalence Relations And Partitions](https://invisiblenetwork.ai/learn/nptel/106106094/cfbd7311e28b) (Video)
24. [Functions](https://invisiblenetwork.ai/learn/nptel/106106094/5231bd706d71) (Video)
25. [Functions (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/8890b0f3dd58) (Video)
26. [Functions (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/94b8710ff489) (Video)
27. [Pigeonhole Principle](https://invisiblenetwork.ai/learn/nptel/106106094/8c3d585dc54b) (Video)
28. [Permutations And Combinations](https://invisiblenetwork.ai/learn/nptel/106106094/3ee9870aa251) (Video)
29. [Permutations And Combinations (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/04cb770eed6c) (Video)
30. [Generating Functions](https://invisiblenetwork.ai/learn/nptel/106106094/de764d6ccc7f) (Video)
31. [Generating Functions (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/2edd31f3cda4) (Video)
32. [Recurrence Relations](https://invisiblenetwork.ai/learn/nptel/106106094/3f3a93b972c4) (Video)
33. [Recurrence Relations (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/2ab85725bb44) (Video)
34. [Recurrence Relations (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/96b4625cdedd) (Video)
35. [Algebras](https://invisiblenetwork.ai/learn/nptel/106106094/41a16b3ad33c) (Video)
36. [Algebras (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/7aef583e7be3) (Video)
37. [Algebras (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/c407bf5ab5fd) (Video)
38. [Finite State Automaton](https://invisiblenetwork.ai/learn/nptel/106106094/c2aca305f1bb) (Video)
39. [Finite State Automaton (Continued)](https://invisiblenetwork.ai/learn/nptel/106106094/7838a5b77cd4) (Video)
40. [Lattices](https://invisiblenetwork.ai/learn/nptel/106106094/7f3b1d61e667) (Video)