Note: You are looking at a static copy of the former PineWiki site, used for class notes by James Aspnes from 2003 to 2012. Many mathematical formulas are broken, and there are likely to be other bugs as well. These will most likely not be fixed. You may be able to find more up-to-date versions of some of these notes at http://www.cs.yale.edu/homes/aspnes/#classes.

/Solutions are now available.

1. Bureaucratic part

This part you will not be graded on, but you should do it anyway.

Send me email. My address is <aspnes@cs.yale.edu>. In your message, include:

Your name.
Your status: whether you are an undergraduate, grad student, auditor, etc.
Whether you have ever taken a class that used Grade-o-Matic before.¹
Anything else you'd like to say.

2. Technical part

This part you will be graded on.

Do Exercises 1.1.28, 1.2.20, 1.3.58, 1.4.26, 1.5.12, and 1.5.48 from RosenBook. Clarification added 2004-09-13: For Problem 1.2.20, you may use truth tables instead of logical equivalences (but using the tables of logical equivalence is probably easier).

Ulterior motive: The information in your email will be used to create an account for you in Grade-o-Matic. (1)