Module NameDownload


Sl.No Chapter Name MP4 Download Transcript Download
1Lec 1: Boolean FunctionsDownloadPDF unavailable
2Lec 2: Propositional Calculus: IntroductionDownloadPDF unavailable
3Lec 3: First Order Logic: IntroductionDownloadPDF unavailable
4Lec 4: First Order Logic: Introduction (Cont'd)DownloadPDF unavailable
5Lec 5: Proof System for PropcalDownloadPDF unavailable
6Lec 6: First Order Logic: wffs, interpretations, modelsDownloadPDF unavailable
7Lec 7: Soundness and Completeness of the First Order Proof SystemDownloadPDF unavailable
8Lec 8: Sets, Relations, FunctionsDownloadPDF unavailable
9Lec 9: Functions, Embedding of the theories of naturals numbers and integers in Set TheoryDownloadPDF unavailable
10Lec 10: Embedding of the theories of integers and rational numbers in Set Theory; Countable SetsDownloadPDF unavailable
11Lec 11: Introduction to graph theoryDownloadPDF unavailable
12Lec 12: Trees, Cycles , Graph coloringDownloadPDF unavailable
13Lec 13: Bipartitie GraphsDownloadPDF unavailable
14Lec 14: Bipartitie Graphs; Edge Coloring and MatchingDownloadPDF unavailable
15Lec 15: Planar GraphsDownloadPDF unavailable
16Lec 16: Graph Searching; BFS and DFSDownloadPDF unavailable
17Lec 17: Network FlowsDownloadPDF unavailable
18Lec 18: Counting Spanning Trees in Complete GraphsDownloadPDF unavailable
19Lec 19: Embedding of the theory of ral numbers in Set Theory; ParadoxesDownloadPDF unavailable
20Lec 20: ZF Axiomatization of Set TheoryDownloadPDF unavailable
21Lec 21: Partially ordering relationsDownloadPDF unavailable
22Lec 22: Natural numbers, divisorsDownloadPDF unavailable
23Lec 27: Pigeon Hole PrincipleDownloadPDF unavailable
24Lec 28: Stirling Numbers, Bell NumbersDownloadPDF unavailable
25Lec 29: Generating FunctionsDownloadPDF unavailable
26Lec 30: Product of Generating FunctionsDownloadPDF unavailable