Modules / Lectures


Sl.No Chapter Name MP4 Download
1Introduction to Mathematical LogicDownload
2Logical EquivalenceDownload
3SAT ProblemDownload
4Rules of InferenceDownload
5ResolutionDownload
6Tutorial 1: Part IDownload
7Tutorial 1: Part IIDownload
8Predicate LogicDownload
9Rules of Inferences in Predicate LogicDownload
10Proof Strategies IDownload
11Proof Strategies IIDownload
12InductionDownload
13Tutorial 2: Part IDownload
14Tutorial 2: Part IIDownload
15SetsDownload
16RelationsDownload
17Operations on RelationsDownload
18Transitive Closure of RelationsDownload
19Warshall’s Algorithm for Computing Transitive ClosureDownload
20Tutorial 3Download
21Equivalence RelationDownload
22Equivalence Relations and PartitionsDownload
23Partial OrderingDownload
24FunctionsDownload
25Tutorial 4: Part IDownload
26Tutorial 4: Part IIDownload
27Countable and Uncountable SetsDownload
28Examples of Countably Infinite SetsDownload
29Cantor’s Diagonalization ArgumentDownload
30Uncomputable FunctionsDownload
31Tutorial 5Download
32Basic Rules of CountingDownload
33Permutation and CombinationDownload
34Counting Using Recurrence EquationsDownload
35Solving Linear Homogeneous Recurrence Equations – Part IDownload
36Solving Linear Homogeneous Recurrence Equations – Part IIDownload
37Tutorial 6: Part IDownload
38Tutorial 6: Part IIDownload
39Solving Linear Non-Homogeneous Recurrence EquationsDownload
40Catalan NumbersDownload
41Catalan Numbers – Derivation of Closed Form FormulaDownload
42Counting Using Principle of Inclusion-ExclusionDownload
43Tutorial 7Download
44Graph Theory BasicsDownload
45MatchingDownload
46Proof of Hall’s Marriage TheoremDownload
47Various Operations on GraphsDownload
48Vertex and Edge ConnectivityDownload
49Tutorial 8Download
50Euler Path and Euler CircuitDownload
51Hamiltonian CircuitDownload
52Vertex and Edge ColoringDownload
53Tutorial 9: Part IDownload
54Tutorial 9: Part IIDownload
55Modular ArithmeticDownload
56Prime Numbers and GCDDownload
57Properties of GCD and Bézout’s TheoremDownload
58Linear Congruence Equations and Chinese Remainder TheoremDownload
59Uniqueness Proof of the CRTDownload
60Fermat’s Little Theorem, Primality Testing and Carmichael NumbersDownload
61Group TheoryDownload
62Cyclic GroupsDownload
63SubgroupsDownload
64More Applications of GroupsDownload
65Discrete Logarithm and Cryptographic Applications Download
66Rings, Fields and PolynomialsDownload
67Polynomials Over Fields and PropertiesDownload
68Finite Fields and Properties IDownload
69Finite Fields and Properties IIDownload
70Primitive Element of a Finite FieldDownload
71Applications of Finite FieldsDownload
72Goodbye and FarewellDownload

Sl.No Chapter Name English
1Introduction to Mathematical LogicDownload
Verified
2Logical EquivalenceDownload
Verified
3SAT ProblemDownload
Verified
4Rules of InferenceDownload
Verified
5ResolutionDownload
Verified
6Tutorial 1: Part IDownload
Verified
7Tutorial 1: Part IIDownload
Verified
8Predicate LogicDownload
Verified
9Rules of Inferences in Predicate LogicDownload
Verified
10Proof Strategies IDownload
Verified
11Proof Strategies IIDownload
Verified
12InductionDownload
Verified
13Tutorial 2: Part IDownload
Verified
14Tutorial 2: Part IIDownload
Verified
15SetsDownload
Verified
16RelationsDownload
Verified
17Operations on RelationsDownload
Verified
18Transitive Closure of RelationsDownload
Verified
19Warshall’s Algorithm for Computing Transitive ClosureDownload
Verified
20Tutorial 3Download
Verified
21Equivalence RelationDownload
Verified
22Equivalence Relations and PartitionsDownload
Verified
23Partial OrderingDownload
Verified
24FunctionsDownload
Verified
25Tutorial 4: Part IDownload
Verified
26Tutorial 4: Part IIDownload
Verified
27Countable and Uncountable SetsDownload
Verified
28Examples of Countably Infinite SetsDownload
Verified
29Cantor’s Diagonalization ArgumentDownload
Verified
30Uncomputable FunctionsDownload
Verified
31Tutorial 5Download
Verified
32Basic Rules of CountingDownload
Verified
33Permutation and CombinationDownload
Verified
34Counting Using Recurrence EquationsDownload
Verified
35Solving Linear Homogeneous Recurrence Equations – Part IDownload
Verified
36Solving Linear Homogeneous Recurrence Equations – Part IIDownload
Verified
37Tutorial 6: Part IDownload
Verified
38Tutorial 6: Part IIDownload
Verified
39Solving Linear Non-Homogeneous Recurrence EquationsDownload
Verified
40Catalan NumbersDownload
Verified
41Catalan Numbers – Derivation of Closed Form FormulaDownload
Verified
42Counting Using Principle of Inclusion-ExclusionDownload
Verified
43Tutorial 7Download
Verified
44Graph Theory BasicsDownload
Verified
45MatchingDownload
Verified
46Proof of Hall’s Marriage TheoremDownload
Verified
47Various Operations on GraphsDownload
Verified
48Vertex and Edge ConnectivityDownload
Verified
49Tutorial 8Download
Verified
50Euler Path and Euler CircuitDownload
Verified
51Hamiltonian CircuitDownload
Verified
52Vertex and Edge ColoringDownload
Verified
53Tutorial 9: Part IDownload
Verified
54Tutorial 9: Part IIDownload
Verified
55Modular ArithmeticDownload
Verified
56Prime Numbers and GCDDownload
Verified
57Properties of GCD and Bézout’s TheoremDownload
Verified
58Linear Congruence Equations and Chinese Remainder TheoremDownload
Verified
59Uniqueness Proof of the CRTDownload
Verified
60Fermat’s Little Theorem, Primality Testing and Carmichael NumbersDownload
Verified
61Group TheoryDownload
Verified
62Cyclic GroupsDownload
Verified
63SubgroupsDownload
Verified
64More Applications of GroupsDownload
Verified
65Discrete Logarithm and Cryptographic Applications Download
Verified
66Rings, Fields and PolynomialsDownload
Verified
67Polynomials Over Fields and PropertiesDownload
Verified
68Finite Fields and Properties IDownload
Verified
69Finite Fields and Properties IIDownload
Verified
70Primitive Element of a Finite FieldDownload
Verified
71Applications of Finite FieldsDownload
Verified
72Goodbye and FarewellDownload
Verified


Sl.No Language Book link
1EnglishDownload
2BengaliNot Available
3GujaratiNot Available
4HindiNot Available
5KannadaNot Available
6MalayalamNot Available
7MarathiNot Available
8TamilNot Available
9TeluguNot Available