Media Storage Type : 32 GB USB Stick
NPTEL Subject Matter Expert : Prof. Sourav Chakraborty
NPTEL Co-ordinating Institute : IIT Madras
NPTEL Lecture Count : 51
NPTEL Course Size : 3.0 GB
NPTEL PDF Text Transcription : Available and Included
NPTEL Subtitle Transcription : Available and Included (SRT)
Lecture Titles:
Lecture 1 - Course Introduction
Lecture 2 - Sets, Relations and Functions
Lecture 3 - Propositional Logic and Predicate Logic
Lecture 4 - Propositional Logic and Predicate Logic (Part 2)
Lecture 5 - Elementary Number Theory
Lecture 6 - Formal Proofs
Lecture 7 - Direct Proofs
Lecture 8 - Case Study
Lecture 9 - Case Study (Part 2)
Lecture 10 - Sets, Relations, Function and Logic
Lecture 11 - Proof by Contradiction (Part 1)
Lecture 12 - Proof by Contradiction (Part 2)
Lecture 13 - Proof by Contraposition
Lecture 14 - Proof by Counter Example
Lecture 15 - Mathematical Induction (Part 1)
Lecture 16 - Mathematical Induction (Part 2)
Lecture 17 - Mathematical Induction (Part 3)
Lecture 18 - Mathematical Induction (Part 4)
Lecture 19 - Mathematical Induction (Part 5)
Lecture 20 - Mathematical Induction (Part 6)
Lecture 21 - Mathematical Induction (Part 7)
Lecture 22 - Mathematical Induction (Part 8)
Lecture 23 - Introduction to Graph Theory
Lecture 24 - Handshake Problem
Lecture 25 - Tournament Problem
Lecture 26 - Tournament Problem (Part 2)
Lecture 27 - Ramsey Problem
Lecture 28 - Ramsey Problem (Part 2)
Lecture 29 - Properties of Graphs
Lecture 30 - Problem 1
Lecture 31 - Problem 2
Lecture 32 - Problem 3 & 4
Lecture 33 - Counting for Selection
Lecture 34 - Counting for Distribution
Lecture 35 - Counting for Distribution (Part 2)
Lecture 36 - Some Counting Problems
Lecture 37 - Counting using Recurrence Relations
Lecture 38 - Counting using Recurrence Relations (Part 2)
Lecture 39 - Solving Recurrence Relations (Part 1)
Lecture 40 - Solving Recurrence Relations (Part 2)
Lecture 41 - Asymptotic Relations (Part 1)
Lecture 42 - Asymptotic Relations (Part 2)
Lecture 43 - Asymptotic Relations (Part 3)
Lecture 44 - Asymptotic Relations (Part 4)
Lecture 45 - Generating Functions (Part 1)
Lecture 46 - Generating Functions (Part 2)
Lecture 47 - Generating Functions (Part 3)
Lecture 48 - Generating Functions (Part 4)
Lecture 49 - Proof Techniques
Lecture 50 - Modeling: Graph Theory and Linear Programming
Lecture 51 - Combinatorics