COT3100.01, Fall 2000
Print Name: _____________________________________
S. Lang (11/02/2000)
Test #2
Social Security No: _______________________________
Instructions:
The test is a closedbook, closednotes, and nocalculator test.
The test consists of
4 pages (2 doublesided sheets), 9 questions, and 110 total points.
In addition, the last sheet
contains the relevant definitions and theorems from the Course Notes, which you may tear off
and use for reference.
In writing your proofs, be sure to show all the steps and explain them,
using the appropriate definitions, theorems, or assumptions.
(You may give the definition and
theorem numbers from the reference sheet in the explanation.)
You are allowed to combine
“trivial” steps, such as those involving algebra manipulations.
Also, you may omit the
explanations that are based on the “bydefinition” argument, but do not skip the steps.
Your
signature below indicates that you have read and understood the instructions.
Signature: _______________________________________________
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview.
Sign up
to
access the rest of the document.
 Fall '09
 Binary relation, Transitive relation, Bijection, Transitive closure, following true/false questions

Click to edit the document details