Advanced Programming Languages
Homework Assignment 0F
EECS 590
Logistics. You must work alone. Your name and Michigan email address must appear on
the first page of your PDF submission but may not appear anywhere else. This is to protect
your identity during peer review. The first page of your submission is not shared during
peer view but all subsequent pages are.
Exercise 0F-1. Bookkeeping [5 points]. These answers should appear on the first page
of your submission and are kept private.
1. Indicate one thing you like about the class.
2. Indicate one thing you you would change about the class.
3. Tell me something about yourself that I do not already know.
4. Pose a question that you would like to see addressed in class or in office hours. (Students
often ask questions relating to career goals or concepts they would like to understand
in the course, but anything is fair game.)
5. Give an English word that contains three adjacent doubled letters but does not con-
tain the substring “bookkeep”. Hint: one approach is to use an “extended” regular
expression on a dictionary file like /usr/dict/words.
Exercise 0F-2. Set Theory [5 points]. This answer should appear after the first page
of your submission and may be shared during class peer review.
This exercise is meant to help you refresh your knowledge of set theory and functions.
Let Xand Ybe sets. Let P(X) denote the powerset of X(the set of all subsets of X). There
is a 1-1 correspondence (i.e., a bijection) bewteen the sets Aand B, where A=X→ P (Y)
and B=P(X×Y). Note that Ais a set of functions and Bis a (or can be viewed as a) set
of relations. This correspondence will allow us to use functional notation for certain sets in
class. This is Exercise 1.4 from page 8 of the Winskel textbook.
Demonstrate the correspondence between Aand Bby presenting an appropriate function
and proving that it is a bijection. For example, you might construct a function f:B→A
and prove that fis an injection and a surjection.
1
