content:
- introduction to insertion sort
- insertion sort as example of an incremental algorithms
- loop invariant proofs, in particular by the example of insertion sort
00:00:00 the sorting problem
00:01:36 insertion sort
00:02:53 incremental algorithms
00:04:30 insertion sort: an incremental algorithm
00:08:21 loop invariant proofs
00:11:17 insertion sort: correctness
00:18:52 checklist for loop invariants
