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.