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

Basic Set Theory

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.