Video lecture of Mathematical induction

This lecture includes Rules of inference,Rules of inference for quantified statements ,
Methods of proving theorems,theorems and quantifiers ,the Halting problem,
Mathematical induction,example of proofs by  Mathematical induction,The second
principle of Mathematical induction,Recursive definition,Recursively defined sets,
Recursive Algorithms,Recursion  and iteration .
Program correctness,program verification ,rules of inference,conditional statements,
loop invariants etc.

Download now...