**Unformatted text preview: **18.-"'28.-"'288Eu 11:12 5188422415 LICE MtﬂtIN LIERﬂtR‘r" F'tﬂtGE 81.-"'81 George M. Bergman Fall 2005, Math 55 19 Sept, 2005
100 Lewis Hall First Midterm 1:10—2:00 1. {30 points. 10 points each.) Short answer questions. A correct answer will get full
credit whether or not work is shown. An incorrect answer may get partial credit if work is
given that follows a basically correct method. (3) Give the truth. table for the proposition (”g—ts p) A p. (Your table must show columns
for P. for q and for this compound proposition. It may or may not have other columns.) (b) Let f: R —> R be given by the rule f(.x) = 3x+1. and g: R —) R by the rule
g(x) 2 415+ 1. Then fag: R —> R is given by the rule (c) Write in mathematical symbols the statement that every real number which is not an
integer lies between some integer and its successor (where the successor of an integer a
means the integer n+1. If your statement is long, you don’t have to put it all on one line.) 2. (24 points. 3 points each.) Complete the following deﬁnitions. Your deﬁnitions do not
have to have exactly the same wording as those in the text, but for full credit they should be clear. and be equivalent to thoSe.
(a) If .X and Y are sets. and f : X we» Y is a function. then the graph. of f is deﬁned to
be the set . . . (b) Let I be a set. and suppose that for each iEI we are given a set A-i- Then.
Ute I Az- denotes . . . (For full credit. use set-builder notation rather than words.) (c) If f: R —r R and g: R —) R are functions. then one says that f(x) is ﬂ(g[x)) (in
words. “f(x) is big-Omega of g(x)”) if. . . 3. (30 points. 15 points each.) Short proofs. In giving the proofs asked for below. you
may call upon deﬁnitions and results proved or asserted in the test. You do not have to use
the formal names of methods of proof. or any standardized format. as long as your
arguments are clear and logically sound. (a) Suppose X, Y and Z are sets. where X and Y are subsets of aset S, and
suppose f: S —> Y a function. Prove that f(X—Z) Qf(X) —f(Z). (b) Suppose that f: R a R. and g: R my R are functions such that ﬁx) is 0(g(x)).
Prove that f(log([xl)) is 0(g(log(|x|))). (Recall that in this course. “log” means the
logarithm to the base 2. You may use well—known facts about the logarithm function.) 4. (16 points) Write in pseudocode an algorithm “intersect” which takes two sequences
of real numbers ”I . . am and b] . , b”, where the elements of each sequence are
distinct (i.e., for ii _,i, one has or: .-,.e of and bi at bf) and creates a sequence (:1 , ,cr
of distinct real numbers Such that ‘ {cl , , Cr} = {ail . .._, am} r". {bl, , inn}.
That is. after the algorithm has run, 7' should equal the number of elements in that
intersection, and e] , , Cr should be the distinct elements in that intersection. For full
credit you should use only the basic operations given in the text, and follow the format for
pseudocode speciﬁed there. (However, you are not expected to give any equivalent of the
changes between bold italic and roman font that the text uses.) ...

View
Full Document

- Spring '08
- STRAIN
- Math