Homework Assignment 2

MCS 177: Computer Science I, Fall 2001

Due: Monday, September 17, at the beginning of class

  1. #2.4 on page 33
  2. #2.8 on page 38
  3. #2.9 on page 39
  4. #2.20 on pages 44-45
  5. #2.23 on page 46
    Note: if you do the following load command in SchematiX:
        (load "~karl/Public/MC27/digits.scm")
    
    the images zero-bb through nine-bb will be appropriately defined, so that you can test your procedure.
Note: Here is a link to our grading guidelines for induction proofs.