Winda

Introduces algorithmic problem solving, correctness proofs by induction, asymptotic efficiency, the Word-RAM model, and data structures, with birthday matching as a running example.

Save to open this file