Lecture 7 of 51Proof Techniques (Part 1)
Direct Proofs
Prof. SouravChakraborty · Chennai Mathematical Institute
Credits and licence
- From
- Discrete Mathematics, Chennai Mathematical Institute (at NPTEL)
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge. Coordinated by IIT Madras.
- Who can watch
- Tweens profiles and older. How courses are placed
All the lectures
- Course Introduction
- Sets, Relations and Functions
- Propositional Logic and Predicate Logic
- Propositional Logic and Predicate Logic (Part 2)
- Elementary Number Theory
- Formal Proofs
- Direct Proofs
- Case Study
- Case Study (Part 2)
- Sets, Relations, Function and Logic
- Proof by Contradiction (Part 1)
- Proof by Contradiction (Part 2)
- Proof by Contraposition
- Proof by Counter Example
- Mathematical Induction (Part 1)
- Mathematical Induction (Part 2)
- Mathematical Induction (Part 3)
- Mathematical Induction (Part 4)
- Mathematical Induction (Part 5)
- Mathematical Induction (Part 6)
- Mathematical Induction (Part 7)
- Mathematical Induction (Part 8)
- Introduction to Graph Theory
- Handshake Problem
- Tournament Problem
- Tournament Problem (Part 2)
- Ramsey Problem
- Ramsey Problem (Part 2)
- Properties of Graphs
- Problem 1
- Problem 2
- Problem 3 & 4
- Counting for Selection
- Counting for Distribution
- Counting for Distribution (Part 2)
- Some Counting Problems
- Counting using Recurrence Relations
- Counting using Recurrence Relations (Part 2)
- Solving Recurrence Relations (Part 1)
- Solving Recurrence Relations (Part 2)
- Asymptotic Relations (Part 1)
- Asymptotic Relations (Part 2)
- Asymptotic Relations (Part 3)
- Asymptotic Relations (Part 4)
- Generating Functions (Part 1)
- Generating Functions (Part 2)
- Generating Functions (Part 3)
- Generating Functions (Part 4)
- Proof Techniques
- Modeling: Graph Theory and Linear Programming
- Combinatorics