Quiz 1, Mon CS 2050, Intro Discrete Math for Computer Science

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

Number Theory and Divisibility

Prime Factorization and GCF. In my own words

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

MTH 310, Section 001 Abstract Algebra I and Number Theory. Sample Midterm 1

Practice Midterm Exam Solutions

EUCLID S ALGORITHM AND THE FUNDAMENTAL THEOREM OF ARITHMETIC after N. Vasiliev and V. Gutenmacher (Kvant, 1972)

MATH 271 Summer 2016 Practice problem solutions Week 1

n n P} is a bounded subset Proof. Let A be a nonempty subset of Z, bounded above. Define the set

CSE 311: Foundations of Computing. Lecture 14: Induction

Solution Set 2. Problem 1. [a] + [b] = [a + b] = [b + a] = [b] + [a] ([a] + [b]) + [c] = [a + b] + [c] = [a + b + c] = [a] + [b + c] = [a] + ([b + c])

Algebra 2 Summer Assignment - Non Regents

Mathematical Induction. Section 5.1

Intro to Algebra Today. We will learn names for the properties of real numbers. Homework Next Week. Due Tuesday 45-47/ 15-20, 32-35, 40-41, *28,29,38

Discrete Math in Computer Science Solutions to Practice Problems for Midterm 2

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

Homework #2 solutions Due: June 15, 2012

Recitation 7: Existence Proofs and Mathematical Induction

Number Theory Basics Z = {..., 2, 1, 0, 1, 2,...} For, b Z, we say that divides b if z = b for some. Notation: b Fact: for all, b, c Z:

Solving and Graphing Inequalities

2. THE EUCLIDEAN ALGORITHM More ring essentials

MATH10040: Numbers and Functions Homework 1: Solutions

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

Climbing an Infinite Ladder

Solutions Quiz 9 Nov. 8, Prove: If a, b, m are integers such that 2a + 3b 12m + 1, then a 3m + 1 or b 2m + 1.

PRACTICE PROBLEMS: SET 1

CS 340: Discrete Structures for Engineers

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

Discrete Mathematics. Spring 2017

Divisibility. Chapter Divisors and Residues

Proof: Let the check matrix be

a. See the textbook for examples of proving logical equivalence using truth tables. b. There is a real number x for which f (x) < 0. (x 1) 2 > 0.

Mathematical Induction. How does discrete math help us. How does discrete math help (CS160)? How does discrete math help (CS161)?

CISC-102 Winter 2016 Lecture 11 Greatest Common Divisor

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

(3,1) Methods of Proof

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

MATH FINAL EXAM REVIEW HINTS

Order of Operations. Real numbers

MATH 301 INTRO TO ANALYSIS FALL 2016

3.2 Solving linear congruences. v3

Mathematical Induction. EECS 203: Discrete Mathematics Lecture 11 Spring

What can you prove by induction?

Homework 1 Submission

Questionnaire for CSET Mathematics subset 1

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

MULTIPLYING TRINOMIALS

Contribution of Problems

Math 242: Principles of Analysis Fall 2016 Homework 1 Part B solutions

Solutions to Practice Final

CS173 Lecture B, September 10, 2015

It is true that 12 > 10. All the other numbers are less than 10.

CHAPTER 1 REAL NUMBERS KEY POINTS

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

7 th Grade Math Course Map Course Title: 7 th Grade Math

MATH 55 - HOMEWORK 6 SOLUTIONS. 1. Section = 1 = (n + 1) 3 = 2. + (n + 1) 3. + (n + 1) 3 = n2 (n + 1) 2.

University of New Mexico Department of Computer Science. Midterm Examination. CS 261 Mathematical Foundations of Computer Science Spring, 2010

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

Fibonacci Numbers. Justin Stevens. Lecture 5. Justin Stevens Fibonacci Numbers (Lecture 5) 1 / 10

CHAPTER 4 SOME METHODS OF PROOF

Math 1302 Notes 2. How many solutions? What type of solution in the real number system? What kind of equation is it?

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

Math 312/ AMS 351 (Fall 17) Sample Questions for Final

2.1 The Complex Number System

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

In case (1) 1 = 0. Then using and from Friday,

Contribution of Problems

WORKSHEET ON NUMBERS, MATH 215 FALL. We start our study of numbers with the integers: N = {1, 2, 3,...}

Ch 4.2 Divisibility Properties

Math 10-C Polynomials Concept Sheets

8 Primes and Modular Arithmetic

CHAPTER 4: EXPLORING Z

Climbing an Infinite Ladder

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Solution Sheet (i) q = 5, r = 15 (ii) q = 58, r = 15 (iii) q = 3, r = 7 (iv) q = 6, r = (i) gcd (97, 157) = 1 = ,

Proofs. 29th January 2014

5.1 Increasing and Decreasing Functions. A function f is decreasing on an interval I if and only if: for all x 1, x 2 I, x 1 < x 2 = f(x 1 ) > f(x 2 )

Unit 3 Vocabulary. An algebraic expression that can contains. variables, numbers and operators (like +, An equation is a math sentence stating

Mathematical Induction

A guide to Proof by Induction

Mathematics for Computer Science MATH 1105C Page 1 of 5

Day 2 and 3 Graphing Linear Inequalities in Two Variables.notebook. Formative Quiz. 1) Sketch the graph of the following linear equation.

DIVISIBILITY AND GREATEST COMMON DIVISORS

Answers to Final Exam

1 Take-home exam and final exam study guide

Math 283 Spring 2013 Presentation Problems 4 Solutions

Carmen s Core Concepts (Math 135)

a 2 = ab a 2 b 2 = ab b 2 (a + b)(a b) = b(a b) a + b = b

CS280, Spring 2004: Prelim Solutions

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

2301 Assignment 1 Due Friday 19th March, 2 pm

Chapter 5.1: Induction

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

Carmen s Core Concepts (Math 135)

Equations (Linear, Quadratic, Simultaneous & Basic Algebra)

TESTCRACKER CAT TOPPER s PROGRAM: QUANT. Factorial

NOTES ON SIMPLE NUMBER THEORY

CS 220: Discrete Structures and their Applications. Mathematical Induction in zybooks

Lecture Notes. Advanced Discrete Structures COT S

Calculus (Real Analysis I)

Transcription:

Quiz 1, Mon 09-6-11 CS 050, Intro Discrete Math for Computer Science This quiz has 10 pages (including this cover page) and 5 Problems: Problems 1,, 3 and 4 are mandatory ( pages each.) Problem 5 is optional, for extra credit. You have 50 minutes. Fill out your information on this cover page FIRST. Last Name... First Name... email... 1

Problem 1: 5 Points Recall the definition of divisibility (here stated, for simplicity, only for positive integers): For positive integers a and d, we say that a is divisible by d and use the notation d a if and only if there exists a positive integer c such that a = d c. Equivalently: a ℵ, d ℵ ( d a c ℵ:a=d c ). For (a) and (b) below: True or false? If true give a proof, if false give a counter-example: (a) a ℵ, b ℵ, d ℵ ( (d a and d b) = d (a b) ). (b) a ℵ, b ℵ, d ℵ ( d (a b) = (d a or d b) ). Problem 1: Answer Part (a) -go to the next page for Part (b). True, Proof: From the definition of divisibility we have: d a = c 1 ℵ:a=d c 1 (1) d b = c ℵ:b=d c () Combining the right-hand-sides of (1) and () by multiplying a and b we have: a b = (d c 1 ) (d c ) = d (c 1 d c ) = d c for c = c 1 d c Therefore, from the definition of divisibility, we infer that d (a b).

Problem 1: Answer Part (b) False, Counter-Example: a = 10 Note: I thought of 10 as 10= 5. b = 15 Note: I thought of 15 as 15=3 5. Note: My strategy was for a and b to have two factors that are relatively prime, such as and 3. Then the product of these factors (in this case 3 = 6) would obviously divide a b (in this case 10 15= 5 3 5= 3 5 5=6 5), but it would not divide by itself, neither a nor b. a b = 150 d = 6 Obviously, 6 divides a b = 150, since 150 = 6 5. But 6 does not divide a = 10 and 6 does not divide b = 15. 3

Problem : 5 Points (a) Argue that, for every positive integer n, and for all x such that 0<x<1, k=0 x k < 1 1 x. (b) Argue that, for every positive integer n, < 1. Problem : Answer Part (a) -go to the next page for Part (b). We know that, for all x 0, n k=0 xk = 1 xn+1 1 x. We may therefore write: k=0 x k = 1 xn+1 1 x = < 1 1 x xn+1 1 x 1 1 x where the last inequality follows since, for 0<x<1, we have x n+1 >0, (1 x)>0, therefore the fraction xn+1 1 x is a positive number. 4

Problem : Answer Part (b) = = 1 + ( ) 0 1 + k=0 ( 1 < 1 + 1 1 = 1 + ( ) 0 1 + ) using the bound of part (a) for x= 1 = 1. 5

Problem 3: 5 Points (a) Argue that, for every positive integer n, ( k 1 ) = n. (b) Evaluate in terms of n the following three products: (assume that n is a power of, thus log n is integer and show, in one line, your work) log n log n (i) =? (ii) 4 =? (iii) ( log n ) =? Problem 3: Answer Part (a) -go to the next page for Part (b). We know that, for every positive integer n, n k = n(n+1). We may now write: ( k 1 ) = = ( ) ( ) 1 k n(n + 1) = n + n n n = n 6

Problem 3: Answer Part (b): (i), (ii) and (iii) log n (i) = log n 1 = log n = n. log n (ii) 4 = 4 log n 1 = 4 log n = log n = log n = n. (iii) ( log n ) = (n) = n, where the middle equality follows from (i). 7

Problem 4: 5 Points (a) Show that gcd(14039,159)=139. Use Euclid s algorithm and show your work. (b) Argue that a 159 14039 board can be fully covered using 139 139 tiles. Problem 4: Answer Part (a) -go to the next page for Part (b). 14039 = 9 159 + 78 159 = 5 78 + 139 78 = 139 + 0 8

Problem 4: Answer Part (b) The key observation is that 139 divides both 159 and 14039. In particular, 159 = 11 139 and 14039 = 101 139. We may therefore cover the 159 14039 board with 139 139 tiles as follows: We place 101 tiles horizontally starting from the top left, and repeat this (placing 101 tiles horizontally) 11 times vertically. We will need, in total 101 11=1111 tiles (of dimension 139 139). 9

Problem 5: Optional, Extra Credit (a) Let m>1 and n 1 be arbitrary integers. <? m Problem 5: Answer Part (a) ( ) k ( ) 0 ( ) 0 1 1 1 = + + m m m m = 1 + m k=0 ( ) 1 < 1 + 1 1 using the bound of part (a) for x= 1 m m = 1 + m m 1 = m + 1 + m m 1 = 1 m 1 (b) Let m>1 and n>1 be arbitrary integers. How does the tiling statement of Problem 4 generalize? Problem 5: Answer Part (b) For arbitrary positive integers m and n, if d is a positive integers that divides both m and n (ie m=d c 1 and n=d c ), then the m n board can be covered using d d tiles. 10