CS 3133, A Term 1998
Foundations of Computer Science
Homework 0 (due Sept. 1)

This page is located at http://www.cs.wpi.edu/~alvarez/CS3133/HW0.html

Instructions

Do the problems listed below. Solutions for this and all subsequent homework assignments should be legible and coherent. Arguments should be sufficiently clear and airtight so as to convince a skeptical but reasonable jury (for instance, the professor and the TA!). Solutions should be written on only one side of each sheet of paper. Separate sheets should be stapled.

Problems

  1. The second exercise in the "recursion and induction" section at
    http://www.cs.wpi.edu/~alvarez/CS3133/prereq.html
  2. Exercise 1, p. 49 of the textbook.
  3. Exercise 8, p. 49 of the textbook.
  4. Exercise 14, p. 50 of the textbook.
  5. Exercise 19, p. 50 of the textbook.