CSE 526
Spring 2005 Stony Brook |
Principles of Programming Languages
Annie Liu Homework 1 |
Handout H1
Jan. 25, 2005 Due Feb. 1 |

This assignment has five problems, each worth 20% of the grade. It is due before class on Tuesday Feb. 1.

**Problem 1. Ordered pairs.**

Winskel's book Exercise 1.1 on page 5.

**Problem 2. Sets of functions.**

Winskel's book Exercise 1.2 on page 7.

**Problem 3. 1-1 correspondence.**

Winskel's book Exercise 1.5 on page 9.

**Problem 4. Equivalence relation.**

Winskel's book Exercise 1.8 on page 10.

**Problem 5. Questionnaire.**

Hand in the filled Questionnaire if you have not done so.