Modules / Lectures
Module NameDownload
Week_01_Assignment_01Week_01_Assignment_01
Week_02_Assignment_02Week_02_Assignment_02
Week_03_Assignment_03Week_03_Assignment_03
Week_04_Assignment_04Week_04_Assignment_04
Week_05_Assignment_05Week_05_Assignment_05
Week_06_Assignment_06Week_06_Assignment_06
Week_07_Assignment_07Week_07_Assignment_07
Week_08_Assignment_08Week_08_Assignment_08
Week_09_Assignment_09Week_09_Assignment_09
Week_10_Assignment_10Week_10_Assignment_10
Week_11_Assignment_11Week_11_Assignment_11
Week_12_Assignment_12Week_12_Assignment_12


Sl.No Chapter Name MP4 Download
1Lec 1: Boolean FunctionsDownload
2Lec 2: Propositional Calculus: IntroductionDownload
3Lec 3: First Order Logic: IntroductionDownload
4Lec 4: First Order Logic: Introduction (Cont'd)Download
5Lec 5: Proof System for PropcalDownload
6Lec 6: First Order Logic: wffs, interpretations, modelsDownload
7Lec 7: Soundness and Completeness of the First Order Proof SystemDownload
8Lec 8: Sets, Relations, FunctionsDownload
9Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set TheoryDownload
10Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable SetsDownload
11Lec 11: Introduction to graph theoryDownload
12Lec 12: Trees, Cycles , Graph coloringDownload
13Lec 13: Bipartitie GraphsDownload
14Lec 14: Bipartitie Graphs; Edge Coloring and MatchingDownload
15Lec 15: Planar GraphsDownload
16Lec 16: Graph Searching; BFS and DFSDownload
17Lec 17: Network FlowsDownload
18Lec 18: Counting Spanning Trees in Complete GraphsDownload
19Lec 19: Embedding of the theory of ral numbers in Set Theory; ParadoxesDownload
20Lec 20: ZF Axiomatization of Set TheoryDownload
21Lec 21: Partially ordering relationsDownload
22Lec 22: Natural numbers, divisorsDownload
23Lec 23: LatticesDownload
24Lec 24: GCD, Euclid's AlgorithmDownload
25Lec 25: Prime numbersDownload
26Lec 26: CongruencesDownload
27Lec 27: Pigeon Hole PrincipleDownload
28Lec 28: Stirling Numbers, Bell NumbersDownload
29Lec 29: Generating FunctionsDownload
30Lec 30: Product of Generating FunctionsDownload
31Lec 31: Composition of Generating FunctionDownload
32Lec 32: Principle of Inclusion ExclusionDownload
33Lec 33: Rook placement problemDownload
34Lec 34: Solution of CongruencesDownload
35Lec 35: Chinese Remainder TheoremDownload
36Lec 36: Totient; Congruences; Floor and Ceiling FunctionsDownload
37Lec 37: Introduction to GroupsDownload
38Lec 38: Modular Arithmetic and GroupsDownload
39Lec 39: Dihedral Groups, IsomorhphismsDownload
40Lec 40: Cyclic groups, Direct Products, SubgroupsDownload
41Lec 41: Cosets, Lagrange's theoremDownload
42Lec 42: Rings and FieldsDownload
43Lec 43: Construction of Finite FieldsDownload

Sl.No Chapter Name English
1Lec 1: Boolean FunctionsDownload
Verified
2Lec 2: Propositional Calculus: IntroductionDownload
Verified
3Lec 3: First Order Logic: IntroductionDownload
Verified
4Lec 4: First Order Logic: Introduction (Cont'd)Download
Verified
5Lec 5: Proof System for PropcalDownload
Verified
6Lec 6: First Order Logic: wffs, interpretations, modelsDownload
Verified
7Lec 7: Soundness and Completeness of the First Order Proof SystemDownload
Verified
8Lec 8: Sets, Relations, FunctionsDownload
To be verified
9Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set TheoryDownload
To be verified
10Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable SetsDownload
To be verified
11Lec 11: Introduction to graph theoryDownload
To be verified
12Lec 12: Trees, Cycles , Graph coloringDownload
To be verified
13Lec 13: Bipartitie GraphsDownload
To be verified
14Lec 14: Bipartitie Graphs; Edge Coloring and MatchingDownload
To be verified
15Lec 15: Planar GraphsDownload
To be verified
16Lec 16: Graph Searching; BFS and DFSDownload
To be verified
17Lec 17: Network FlowsDownload
To be verified
18Lec 18: Counting Spanning Trees in Complete GraphsDownload
To be verified
19Lec 19: Embedding of the theory of ral numbers in Set Theory; ParadoxesDownload
To be verified
20Lec 20: ZF Axiomatization of Set TheoryDownload
To be verified
21Lec 21: Partially ordering relationsDownload
To be verified
22Lec 22: Natural numbers, divisorsDownload
To be verified
23Lec 23: LatticesDownload
To be verified
24Lec 24: GCD, Euclid's AlgorithmDownload
To be verified
25Lec 25: Prime numbersDownload
To be verified
26Lec 26: CongruencesDownload
To be verified
27Lec 27: Pigeon Hole PrincipleDownload
To be verified
28Lec 28: Stirling Numbers, Bell NumbersDownload
To be verified
29Lec 29: Generating FunctionsDownload
To be verified
30Lec 30: Product of Generating FunctionsDownload
To be verified
31Lec 31: Composition of Generating FunctionDownload
To be verified
32Lec 32: Principle of Inclusion ExclusionDownload
To be verified
33Lec 33: Rook placement problemDownload
To be verified
34Lec 34: Solution of CongruencesDownload
To be verified
35Lec 35: Chinese Remainder TheoremDownload
To be verified
36Lec 36: Totient; Congruences; Floor and Ceiling FunctionsDownload
To be verified
37Lec 37: Introduction to GroupsDownload
To be verified
38Lec 38: Modular Arithmetic and GroupsDownload
To be verified
39Lec 39: Dihedral Groups, IsomorhphismsDownload
To be verified
40Lec 40: Cyclic groups, Direct Products, SubgroupsDownload
To be verified
41Lec 41: Cosets, Lagrange's theoremDownload
To be verified
42Lec 42: Rings and FieldsDownload
To be verified
43Lec 43: Construction of Finite FieldsDownload
To be verified


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