| Module Name | Download |
|---|---|
| Week_01_Assignment_01 | Week_01_Assignment_01 |
| Week_02_Assignment_02 | Week_02_Assignment_02 |
| Week_03_Assignment_03 | Week_03_Assignment_03 |
| Week_04_Assignment_04 | Week_04_Assignment_04 |
| Week_05_Assignment_05 | Week_05_Assignment_05 |
| Week_06_Assignment_06 | Week_06_Assignment_06 |
| Week_07_Assignment_07 | Week_07_Assignment_07 |
| Week_08_Assignment_08 | Week_08_Assignment_08 |
| Week_09_Assignment_09 | Week_09_Assignment_09 |
| Week_10_Assignment_10 | Week_10_Assignment_10 |
| Week_11_Assignment_11 | Week_11_Assignment_11 |
| Week_12_Assignment_12 | Week_12_Assignment_12 |
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | Lec 1: Boolean Functions | Download |
| 2 | Lec 2: Propositional Calculus: Introduction | Download |
| 3 | Lec 3: First Order Logic: Introduction | Download |
| 4 | Lec 4: First Order Logic: Introduction (Cont'd) | Download |
| 5 | Lec 5: Proof System for Propcal | Download |
| 6 | Lec 6: First Order Logic: wffs, interpretations, models | Download |
| 7 | Lec 7: Soundness and Completeness of the First Order Proof System | Download |
| 8 | Lec 8: Sets, Relations, Functions | Download |
| 9 | Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set Theory | Download |
| 10 | Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable Sets | Download |
| 11 | Lec 11: Introduction to graph theory | Download |
| 12 | Lec 12: Trees, Cycles , Graph coloring | Download |
| 13 | Lec 13: Bipartitie Graphs | Download |
| 14 | Lec 14: Bipartitie Graphs; Edge Coloring and Matching | Download |
| 15 | Lec 15: Planar Graphs | Download |
| 16 | Lec 16: Graph Searching; BFS and DFS | Download |
| 17 | Lec 17: Network Flows | Download |
| 18 | Lec 18: Counting Spanning Trees in Complete Graphs | Download |
| 19 | Lec 19: Embedding of the theory of ral numbers in Set Theory; Paradoxes | Download |
| 20 | Lec 20: ZF Axiomatization of Set Theory | Download |
| 21 | Lec 21: Partially ordering relations | Download |
| 22 | Lec 22: Natural numbers, divisors | Download |
| 23 | Lec 23: Lattices | Download |
| 24 | Lec 24: GCD, Euclid's Algorithm | Download |
| 25 | Lec 25: Prime numbers | Download |
| 26 | Lec 26: Congruences | Download |
| 27 | Lec 27: Pigeon Hole Principle | Download |
| 28 | Lec 28: Stirling Numbers, Bell Numbers | Download |
| 29 | Lec 29: Generating Functions | Download |
| 30 | Lec 30: Product of Generating Functions | Download |
| 31 | Lec 31: Composition of Generating Function | Download |
| 32 | Lec 32: Principle of Inclusion Exclusion | Download |
| 33 | Lec 33: Rook placement problem | Download |
| 34 | Lec 34: Solution of Congruences | Download |
| 35 | Lec 35: Chinese Remainder Theorem | Download |
| 36 | Lec 36: Totient; Congruences; Floor and Ceiling Functions | Download |
| 37 | Lec 37: Introduction to Groups | Download |
| 38 | Lec 38: Modular Arithmetic and Groups | Download |
| 39 | Lec 39: Dihedral Groups, Isomorhphisms | Download |
| 40 | Lec 40: Cyclic groups, Direct Products, Subgroups | Download |
| 41 | Lec 41: Cosets, Lagrange's theorem | Download |
| 42 | Lec 42: Rings and Fields | Download |
| 43 | Lec 43: Construction of Finite Fields | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | Lec 1: Boolean Functions | Download Verified |
| 2 | Lec 2: Propositional Calculus: Introduction | Download Verified |
| 3 | Lec 3: First Order Logic: Introduction | Download Verified |
| 4 | Lec 4: First Order Logic: Introduction (Cont'd) | Download Verified |
| 5 | Lec 5: Proof System for Propcal | Download Verified |
| 6 | Lec 6: First Order Logic: wffs, interpretations, models | Download Verified |
| 7 | Lec 7: Soundness and Completeness of the First Order Proof System | Download Verified |
| 8 | Lec 8: Sets, Relations, Functions | Download Verified |
| 9 | Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set Theory | Download Verified |
| 10 | Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable Sets | Download Verified |
| 11 | Lec 11: Introduction to graph theory | Download Verified |
| 12 | Lec 12: Trees, Cycles , Graph coloring | Download Verified |
| 13 | Lec 13: Bipartitie Graphs | Download Verified |
| 14 | Lec 14: Bipartitie Graphs; Edge Coloring and Matching | Download Verified |
| 15 | Lec 15: Planar Graphs | Download Verified |
| 16 | Lec 16: Graph Searching; BFS and DFS | Download Verified |
| 17 | Lec 17: Network Flows | Download Verified |
| 18 | Lec 18: Counting Spanning Trees in Complete Graphs | Download Verified |
| 19 | Lec 19: Embedding of the theory of ral numbers in Set Theory; Paradoxes | Download Verified |
| 20 | Lec 20: ZF Axiomatization of Set Theory | Download Verified |
| 21 | Lec 21: Partially ordering relations | Download Verified |
| 22 | Lec 22: Natural numbers, divisors | Download Verified |
| 23 | Lec 23: Lattices | Download Verified |
| 24 | Lec 24: GCD, Euclid's Algorithm | Download Verified |
| 25 | Lec 25: Prime numbers | Download Verified |
| 26 | Lec 26: Congruences | Download Verified |
| 27 | Lec 27: Pigeon Hole Principle | Download Verified |
| 28 | Lec 28: Stirling Numbers, Bell Numbers | Download Verified |
| 29 | Lec 29: Generating Functions | Download Verified |
| 30 | Lec 30: Product of Generating Functions | Download Verified |
| 31 | Lec 31: Composition of Generating Function | Download Verified |
| 32 | Lec 32: Principle of Inclusion Exclusion | Download Verified |
| 33 | Lec 33: Rook placement problem | Download Verified |
| 34 | Lec 34: Solution of Congruences | Download Verified |
| 35 | Lec 35: Chinese Remainder Theorem | Download Verified |
| 36 | Lec 36: Totient; Congruences; Floor and Ceiling Functions | Download Verified |
| 37 | Lec 37: Introduction to Groups | Download Verified |
| 38 | Lec 38: Modular Arithmetic and Groups | Download Verified |
| 39 | Lec 39: Dihedral Groups, Isomorhphisms | Download Verified |
| 40 | Lec 40: Cyclic groups, Direct Products, Subgroups | Download Verified |
| 41 | Lec 41: Cosets, Lagrange's theorem | Download Verified |
| 42 | Lec 42: Rings and Fields | Download Verified |
| 43 | Lec 43: Construction of Finite Fields | Download Verified |
| Sl.No | Language | Book link |
|---|---|---|
| 1 | English | Not Available |
| 2 | Bengali | Not Available |
| 3 | Gujarati | Not Available |
| 4 | Hindi | Not Available |
| 5 | Kannada | Not Available |
| 6 | Malayalam | Not Available |
| 7 | Marathi | Not Available |
| 8 | Tamil | Not Available |
| 9 | Telugu | Not Available |