Lecture 15 (8 March)

We didn't discuss the quiz, because there were issues overnight with the CS web servers and so the deadline is extended until 11pm today. Do feel free to post any post-quiz discussion on Piazza.

We then did exercises on

• Finding a closed form for the number of edges in a hypercube, and proving it correct.
• Recursive definitions of sets of strings
• A recursively-defined function on strings

Announcements

• Reminder: honors homework 2 is due a week from today (March 13th).