Proof techniques (proofs, part 2)

preview_player
Показать описание
This is the second part of a lecture on proving the correctness of algorithms and mathematical proofs as such. This video gives an overview of some of the most common proof techniques in the context of basic algorithm analysis

I like to talk slowly, so use playback speed of 1.25 for "normal" speed, or even faster.

0:00 Proofs
3:02 Writing a proof

5:01 Proof techniques
6:11 Direct proof
10:37 Proof by contraposition
15:38 Proof by contradiction
20:31 Proof by example
23:23 Case analysis
25:01 Proof by induction
31:53 Induction: Checklists+Quiz
37:03 Strong induction
42:34 Recap
Рекомендации по теме
Комментарии
Автор

amazing lecture. learnt so much in just 45 minutes. thank you

zjpqxcx