September1999 CMSC 203 / 0201 Fall 2002 Exam #1 Review – 27 September 2002 Prof. Marie desJardins.

Slides:



Advertisements
Similar presentations
1 In this lecture  Number Theory ● Rational numbers ● Divisibility  Proofs ● Direct proofs (cont.) ● Common mistakes in proofs ● Disproof by counterexample.
Advertisements

Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
3.3 Divisibility Definition If n and d are integers, then n is divisible by d if, and only if, n = dk for some integer k. d | n  There exists an integer.
Elementary Number Theory and Methods of Proof
Quotient-Remainder Theory, Div and Mod
Logic and Proof. Argument An argument is a sequence of statements. All statements but the first one are called assumptions or hypothesis. The final statement.
CMSC 250 Discrete Structures Number Theory. 20 June 2007Number Theory2 Exactly one car in the plant has color H( a ) := “ a has color”  x  Cars –H(
Proof Must Have Statement of what is to be proven.
The essential quality of a proof is to compel belief.
Introduction to Proofs ch. 1.6, pg. 87,93 Muhammad Arief download dari
HWQ 1/12/15 Evaluate the definite integral: No calculator please.
Copyright © Cengage Learning. All rights reserved.
Methods of Proof Lecture 4: Sep 16 (chapter 3 of the book)
Chapter 4: A Universal Program 1. Coding programs Example : For our programs P we have variables that are arranged in a certain order: Y 1 X 1 Z 1 X 2.
Methods of Proof & Proof Strategies
Math 3121 Abstract Algebra I Lecture 3 Sections 2-4: Binary Operations, Definition of Group.
Section 8.2 Inverse Functions
FUNCTION Discrete Mathematics Asst. Prof. Dr. Choopan Rattanapoka.
CISC 2315 Discrete Structures Professor William G. Tanner, Jr. Fall 2010 Slides created by James L. Hein, author of Discrete Structures, Logic, and Computability,
A Brief Summary for Exam 1 Subject Topics Propositional Logic (sections 1.1, 1.2) –Propositions Statement, Truth value, Proposition, Propositional symbol,
Introduction to Proofs
Numbers, Operations, and Quantitative Reasoning.
Composite Functions Inverse Functions
Copyright © Cengage Learning. All rights reserved. CHAPTER 4 ELEMENTARY NUMBER THEORY AND METHODS OF PROOF ELEMENTARY NUMBER THEORY AND METHODS OF PROOF.
Week 3 - Monday.  What did we talk about last time?  Predicate logic  Multiple quantifiers  Negating multiple quantifiers  Arguments with quantified.
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
Proofs1 Elementary Discrete Mathematics Jim Skon.
1 Introduction to Abstract Mathematics Chapter 3: Elementary Number Theory and Methods of Proofs Instructor: Hayk Melikya Direct.
Homework Review notes Complete Worksheet #1. Homework Let A = {a,b,c,d}, B = {a,b,c,d,e}, C = {a,d}, D = {b, c} Describe any subset relationships. 1.
Methods of Proof Lecture 3: Sep 9. This Lecture Now we have learnt the basics in logic. We are going to apply the logical rules in proving mathematical.
Fall 2002CMSC Discrete Structures1 … and the following mathematical appetizer is about… Functions.
Dr. Eng. Farag Elnagahy Office Phone: King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222.
1 Methods of Proof Proof techniques in this handout –Direct proof –Division into cases –Proof by contradiction In this handout, the proof techniques will.
Discrete Mathematics R. Johnsonbaugh
September1999 CMSC 203 / 0201 Fall 2002 Week #1 – 28/30 August 2002 Prof. Marie desJardins.
Fall 2008/2009 I. Arwa Linjawi & I. Asma’a Ashenkity 11 The Foundations: Logic and Proofs Introduction to Proofs.
1 Discrete Structures – CNS2300 Text Discrete Mathematics and Its Applications Kenneth H. Rosen (5 th Edition) Chapter 3 The Foundations: Logic and Proof,
Methods of Proof Dr. Yasir Ali. Proof A (logical) proof of a statement is a finite sequence of statements (called the steps of the proof) leading from.
Chapter 1: Introduction
Math 3121 Abstract Algebra I Lecture 5 Finish Sections 6 + Review: Cyclic Groups, Review.
Review 2 Basic Definitions Set - Collection of objects, usually denoted by capital letter Member, element - Object in a set, usually denoted by lower.
Discrete Mathematics CS 2610 February 10, Agenda Previously Functions And now Finish functions Start Boolean algebras (Sec. 11.1)
Functions (Mappings). Definitions A function (or mapping)  from a set A to a set B is a rule that assigns to each element a of A exactly one element.
Week 4 - Monday.  What did we talk about last time?  Rational numbers.
1 Melikyan/DM/Fall09 Discrete Mathematics Ch. 7 Functions Instructor: Hayk Melikyan Today we will review sections 7.3, 7.4 and 7.5.
CS104:Discrete Structures Chapter 2: Proof Techniques.
Math 1304 Calculus I 1.6 Inverse Functions. 1.6 Inverse functions Definition: A function f is said to be one-to- one if f(x) = f(y) implies x = y. It.
Week 3 - Monday.  What did we talk about last time?  Predicate logic  Multiple quantifiers  Negating multiple quantifiers  Arguments with quantified.
1 CMSC 250 Chapter 3, Number Theory. 2 CMSC 250 Introductory number theory l A good proof should have: –a statement of what is to be proven –"Proof:"
5.3 Inverse Functions. Definition of Inverse Function A function of “g” is the inverse function of the function “f” if: f(g(x)) = x for each x in the.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Functions CSRU1400 Spring 2008Ellen Zhang 1 CISC1400, Fall 2010 Ellen Zhang.
Methods of Proof Lecture 4: Sep 20 (chapter 3 of the book, except 3.5 and 3.8)
CS 173, Lecture B August 27, 2015 Tandy Warnow. Proofs You want to prove that some statement A is true. You can try to prove it directly, or you can prove.
CMSC250 S ECTIONS 0303 & 0304 M IDTERM R EVIEW Sri Kankanahalli Discussion 10: 9 March 2016 Office Hrs: Mon. and Wed. 4-6PM AVW 1112.
1 Lecture 5 Functions. 2 Functions in real applications Curve of a bridge can be described by a function Converting Celsius to Fahrenheit.
FUNCTIONS.
Section 1.7. Section Summary Mathematical Proofs Forms of Theorems Direct Proofs Indirect Proofs Proof of the Contrapositive Proof by Contradiction.
Week 8 - Wednesday.  What did we talk about last time?  Relations  Properties of relations  Reflexive  Symmetric  Transitive.
5.3 Inverse Functions (Part I). Objectives Verify that one function is the inverse function of another function. Determine whether a function has an inverse.
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett.
The Foundations: Logic and Proofs
Direct Proof and Counterexample III: Divisibility
The Foundations: Logic and Proofs
Week #3 – 9/11/13 September 2002 Prof. Marie desJardins
Week #6 – 30 September / 2/4 October 2002 Prof. Marie desJardins
A Brief Summary for Exam 1
Composition OF Functions.
Composition OF Functions.
September 9, 2004 Prof. Marie desJardins (for Prof. Matt Gaston)
Presentation transcript:

September1999 CMSC 203 / 0201 Fall 2002 Exam #1 Review – 27 September 2002 Prof. Marie desJardins

September1999 October 1999 Survey says…

September1999 October 1999 Proposal  Better balance of straightforward and challenging problems on homework  Grading (somewhat) less weighted towards challenging problems  More time in class on developing and writing well structured proofs  More time in class for students to try to solve problems that we then work through as a class  In return: Students agree to review chapter readings before class so we can spend less time on the basics without losing everybody.

September1999 October 1999 Let’s make a proof  HW #2, Problem #1, exercise  If f and f  g are one-to-one, does it follow that g is one-to-one? Justify your answer.  General problem-solving approach to proof construction: 1.Restate the problem, writing the premise and conclusion in mathematical language. 2.Decide what type of proof to use. 3.Apply any relevant definitions, axioms, laws, or theorems to simplify the premise, make it look more like the conclusion, or connect (relate) multiple premises. 4.Carefully write down and justify each step of the proof, in a sequence of connected steps. 5.Write a conclusion statement. 6.Write “Q.E.D.”

September1999 October 1999 Restate the problem  If f and f  g are one-to-one, does it follow that g is one-to- one?  PREMISE 1: “f is one-to-one” iff f(x) = f(y)  x = y for all x,y in the domain of f.  Used: Definition of one-to-one  PREMISE 2: “f  g is one-to-one” iff f(g(a)) = f(g(b))  a = b for all x, y in the domain of g.  Used: Definition of one-to-one and composition   CONCLUSION: “g is one-to-one” iff g(w) = g(z)  w = z for all w,z in the domain of g.  Used: Definition of one-to-one

September1999 October 1999 Restate the problem  If f and f  g are one-to-one, does it follow that g is one-to-one?  Show that if  xy ( f(x) = f(y)  x = y )(P1) and  ab ( f(g(a)) = f(g(b))  a = b ),(P2) then  wz ( g(w) = g(z)  w = z ).(C)

September1999 October 1999 Select a proof type  Direct proof  Work from premises to conclusions  Indirect proof  Negate the conclusion and derive a contradiction  In this case, the negated conclusion is  wz ( g(w) = g(z)  w = z ) or  wz  ( g(w) = g(z)  w = z ) or  wz ( g(w) = g(z)   (w=z) )(C´)

September1999 October 1999 Apply relevant knowledge  Premise 1:  xy ( f(x) = f(y)  x = y )(P1)  Premise 2:  ab ( f(g(a)) = f(g(b))  a = b )(P2)  Negated conclusion:  wz ( g(w) = g(z)   (w=z) )(C´)  Suppose (3) holds. Then  w and z s.t.:  g(w) = g(z)(1)  w <> z(2)  Since g(w) = g(z), it must be the cas that f(g(w)) = f(g(z)), therefore w=z by (P2), which contradicts (2).

September1999 October 1999 Construct a sequence of steps  Suppose that g is not one-to-one.  Then (by the definition of “one-to-one”) there must exist some values w and z in the domain of g such that g(w) = g(z) and w z.  But since g(w) = g(z), it must be the case that f(g(w)) = f(g(z)).  Since f  g is one-to-one, it must be the case that w=z, which contradicts our earlier supposition.

September1999 October 1999 Write a conclusion statement  Therefore, g must be one-to-one.

September1999 October 1999 Write “Q.E.D.”  Q.E.D.

September1999 October 1999 The Proof  Theorem. If f and f  g are one-to-one, then g is one-to-one.  Proof. Suppose that g is not one-to-one. Then (by the definition of “one-to-one”) there must exist some values w and z in the domain of g such that g(w) = g(z) and w z. But since g(w) = g(z), it must be the case that f(g(w)) = f(g(z)). Since f  g is one-to-one, it must be the case that w=z, which contradicts our earlier supposition. Therefore, g must be one-to-one. Q.E.D.

September1999 October 1999 Another proof problem  HW2, P2, exercise  Suppose that f is an invertible function from Y to Z and g is an invertible function from X to Y. Show that the inverse of the composition f  g is given by (f  g) -1 = g -1  f -1.  f is invertible: there exists a function f -1 such that  y  Y, f -1 (f(y)) = y.  g is invertible: there exists a function g -1 such that  x  X, g -1 (g(x)) = x.  If f  g is invertible, there must exist a function (f  g) -1 s.t. f  g -1 (f  g(x)) = x.  We wish to show that f  g -1 = g -1  f -1, i.e.,  x, f  g -1 (x) = g -1 (f -1 (x))

September1999 October 1999 The Second Proof  Theorem. If f, g, and f  g are invertible, then (f  g) -1 = g -1  f -1.  Proof. Since f, g, and f  g are invertible, then their inverse functions g -1, f -1, and f  g -1 must exist. The inverse function (f  g) -1 exhibits the property that  x, f  g -1 (f  g(x)) = x. We show that g -1  f -1 exhibits this property:  x, g -1 (f -1 (f(g(x))) = g -1 (g(x))Since f -1 is the inverse of f = x. Therefore, g -1  f -1 is the inverse of f  g. Q.E.D.

September1999 October 1999 The really hard one…  HW2, P3 part 2, *  Use the technique given in Exercise 19, together with the result of Exercise 13b, to find a formula for  k=1 n k 2.

September1999 October 1999 Big-O, ,   HW2, P4, 1.8.8(a,c)  (a) f(x) = 2x 2 + x 3 log x  (c) f(x) = (x 4 + x 2 + 1) / (x 4 + 1)

September1999 October 1999 Perfect numbers  (a) Show that 6 and 28 are perfect.  The divisors of 6 are 1, 2, and =6; therefore, 6 is a perfect number.  The divisors of 28 are 1, 2, 4, 7, and = 28; therefore, 28 is a perfect number.

September1999 October 1999 Harder perfect numbers  (b) Show that x=2 p-1 (2 p -1) is a perfect number when 2 p -1 is prime.  The divisors of x are 2 p-1, 2 p -1, their divisors, and the products of their divisors.  The divisors of 2 p-1 are 1, 2, 2 2, …, 2 p-1.  Since 2 p -1 is prime, its divisors are 1 and 2 p-1.

September1999 October 1999 Harder perfect numbers cont.  Therefore, the proper divisors of x are 1, 2, 2 2, …, 2 p-1, 2 p -1, 2(2 p -1), 2 2 (2 p -1 ), …, 2 p-2 (2 p -1).  The sum of these divisors is  i=0 p-1 2 i + (2 p -1)  i=0 p-2 2 i = 2 p -1 + (2 p -1) (2 p-1 – 1) = (2 p -1) (1 + 2 p-1 – 1) = 2 p-1 (2 p -1)  Therefore, 2 p-1 (2 p -1) is a proper number.  Q.E.D.

September1999 October 1999 Other requested topics  Sets, inclusion-exclusion  |A  B| = |A| + |B| - |A  B|  *Algorithms, complexity  *Quantifiers – – S(x), F(x), A(x,y)  (b) Every student has asked Prof. G. a question.  (c) Every faculty member has either asked Prof. M a question or been asked a question by Prof. M.  There are exactly two students who have asked Prof. dJ a question.  Functions  Integers and division