Lecture 17 (15 March)

The quiz wasn't due until the evening, so we answered general questions related to the reading topics.

Ane we then did exercises on

• recursion trees
• inductive proof of tree properties (rank of a tree)
• inductive proof that an algorithm (printing values in a binary search tree) is correct

Announcements

• WCS general meeting, this evening, 7pm, 3405 Siebel
• Midterm exam coming up soon after break: book a room with DRES if you need one.