./../../private/data/9/header.jpg ./../../private/data/9/header2.jpg ./../../private/data/9/header3.jpg

Module 9 - Primer on Proofs


Audio/Video Recording

Audio Recordings are posted after class within a youtube playlist. Occasionally technical errors happen, but I do my best to post recordings as soon as possible to a playlist.

The full course playlist is here: Course Youtube Playlist

Module Content


Module Overview

In this module we dive into theory and learn about proving properties of our algorithms!

Module Outline

  • Lecture outline
    • How Do We Really ‘Know’ Something and prove it?
    • What's the point of proving something?
    • A Primer on Proof Techniques
    • Proving Algorithm Correctness for Searching and Sorting
    • Asymptotic Notation
Please do not redistribute or host any materials without e-mailing me first. I generally am happy to share the latest .pdf or slide presentation with those who ask. Thank you for your time!