| Module Name | Download |
|---|
| Sl.No | Chapter Name | MP4 Download |
|---|---|---|
| 1 | Introduction to Mathematical Logic | Download |
| 2 | Logical Equivalence | Download |
| 3 | SAT Problem | Download |
| 4 | Rules of Inference | Download |
| 5 | Resolution | Download |
| 6 | Tutorial 1: Part I | Download |
| 7 | Tutorial 1: Part II | Download |
| 8 | Predicate Logic | Download |
| 9 | Rules of Inferences in Predicate Logic | Download |
| 10 | Proof Strategies I | Download |
| 11 | Proof Strategies II | Download |
| 12 | Induction | Download |
| 13 | Tutorial 2: Part I | Download |
| 14 | Tutorial 2: Part II | Download |
| 15 | Sets | Download |
| 16 | Relations | Download |
| 17 | Operations on Relations | Download |
| 18 | Transitive Closure of Relations | Download |
| 19 | Warshall’s Algorithm for Computing Transitive Closure | Download |
| 20 | Tutorial 3 | Download |
| 21 | Equivalence Relation | Download |
| 22 | Equivalence Relations and Partitions | Download |
| 23 | Partial Ordering | Download |
| 24 | Functions | Download |
| 25 | Tutorial 4: Part I | Download |
| 26 | Tutorial 4: Part II | Download |
| 27 | Countable and Uncountable Sets | Download |
| 28 | Examples of Countably Infinite Sets | Download |
| 29 | Cantor’s Diagonalization Argument | Download |
| 30 | Uncomputable Functions | Download |
| 31 | Tutorial 5 | Download |
| 32 | Basic Rules of Counting | Download |
| 33 | Permutation and Combination | Download |
| 34 | Counting Using Recurrence Equations | Download |
| 35 | Solving Linear Homogeneous Recurrence Equations – Part I | Download |
| 36 | Solving Linear Homogeneous Recurrence Equations – Part II | Download |
| 37 | Tutorial 6: Part I | Download |
| 38 | Tutorial 6: Part II | Download |
| 39 | Solving Linear Non-Homogeneous Recurrence Equations | Download |
| 40 | Catalan Numbers | Download |
| 41 | Catalan Numbers – Derivation of Closed Form Formula | Download |
| 42 | Counting Using Principle of Inclusion-Exclusion | Download |
| 43 | Tutorial 7 | Download |
| Sl.No | Chapter Name | English |
|---|---|---|
| 1 | Introduction to Mathematical Logic | Download Verified |
| 2 | Logical Equivalence | Download Verified |
| 3 | SAT Problem | Download Verified |
| 4 | Rules of Inference | Download Verified |
| 5 | Resolution | PDF unavailable |
| 6 | Tutorial 1: Part I | PDF unavailable |
| 7 | Tutorial 1: Part II | PDF unavailable |
| 8 | Predicate Logic | PDF unavailable |
| 9 | Rules of Inferences in Predicate Logic | PDF unavailable |
| 10 | Proof Strategies I | PDF unavailable |
| 11 | Proof Strategies II | PDF unavailable |
| 12 | Induction | PDF unavailable |
| 13 | Tutorial 2: Part I | PDF unavailable |
| 14 | Tutorial 2: Part II | PDF unavailable |
| 15 | Sets | PDF unavailable |
| 16 | Relations | PDF unavailable |
| 17 | Operations on Relations | PDF unavailable |
| 18 | Transitive Closure of Relations | PDF unavailable |
| 19 | Warshall’s Algorithm for Computing Transitive Closure | PDF unavailable |
| 20 | Tutorial 3 | PDF unavailable |
| 21 | Equivalence Relation | PDF unavailable |
| 22 | Equivalence Relations and Partitions | PDF unavailable |
| 23 | Partial Ordering | PDF unavailable |
| 24 | Functions | PDF unavailable |
| 25 | Tutorial 4: Part I | PDF unavailable |
| 26 | Tutorial 4: Part II | PDF unavailable |
| 27 | Countable and Uncountable Sets | PDF unavailable |
| 28 | Examples of Countably Infinite Sets | PDF unavailable |
| 29 | Cantor’s Diagonalization Argument | PDF unavailable |
| 30 | Uncomputable Functions | PDF unavailable |
| 31 | Tutorial 5 | PDF unavailable |
| 32 | Basic Rules of Counting | PDF unavailable |
| 33 | Permutation and Combination | PDF unavailable |
| 34 | Counting Using Recurrence Equations | PDF unavailable |
| 35 | Solving Linear Homogeneous Recurrence Equations – Part I | PDF unavailable |
| 36 | Solving Linear Homogeneous Recurrence Equations – Part II | PDF unavailable |
| 37 | Tutorial 6: Part I | PDF unavailable |
| 38 | Tutorial 6: Part II | PDF unavailable |
| 39 | Solving Linear Non-Homogeneous Recurrence Equations | PDF unavailable |
| 40 | Catalan Numbers | PDF unavailable |
| 41 | Catalan Numbers – Derivation of Closed Form Formula | PDF unavailable |
| 42 | Counting Using Principle of Inclusion-Exclusion | PDF unavailable |
| 43 | Tutorial 7 | PDF unavailable |
| 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 |