CS 336 Homework

Homework 1

Due 1/21/03.
  1. Exercises 3.5.16, 3.5.17, and 3.5.18.

Homework 2

Due 1/30/03.
  1. Exercises 4.2.2, 5.2.8, 5.3.3, 6.2.8

Homework 3

Due 2/6/03.
  1. Exercises 6.3.1, 8.3.4, 9.2.2, 9.3.2

Homework 4

Due 2/18/03.
  1. Exercises 11.12.1, 13,5.8.
  2. Prepare a short (10 minute) presentation of the essence of the Normalization proof of Chapter 12.

Homework 5

Due 2/27/03.
  1. Exercises 15.5.2, 16.2.1, 18.6.2, 18.7.1.

Dave MacQueen
Last modified: Fri Feb 21 18:03:56 CST 2003