DM22, Spring 2006 - Weekly Note 6

Lecture March 14

Recapitulation of the standard utility functions discussed in Chapter 4. More examples of proofs of properties of code.

Reading

Sections 4.1-4.5 again, now with a focus on the undefined value, and on proofs.

Lecture March 21 (Expected contents)

Even more examples of proofs of properties of code. Trees.

Reading

Section 4.6.1. Chapter 6.

Exercises March 22

Any remaining exercises from last weekly note.

Exercises 4.2.3, 4.2.4, 4.2.5, 4.2.7, 4.2.10 in Bird.

Exam of summer 2004 (pdf), exercise 1 (for question 1.d, note that the empty sum (here, when j=k) is defined to be 0).