Скачать или смотреть Loop Invariant Proofs (proofs, part 1)

This is the first part of a lecture on proving the correctness of algorithms (and mathematical proofs as such). In this video we get to know loop invariant proofs by the example of linear search.


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

This is the second video of a full course on Algorithms & Data Structures. You can find all videos in this playlist:    • Data Structures & Algorithms  

You can find the course with quizzes and additional practice assignments here: https://canvas.instructure.com/course...

0:00 Introduction
1:51 Correctness: Better-Linear-Search
5:07 Loop Invariants
6:25 Loop Invariant: Better-Linear-Search

17:11 Alternative Loop Invariant
21:07 Loop Invariants Proofs
26:29 Linear-Search