CS 281 Test II

March 26, 1998

1. Find all the subsets of the following sets:
(a) {1,3}
(b) { tex2html_wrap_inline30 }. [5 each]

2. Find the following Cartesian products:
(a) tex2html_wrap_inline32
(b) { tex2html_wrap_inline34
(c) { tex2html_wrap_inline36
(d) { tex2html_wrap_inline38 [5 each]

3 Prove that tex2html_wrap_inline40 . [20]

4 Recursively define the set of numbers tex2html_wrap_inline42 given by tex2html_wrap_inline44 for all positive integers n. [20]

5(a) Write a recursive procedure to test a number to see whether or not it is in the set T recursively defined as follows:

Basis Clause: tex2html_wrap_inline50
Inductive Clause: If tex2html_wrap_inline52 , then tex2html_wrap_inline54 .
Extremal Clause: Nothing is in T unless it is obtained from the basis and inductive clauses. [20]

(b) Describe the set T non-recursively, in English. [10]

Logical Equivalences and Implications - you may use them.

tabular22





S. Toida
Tue Apr 7 11:53:43 EDT 1998