Lecture
This lecture delves into approximating loops by proving simple properties of variables evolution, such as ensuring a variable only decreases. It then transitions to recursion, explaining how to mathematically define recursively defined programs and find relations that satisfy them.