Selection Sort - Loop Invariant - Proof of Correctness - Discrete Math for Computer Science

preview_player
Показать описание
In this video I use two loop invariants to prove selection sort correct.
Рекомендации по теме
Комментарии
Автор

If you have not enough time to watch the whole video, you can start around 28:30

mkhnuser
Автор

Thank you professor, this is really great.

doopy