# Discrete Mathematics

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

## Lectures

1. [Lec 1: Boolean Functions](https://invisiblenetwork.ai/learn/nptel/106103205/024395b0d604) (Video)
2. [Lec 2: Propositional Calculus: Introduction](https://invisiblenetwork.ai/learn/nptel/106103205/3d39ccfc53b7) (Video)
3. [Lec 3: First Order Logic: Introduction](https://invisiblenetwork.ai/learn/nptel/106103205/6a2ef044b9c4) (Video)
4. [Lec 4: First Order Logic: Introduction (Cont'd)](https://invisiblenetwork.ai/learn/nptel/106103205/d51e0d6e2d47) (Video)
5. [Lec 5: Proof System for Propcal](https://invisiblenetwork.ai/learn/nptel/106103205/c7febc0e0ffe) (Video)
6. [Lec 6: First Order Logic: wffs, interpretations, models](https://invisiblenetwork.ai/learn/nptel/106103205/6477b91f3c06) (Video)
7. [Lec 7: Soundness and Completeness of the First Order Proof System](https://invisiblenetwork.ai/learn/nptel/106103205/3e788ea93216) (Video)
8. [Lec 8: Sets, Relations, Functions](https://invisiblenetwork.ai/learn/nptel/106103205/a996d63de6c5) (Video)
9. [Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set Theory](https://invisiblenetwork.ai/learn/nptel/106103205/5940a02002c1) (Video)
10. [Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable Sets](https://invisiblenetwork.ai/learn/nptel/106103205/3ec2ececab68) (Video)
11. [Lec 11: Introduction to graph theory](https://invisiblenetwork.ai/learn/nptel/106103205/b6672a6cb124) (Video)
12. [Lec 12: Trees, Cycles , Graph coloring](https://invisiblenetwork.ai/learn/nptel/106103205/a39efeee15ac) (Video)
13. [Lec 13: Bipartitie Graphs](https://invisiblenetwork.ai/learn/nptel/106103205/6d8241afe790) (Video)
14. [Lec 14: Bipartitie Graphs; Edge Coloring and Matching](https://invisiblenetwork.ai/learn/nptel/106103205/3a5fda8e46ce) (Video)
15. [Lec 15: Planar Graphs](https://invisiblenetwork.ai/learn/nptel/106103205/2048c5245be2) (Video)
16. [Lec 16: Graph Searching; BFS and DFS](https://invisiblenetwork.ai/learn/nptel/106103205/5d34c06167ba) (Video)
17. [Lec 17: Network Flows](https://invisiblenetwork.ai/learn/nptel/106103205/c97a6f6dc82d) (Video)
18. [Lec 18: Counting Spanning Trees in Complete Graphs](https://invisiblenetwork.ai/learn/nptel/106103205/ee3cd272b898) (Video)
19. [Lec 19: Embedding of the theory of ral numbers in Set Theory; Paradoxes](https://invisiblenetwork.ai/learn/nptel/106103205/bd71f2a201fa) (Video)
20. [Lec 20: ZF Axiomatization of Set Theory](https://invisiblenetwork.ai/learn/nptel/106103205/23f633bbd1f1) (Video)
21. [Lec 21: Partially ordering relations](https://invisiblenetwork.ai/learn/nptel/106103205/7e6444e5a992) (Video)
22. [Lec 22: Natural numbers, divisors](https://invisiblenetwork.ai/learn/nptel/106103205/86b63f9b6474) (Video)
23. [Lec 23: Lattices](https://invisiblenetwork.ai/learn/nptel/106103205/c648d15ee522) (Video)
24. [Lec 24: GCD, Euclid's Algorithm](https://invisiblenetwork.ai/learn/nptel/106103205/7c3f788d558b) (Video)
25. [Lec 25: Prime numbers](https://invisiblenetwork.ai/learn/nptel/106103205/9dae87bdb071) (Video)
26. [Lec 26: Congruences](https://invisiblenetwork.ai/learn/nptel/106103205/eeb3bd2f8311) (Video)
27. [Lec 27: Pigeon Hole Principle](https://invisiblenetwork.ai/learn/nptel/106103205/2525fdcd4b08) (Video)
28. [Lec 28: Stirling Numbers, Bell Numbers](https://invisiblenetwork.ai/learn/nptel/106103205/8ea71e5b6057) (Video)
29. [Lec 29: Generating Functions](https://invisiblenetwork.ai/learn/nptel/106103205/80e6cac3e160) (Video)
30. [Lec 30: Product of Generating Functions](https://invisiblenetwork.ai/learn/nptel/106103205/e299f4519864) (Video)
31. [Lec 31: Composition of Generating Function](https://invisiblenetwork.ai/learn/nptel/106103205/d1beb1163ac7) (Video)
32. [Lec 32: Principle of Inclusion Exclusion](https://invisiblenetwork.ai/learn/nptel/106103205/80eabbd9d08e) (Video)
33. [Lec 33: Rook placement problem](https://invisiblenetwork.ai/learn/nptel/106103205/5aa97ac6e61a) (Video)
34. [Lec 34: Solution of Congruences](https://invisiblenetwork.ai/learn/nptel/106103205/55d5e6b1a427) (Video)
35. [Lec 35: Chinese Remainder Theorem](https://invisiblenetwork.ai/learn/nptel/106103205/7cb4d7715345) (Video)
36. [Lec 36: Totient; Congruences; Floor and Ceiling Functions](https://invisiblenetwork.ai/learn/nptel/106103205/9d75a74501ce) (Video)
37. [Lec 37: Introduction to Groups](https://invisiblenetwork.ai/learn/nptel/106103205/4bb597918c27) (Video)
38. [Lec 38: Modular Arithmetic and Groups](https://invisiblenetwork.ai/learn/nptel/106103205/83ebfc36f434) (Video)
39. [Lec 39: Dihedral Groups, Isomorhphisms](https://invisiblenetwork.ai/learn/nptel/106103205/a8a2d3a17def) (Video)
40. [Lec 40: Cyclic groups, Direct Products, Subgroups](https://invisiblenetwork.ai/learn/nptel/106103205/b8d0c73b2d90) (Video)
41. [Lec 41: Cosets, Lagrange's theorem](https://invisiblenetwork.ai/learn/nptel/106103205/fa454705793f) (Video)
42. [Lec 42: Rings and Fields](https://invisiblenetwork.ai/learn/nptel/106103205/bc6a277a1724) (Video)
43. [Lec 43: Construction of Finite Fields](https://invisiblenetwork.ai/learn/nptel/106103205/3fb4d72b31fa) (Video)
44. [Live Session 04-09-2019](https://invisiblenetwork.ai/learn/nptel/106103205/024395b0d604-2) (Video)
45. [Live Session 30-09-2019](https://invisiblenetwork.ai/learn/nptel/106103205/3d39ccfc53b7-2) (Video)