Data Structures and Algorithms 2011/12: Labs

These are exercises, in addition to the assignments, that were discussed in the labs.

1. Maxsort, Binary Search, and Inductive Proofs

2. Loop Invariants, Merging Arrays, Inductive Proofs

3. Loop Invariants and QuickSort