# Discrete Mathematics

- Institution: IIT Roorkee
- Department: Mathematics
- Taught by: Dr. Sugata Gangopadhyay, Dr. Aditi Gangopadhyay
- Level: Undergraduate
- Language: English
- Subjects: Mathematics
- Source: [NPTEL](https://nptel.ac.in/courses/111107058)
- Licence: [CC BY-NC-SA](https://nptel.ac.in/faq) (Non-commercial use only.)
- Syllabus: [at the source](https://nptel.ac.in/courses/111107058)
- Who can watch: Tweens profiles and older (sources give no ratings; placed by Invisible Network from the source's own words)

## Lectures

1. [Introduction to the theory of sets](https://invisiblenetwork.ai/learn/nptel/111107058/d32ab160dcbe) (Video)
2. [Set operation and laws of set operation](https://invisiblenetwork.ai/learn/nptel/111107058/85f215ded9c7) (Video)
3. [The principle of inclusion and exclusion](https://invisiblenetwork.ai/learn/nptel/111107058/1a592ac3dd6d) (Video)
4. [Application of the principle of inclusion and exclusion](https://invisiblenetwork.ai/learn/nptel/111107058/169a6d2d2d79) (Video)
5. [Fundamentals of logic](https://invisiblenetwork.ai/learn/nptel/111107058/ca0378a33bda) (Video)
6. [Logical Inferences](https://invisiblenetwork.ai/learn/nptel/111107058/46f010dd44d0) (Video)
7. [Methods of proof of an implication](https://invisiblenetwork.ai/learn/nptel/111107058/0c6b49a3f91a) (Video)
8. [First order logic(1)](https://invisiblenetwork.ai/learn/nptel/111107058/5d63099a382c) (Video)
9. [First order logic(2)](https://invisiblenetwork.ai/learn/nptel/111107058/e86702b00f76) (Video)
10. [Rules of influence for quantified propositions](https://invisiblenetwork.ai/learn/nptel/111107058/cd649cdf1be8) (Video)
11. [Mathematical Induction(1)](https://invisiblenetwork.ai/learn/nptel/111107058/6c9b280ca2eb) (Video)
12. [Mathematical Induction(2)](https://invisiblenetwork.ai/learn/nptel/111107058/7f8204a1ec35) (Video)
13. [Sample space, events](https://invisiblenetwork.ai/learn/nptel/111107058/76d5a95220d6) (Video)
14. [Probability, conditional probability](https://invisiblenetwork.ai/learn/nptel/111107058/959eaea21b6d) (Video)
15. [Independent events, Bayes theorem](https://invisiblenetwork.ai/learn/nptel/111107058/12f561ebf287) (Video)
16. [Information and mutual information](https://invisiblenetwork.ai/learn/nptel/111107058/99628fe86c9b) (Video)
17. [Basic definition](https://invisiblenetwork.ai/learn/nptel/111107058/f9c98c71970d) (Video)
18. [Isomorphism and sub graphs](https://invisiblenetwork.ai/learn/nptel/111107058/7e48db29486c) (Video)
19. [Walks, paths and circuits operations on graphs](https://invisiblenetwork.ai/learn/nptel/111107058/051342d5a548) (Video)
20. [Euler graphs, Hamiltonian circuits](https://invisiblenetwork.ai/learn/nptel/111107058/ccc868947b74) (Video)
21. [Shortest path problem](https://invisiblenetwork.ai/learn/nptel/111107058/ecbacb78fc6d) (Video)
22. [Planar graphs](https://invisiblenetwork.ai/learn/nptel/111107058/2443a0644690) (Video)
23. [Basic definition.](https://invisiblenetwork.ai/learn/nptel/111107058/262223407413) (Video)
24. [Properties of relations](https://invisiblenetwork.ai/learn/nptel/111107058/ed18bbb67c57) (Video)
25. [Graph of relations](https://invisiblenetwork.ai/learn/nptel/111107058/98e12c2a5ebb) (Video)
26. [Matrix of relation](https://invisiblenetwork.ai/learn/nptel/111107058/2c21ea526043) (Video)
27. [Closure of relaton(1)](https://invisiblenetwork.ai/learn/nptel/111107058/37e989d761d8) (Video)
28. [Closure of relaton(2)](https://invisiblenetwork.ai/learn/nptel/111107058/ed4182f3a135) (Video)
29. [Warshall's algorithm](https://invisiblenetwork.ai/learn/nptel/111107058/a3ecc6d8be09) (Video)
30. [Partially ordered relation](https://invisiblenetwork.ai/learn/nptel/111107058/0a0d3349c18c) (Video)
31. [Partially ordered sets](https://invisiblenetwork.ai/learn/nptel/111107058/d44fd3e627e7) (Video)
32. [Lattices](https://invisiblenetwork.ai/learn/nptel/111107058/25df611434cb) (Video)
33. [Boolean algebra](https://invisiblenetwork.ai/learn/nptel/111107058/d3063b2333e1) (Video)
34. [Boolean function(1)](https://invisiblenetwork.ai/learn/nptel/111107058/5115570b3103) (Video)
35. [Boolean function(2)](https://invisiblenetwork.ai/learn/nptel/111107058/3b80f664f547) (Video)
36. [Discrete numeric function](https://invisiblenetwork.ai/learn/nptel/111107058/f3af3f9d2f8c) (Video)
37. [Generating function](https://invisiblenetwork.ai/learn/nptel/111107058/9b1b524dbc23) (Video)
38. [Introduction to recurrence relations](https://invisiblenetwork.ai/learn/nptel/111107058/bf9f98ae330d) (Video)
39. [Second order recurrence relation with constant coefficients(1)](https://invisiblenetwork.ai/learn/nptel/111107058/9f9f0e119de1) (Video)
40. [Second order recurrence relation with constant coefficients(2)](https://invisiblenetwork.ai/learn/nptel/111107058/c98bf1897409) (Video)
41. [Application of recurrence relation](https://invisiblenetwork.ai/learn/nptel/111107058/91a087e02b1a) (Video)