CSci 311: Models of Computation
CSci 500: Fundamental Concepts of Computing
Fall Semester 1999

Assignment #1
Due Monday, 30 August 1999

1. Let and . Explicitly define the following sets.
   1. 
   2. 
   3. 
   4. 
   5. 
2. Let and .
   1. List all the subsets of X.
   2. List the members of .
   3. List all total functions from Y to X.
3. Use induction on the size of X to show that if X is a finite set then .
4. Prove DeMorgan's Laws for sets.
   1. 
   2. 
5. Draw a picture of a graph that represents those states of the United States that touch the Gulf of Mexico or touch states that do.

UP to CSCI 311 assignments document? to CSCI 500?