Discrete Math I Exam II (2/9/12) Page 1

Similar documents
REVIEW Chapter 1 The Real Number System

Proof by Contradiction

MATH CSE20 Homework 5 Due Monday November 4

Recitation 7: Existence Proofs and Mathematical Induction

Test 2. Monday, November 12, 2018

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Chapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers

Solutions to Assignment 1

8. Given a rational number r, prove that there exist coprime integers p and q, with q 0, so that r = p q. . For all n N, f n = an b n 2

Math 2534 Solution to Test 3A Spring 2010

(3,1) Methods of Proof

Fall 2014 CMSC250/250H Midterm II

Some Basic Logic. Henry Liu, 25 October 2010

Name: Student ID: Instructions:

EDULABZ INTERNATIONAL NUMBER SYSTEM

Math 10850, fall 2017, University of Notre Dame

1. Given the public RSA encryption key (e, n) = (5, 35), find the corresponding decryption key (d, n).

not to be republished NCERT REAL NUMBERS CHAPTER 1 (A) Main Concepts and Results

Math 451, 01, Exam #2 Answer Key

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

Homework 3 Solutions, Math 55

CHAPTER 1 REAL NUMBERS KEY POINTS

MATH 271 Summer 2016 Practice problem solutions Week 1

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Math1a Set 1 Solutions

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Midterm Preparation Problems

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8

Section 19 Integral domains

CSE 215: Foundations of Computer Science Recitation Exercises Set #5 Stony Brook University. Name: ID#: Section #: Score: / 4

Discrete Mathematics and Probability Theory Summer 2015 Chung-Wei Lin Midterm 1

Carmen s Core Concepts (Math 135)

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers Solutions

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

Name: Mathematics 1C03

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

University of Toronto Faculty of Arts and Science Solutions to Final Examination, April 2017 MAT246H1S - Concepts in Abstract Mathematics

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

10.1 Radical Expressions and Functions Math 51 Professor Busken

Fall 2017 Test II review problems

Proof worksheet solutions

Associative property

DISCRETE MATH: FINAL REVIEW

Twin primes are pairs of natural numbers (p, p + 2) such that both p and p + 2 are primes.

Do not start until you are given the green signal

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

GRE. Advanced GRE Math Questions

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

All numbered readings are from Beck and Geoghegan s The art of proof.

BRAIN TEASURES FUNCTION BY ABHIJIT KUMAR JHA EXERCISE I. log 5. (ii) f (x) = log 7. (iv) f (x) = 2 x. (x) f (x) = (xii) f (x) =

Do not open this exam until you are told to begin. You will have 75 minutes for the exam.

Math 120, Sample Final Fall 2015

2k n. k=0. 3x 2 7 (mod 11) 5 4x 1 (mod 9) 2 r r +1 = r (2 r )

Accelerated Math. Class work 3. Algebra.

then the hard copy will not be correct whenever your instructor modifies the assignments.

MATH 201 Solutions: TEST 3-A (in class)

n = p 1 p 2 p r = q 1 q 2 q m, then r = m (i.e. the number of primes in any prime decomposition

Foundations of Discrete Mathematics

Some Review Problems for Exam 1: Solutions

Math Day at the Beach 2017

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Math 261 Spring 2014 Final Exam May 5, 2014

(4) Using results you have studied, show that if x, y are real numbers,

REVIEW PROBLEMS FOR SECOND 3200 MIDTERM

Math 1: Calculus with Algebra Midterm 2 Thursday, October 29. Circle your section number: 1 Freund 2 DeFord

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Quantitative Aptitude

Midterm 2 Sample Introduction to Higher Math Fall 2018 Instructor: Linh Truong

Intermediate Math Circles February 14, 2018 Contest Prep: Number Theory

Winter Camp 2009 Number Theory Tips and Tricks

UAB MATH TALENT SEARCH

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

MATH 2200 Final Review

Chapter 3: Factors, Roots, and Powers

Math Review. for the Quantitative Reasoning measure of the GRE General Test

1 Implication and induction

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

MAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018

CHAPTER 1. REVIEW: NUMBERS

Try the assignment f(1) = 2; f(2) = 1; f(3) = 4; f(4) = 3;.

Class IX Chapter 1 Number Sustems Maths

NUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Johns Hopkins Math Tournament 2018 Proof Round: Sequences

Math 115 Practice for Exam 2

LESSON 8.1 RATIONAL EXPRESSIONS I

Review Sheet for the Final Exam of MATH Fall 2009

CSE 20 DISCRETE MATH. Fall

CSC 125 :: Final Exam May 3 & 5, 2010

Section A (not in the text) Which of the following are statements? Explain. 3. The President of the United States in 2089 will be a woman.

Math Circle Beginners Group February 28, 2016 Euclid and Prime Numbers

Summer HSSP Week 1 Homework. Lane Gunderman, Victor Lopez, James Rowan

UAB MATH TALENT SEARCH

Why write proofs? Why not just test and repeat enough examples to confirm a theory?

Computer Science Section 1.6

MATH 2200 Final LC Review

Chapter 3: Inequalities, Lines and Circles, Introduction to Functions

Transcription:

Discrete Math I Exam II (/9/1) Page 1 Name: Instructions: Provide all steps necessary to solve the problem. Simplify your answer as much as possible. Additionally, clearly indicate the value or expression that is your final answer! Please put your name on BOTH pages. Calculators are allowed. An integer n is even if there exists an integer k such that n = k and n is odd if there exists an integer k such that n = k+1. A real number x is rational if it can be written in the form x = m/n, where m and n are integers (with n 0) and x is irrational if it is not a rational number. If f : A B, S A, and T B, then f (S) = {f (x) B x S} and f -1 (T) = {x A f (x) T}, f is 1-1 x,y A [ (f (x) = f (y)) (x = y) ], and f is onto y B x A [y = f (x)]. For m Z {0} and n Z, m n k Z (n = km). For m Z +, Z m = {n N 0 n < m}. Given a,b Z and m Z +, a b (mod m) m (a b). 1. TRUE or FALSE: The sum of two irrational numbers is irrational.. If A = {0,4,5}, what is (A)? 3. Let A = [0,3] and B = [,7) be intervals of the real line. Determine each of the following. (a) A B (b) A B (c) A B 4. Let U = {n Z + n 8} be the universal set. Suppose A U and B U satisfy the following conditions: A B = {1,5,7}, B A = {,3,6}, and A B = 8. Determine each of the following. A = B = A B

5. Short answer. (a) TRUE or FALSE: If f : A B with x A, y,z B, then (x,y),(x,z) f (y = z). (b) TRUE or FALSE: x = x 1 for all x R Z. (c) (Circle all that apply) The function f : Z Z is defined by f (x) = x + 1 is ONE-TO-ONE ONTO NEITHER. (d) (Circle all that apply) The function f : Z Z is defined by f (x) = x 3 is ONE-TO-ONE ONTO NEITHER. (e) (Circle all that apply) The function f : Z Z is defined by f (x) = x 4 is ONE-TO-ONE ONTO NEITHER. (f) (Circle all that apply) The function f : Z Z is defined by f (x) = x / 3 is ONE-TO-ONE ONTO NEITHER. (g) If f : R R is defined by f (x) = 4x+3, then f is both one-to-one and onto (you don t need to prove this). This implies that f is invertible. Determine f 1 (9). (h) Let f : R Z and g: Z R be functions defined by f (x) = x / 4 and g(n) = n. (i) What is the domain of f g? (ii) Calculate (g f )( 6). å (i) Evaluate ( k! ) kîz5. [Note: Your answer should be a single number.] 6. Let g : R R be the function defined as g(x) = x. Determine each of the following. (a) g(r) (b) g(s), where S = [,4] (c) g 1 ( {5} )

Discrete Math I Exam II (/9/1) Page Name: 7. Let A = {a,b,c} and B = {x,y}. (a) How many functions are there from A to B? (b) How many functions from A to B are one-to-one? (c) How many functions from A to B are onto? (d) How many partial functions are there from A to B? 8. Short answer. (a) Evaluate 99 mod 7. (b) Evaluate 50! mod 31. (c) Determine all values of q Z and r Z 9 such that 53 = 9q + r. (d) Find the prime factorization of the five digit integer 3,569. (e) TRUE or FALSE: 45 1 (mod 8). (f ) Find the smallest positive integer a such that a + 3 3a (mod 11). (g) TRUE or FALSE: If p and q are primes (>), then pq + 1 is never prime.

9. Briefly explain in words the difference between a b and b a. 10. Give a mathematical proof (not a valid proof) of the following using the definitions: If a,b,c,d Z with a c and b d, then ab cd. Extra Credit: Clearly sketch the line(s) and/or the region(s) in the plane defined by the equation x + y = 1. (If drawing regions, use solid lines for borders that are included in the region and dashed lines for borders that are not included in the region.)

Discrete Math I Solutions to Exam II 1. FALSE. Both and are irrational, but their sum, 0, is rational.. (A) = A = 3 = 8 3. Note that these sets are intervals and do not represent discrete sets. Problem Interval Picture A = [0,3] B = [,7) (a) A B = [0,7) (b) A B = [,3] (c) A B = [0,) 4. Since A B A B, then A = {1,4,5,7,8}, B = {,3,4,6,8}, and A B. U 1 5 4 3 7 8 6 A B 5. (a) TRUE. This was the original definition of a function in terms of ordered pairs. The definition of a 1-1 function is slightly different. (b) TRUE. This would be false for all x R, but since we threw out the values for which the statement is false (i.e., all integers), we are left with a true statement for all x R Z. (c) f is 1-1 since f (x) = f (y) x + 1 = y + 1 x = y. f is onto since for any x Z, there exists a number y = x 1 Z such that f (y) = f (x 1) = (x 1) + 1 = x. Thus, the function is ONE-TO-ONE and ONTO. (d) f is 1-1 since f (x) = f (y) x 3 = y 3 x = y. f is not onto since there does not exist a number y Z such that f (y) =. Thus, the function is ONE-TO-ONE. (e) f is not 1-1 since f (1) = f ( 1). f is not onto since there does not exist a number y Z such that f (y) = 5. Thus, the function is NEITHER. (f) f is not 1-1 since f (1) = f (). f is onto since for any x Z, there exists a number y = 3x Z such that f (y) = f (3x) = 3x / 3 = x = x. Thus, the function is ONTO.

(g) Let a = f 1 (9). This implies that (9,a) f 1. By the definition of the inverse function, we have (a,9) f. In functional notation, this means that f (a) = 9. Since f (x) = 4x+3, then we need to find a such that 9 = 4a + 3. Thus, a = f 1 (9) = 3 /. (h) (i) Since f g : Z Z, then the domain is Z. (ii) (g f )( 6) = g (f ( 6) ) = g ( 6/4 ) = g( 1 ) = 1 (i) Since Z 5 = {0,1,,3,4}, then 4 k! = k! = 0! + 1! +! + 3! + 4! = 1+ 1+ + 6+ 4 = 34 å ( ) å ( ). kî Z k= 0 5 6. (a) Z (b) {4,5,6,7,8} (c) [ 5 /, 3) 7. (a) 3 = 8; (b) 0; (c) 6; (d) 3 3 = 7 8. (a) 99 mod 7 = 5 (b) Since 50! = 50 49 3 31 30 3 1, then 31 50!. This implies that 50! mod 31 = 0. (c) By the Division Algorithm, these values exist and are unique: q = 53/9 = 5 and r = 53 9 5 = 8. (d) 7 13 37 (e) TRUE (f ) a = 7 (g) TRUE. Any prime numbers greater than is odd. The product of two odd numbers is still odd. Adding one to an odd number gives an even number, which is never prime as long as it is greater than. 9. Assume a and b are integers with a nonzero. The main difference between these expressions is a b is a proposition, it is either true or false, and b is a rational number. a 10. We need to show that ab cd. By definition, this means we need to find an integer k such that ab k = cd. Since a c, then there is an integer i such that ai = c. Since b d, then there is an integer j such that bj = d. This implies that cd = (ai)(bj) = ab(ij). ij is an integer since an integer times integer is still an integer. So, let k = ij. Thus, ab is a divisor of cd and so ab cd. Comments (from the instructor) written on many of the proofs: Do not use fractions at all! Use complete sentences! The definition of divides is NOT m n n Î Z. m a c is not a rational number, it is a proposition. Do not use the symbol for an equal sign. Contradiction is a bad idea for this type of proof. Examples are ignored in proofs.

Extra Credit: It would have been more efficient just to ask you to sketch the set {(x,y) R R x + y = 1}.

Discrete Math I Exam II (page 1) P Answer/Solution A % M % O 1 FALSE 18 10 1.5 8 81 100 3 3a [0,7) 97 100 3 3b [,3] 96 100 3 3c [0,) 95 100 4a A = {1,4,5,7,8} 93 100 4b B = {,3,4,6,8} 9 100 4c A B 91 100 5a TRUE 50 10 1.5 5b TRUE 81 100 5c ONE-TO-ONE and ONTO 97 100 5d ONE-TO-ONE 81 100 5e NEITHER 97 100 5f ONTO 8 100 5g a = f 1 (9) = 3 / 95 100 3 5h1 Z 78 100 5h 1 9 100 5i 34 75 90 4 6a Z 78 100 6b {4,5,6,7,8} 80 80 3 6c [ 5 /, 3) 68 90 3 Overall 78 80 50

Discrete Math I Exam II (page ) P Answer/Solution A % M % O 7a 3 = 8 56 40 3 7b 0 68 100 1.5 7c 6 60 50 1.5 8a 5 95 100 8b 0 57 5 8c q = 5 and r = 8 is the only solution 89 100 4 8d 7 13 37 8 100 3 8e TRUE 70 100 8f a = 7 79 100 3 8g TRUE 100 100 9 10 a b is a proposition, it is either true or false, and b / a is a rational number. Since a c and b d, then there exists i, j Z such that ai = c and bj = d. This implies that cd = (ai)(bj) = ab(ij). ij Z since an integer times integer is still an integer. Thus ab cd. 81 80 6 63 60 10 Overall 74 75 40 ec 1.5