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

Size: px
Start display at page:

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

Transcription

1 Preparing for the CS 173 (A) Fall 2018 Midterm 1 1 Basic information Midterm 1 is scheduled from 7:15-8:30 PM. We recommend you arrive early so that you can start exactly at 7:15. Exams will be collected at 8:30 PM. There are two rooms for this first midterm: DCL 1320, and ECE You ll learn which one you are assigned to no later than October 4. If you are requesting a make-up exam, you should be prepared to do the make-up during the regularly scheduled class period, which is October 11 9:30-10:45 AM. (Right now this is the most likely time for the make-up exam.) The midterm will be closed book, and will have four parts: A proof using weak induction A proof using strong induction A proof by contradiction Several multiple-choice problems You should bring a pen - not a pencil. We will give as much partial credit as we can, and if you erase something you wrote we can t use it to give you partial credit. Do not bring your laptop, cellphone, textbook, or notes. This is closed book. Advice for the midterm. To prepare for the midterm, make sure you can do all problems that appeared in any prior homework or reading quiz, and all the material that was taught in class (even if it did not appear in any homework or reading quiz). In addition, make sure you can do the following set of problems; the midterm is likely to include very similar problems to these. I have indicated the relative difficulty as follows. If I think the problem is pretty easy, it is not marked. If I think the problem is a bit challenging I mark it with an asterisk (*). If I think the problem might be very challenging, I mark it with two asterisks (**). I strongly recommend you do as many of the easier problems first, before proceeding to the harder problems. Also, do not forget to do problems from each of the sections. The important thing is learning to write your proofs well, and to understand why they are correct. Here are some guidelines about writing proofs. 1. Be simple where you can be, and in particular please don t use notation where English suffices: all too often the mathematical notation isn t quite right. It s fine to say let A be the set of integers that are (a) the product of two different prime numbers and (b) are greater than 7 instead of writing it out with set builder notation. If you do want to write it out using formal mathematics, please also say in English clearly what you 1

2 mean, so you can get credit for what you say in English if what you write in formal mathematics isn t quite right. 2. Justify everything you say, unless it s arithmetic. Justifying what you are saying is one way of avoiding making an incorrect statement! For a proof by induction this means in particular: show where you use the Inductive Hypothesis, and make sure that you use the information you are given in the problem. For example, if you are doing a proof by induction for a recursively defined function, make sure you say that you are using the recursive definition and make sure you are using it properly. On the other hand, you do not need to justify arithmetic. Try to make sure you understand why your proof is correct. Memorizing a sequence of steps in a proof (e.g., in a weak induction proof to prove a formula) may help you do the same kind of problem but won t help you do something different. (Think, for example, about the challenge in doing the proof by induction that every finite simple graph has an even number of vertices of odd degree. You have to understand why induction works to be able to do that proof, because it doesn t quite have the same structure.) Similarly, proofs by contradiction don t have any specific structure. So try to understand why proofs work rather than memorizing techniques. Finally, please come to office hours! We will all be very glad to help you directly on any of these problems. You can show your solutions to any of these problems and get feedback from any of us. 2 Practice weak induction problems 1. Let a(n), n Z + be defined by a(1) = 0 and a(n) = a(n 1) if n 2. Prove that a(n) = 0 for all n Z Let h : Z + Z be defined by h(1) = 8 h(n) = 3h(n 1) if n 2 Find a closed form solution for h(n) and prove it correct by induction. 3. Let F (n), n Z +, be a sequence of sets defined by F (1) = {1} F (n) = {n} F (n 1) if n 2 Find a closed form solution for F (n) and prove it correct by induction. 4. Define f : N {false, true} such that f(0) = true and f(n) = f(n 1) for all n > 0. Prove that f(n) = true if n is even and f(n) = false if n is odd, for all n N. 2

3 5. (*) Let A n and B n, for n Z +, be sets such that A n B n. Prove that n i=1 A i n i=1 B i for all n Z (*) Let the sets A 1, A 2,... be defined by A 1 = {3} A n = {x Z y A n 1 such that x = y + 1}, for n > 1. Figure out what A 2 and A 3 are. Then, find a closed form solution for A n and prove it correct by induction on n. 7. (**) Let R denote the real numbers, and let function F n : R R be defined recursively for n = 0, 1,..., as follows: F 0 (x) = x, x R F n (x) = 2F n 1 (x), x R, when n > 0. (a) Show the formulas for F 1 (x), F 2 (x), and F 3 (x), (b) find a closed form formula for F n (x), and (c) prove your formula correct by induction on n. 3 Practice strong induction problems 1. Let t(n), n Z 0, be defined by t(0) = t(1) = 0 and t(n) = t(n 2) + 2 if n 2. Find a closed form solution for t(n) (defined in terms of whether n is even or odd) and prove it by induction. 2. Let G(n), n Z +, be a sequence of sets defined by G(1) = {1} G(2) = {2} G(n) = {n} G(n 2) if n 3 Find a closed form solution for G(n) and prove it correct by induction. 4 Practice harder induction proofs Some of these might be able to be solved using weak induction, others might require strong induction, but all of them require coming up with a parameter you can do induction on (and it may not be obvious). 1. (*) Consider the function F : Z + Z + Z + defined by F (1, x) = F (x, 1) = 1 for all x Z + and F (i, j) = min{f (i 1, j), F (i, j 1)} if i > 1 and j > 1. Find a closed form solution for F (i, j) and prove it correct by induction. 2. (*) Consider the function F : Z + Z + Z + defined by 3

4 F (1, m) = F (m, 1) = m, m Z + F (m 1,n)+F (m,n 1)+m+n F (m, n) = 2, (m, n) Z + Z + such that m > 1 and n > 1. For this function: Calculate F (2, 2), F (3, 2), and F (3, 3). Come up with a closed form solution for F (m, n) and prove it by induction. 3. (**) Let A i,j, where i, j are non-negative integers, be defined by A 0,j = {2j}, A i,0 = {3i}, and A i,j = A i 1,j A i,j 1 if i, j are both positive integers. For this collection of sets: Determine A 1,j for j = 1, 2, 3, 4, 5. Find a closed form solution for A 1,j and prove it correct by induction. Find a closed form solution for A i,1 and prove it correct by induction. Determine A i,j for i = 1, 2, 3 and j = 1, 2, 3. Find a closed form solution for A i,j, and prove it correct by induction. 4. (**) Suppose M[x, y] is defined for all positive integers x, y by M[1, x] = x for all positive integers x M[2, x] = 2x for all positive integers x M[k, 1] = k for all positive integers k M[k, x] = max{m[k 1, x], M[k, x 1]} for all x 2 and integers k 3 Prove or disprove: M[a, b] max{2a, 2b} for all positive integers a, b. 5 Practice proofs by contradiction problems Some facts you can use use when you do a proof by contradiction: 1. If A is a finite subset of the real numbers, then A has a minimum element and a maximum element. 2. If A is an arbitrary subset of the positive integers, then A has a minimum element. 3. If A is an arbitrary subset of the negative integers, then A has a maximum element. 4

5 4. More generally, (a) if N 0 R and A Z N0, then A has a minimum element. (b) if N 0 R and A Z N0, then A has a maximum element. Many proofs by contradiction amount to finding the smallest counterexample, so you should look at these cases to see if you can use them. 5.1 Do at least two of the induction proofs by contradiction 5.2 Other practice proofs by contradiction 1. Prove by contradiction that there is no largest positive integer. 2. Prove by contradiction that there is no smallest negative integer. 3. Prove by contradiction that there is no smallest positive rational number. 4. Prove by contradiction that there is an infinite number of primes. 5. Prove by contradiction that when p and q are distinct primes, that pq is not a rational number. 6. (*) We say that a set A is finite if A <. Prove by contradiction that there is an infinite number of finite subsets of the positive integers. 7. (**) Suppose P (x) is either true or false, depending on the value of x. Now suppose that for all x Z, P (x) P (x + 1). Prove that the set {x Z + P (x)} must be one of the following: Z + S b = {x Z x b}, where b Z + 8. (**) Suppose A Z satisfies x A ( y A, y > x). Show that if A then A must be infinite. 9. Prove by contradiction that if x 1, x 2,..., x n is a list of integers whose sum is NOT divisible by y (where y is some integer) then at least one of the x i is not divisible by y. 10. Prove by contradiction that if n is an integer and n is odd, then n is even. 5

6 6 Other problems The multiple choice problems are likely to be based on problems such as the ones you see below (although these aren t stated as multiple choice problems). The first set of problems are about logic, sets, and functions. Then there is a separate set of problems about relations and another separate set of problems about graphs. Problems about logic, sets, and functions. 1. Suppose A is the set of even integers and B = {x Z x 2 is even}. Prove or disprove: A = B. 2. Prove or disprove: Suppose that A is a subset of the set of positive integers such that x A y A s.t. y < x. Then A must be the empty set. 3. Prove or disprove: Suppose that A is a subset of the set of positive real numbers such that x A y A s.t. y < x. Then A must be the empty set. 4. Prove or disprove: Suppose that A is a subset of the set of positive integers such that x A y A s.t. y > x. Then A must be the empty set. 5. Prove or disprove: Suppose that A is a subset of the set of positive real numbers such that x A y A s.t. y > x. Then A must be the empty set. 6. (*) Consider the following property P (S) about a set S: x Z +, if x S then y S such that y < x. For each of the following sets S, determine if P (S) is true or false. (a) S = {1, 2, 3} (b) S = {2, 3} (c) S = (d) S = Z + (e) S = {x R x 3} (f) S = {x Z x 3} (g) S = {x R x 3} (h) S = {x Z x 3} (i) S = {x R + x 3} (j) S = {x Z + x 3} (k) S = {x R + x < 3} (l) S = {x Z + x < 3} 6

7 (m) S = {x R + x > 3} (n) S = {x Z + x > 3} 7. (*) Suppose S R is a set that satisfies: {x, y} R, [(x S y > x) y S] Which of the following sets could be S? (i.e., which of the following sets satisfy the stated property?): Z R {x R x > 2} {x R x < 2} 8. (*) Suppose S R is a set that satisfies: x R, [x S y S s.t. y < x] Which of the following sets could be S? (i.e., which of the following sets satisfy the stated property?): Z R {x R x > 2} {x R x < 2} 9. Remember that P(S) denotes the power set of S (i.e., the set of all subsets of S, see page 121 in Rosen). Consider the following sets: A = {S P(Z) : 1 S}, B = {S P(Z) : 1 S}, C = {S P(Z) : 2 S}, and D = P(Z). (a) Draw the Venn Diagram for these four sets, and determine whether each of the areas is empty or non-empty. For each non-empty area, provide an example of an element to prove it s non-empty. For each of the empty areas, prove that it is empty. (b) Is 2 A? (c) Is A B =? 7

8 10. Suppose we know P (k) P (k+1) for all nonnegative integers k. Suppose we also know that P (7) is true and P (4) is false. Use this information to answer the following questions. Do we know what P (12) is? If so, what is it? Do we know what P (6) is? If so, what is it? Do we know what P (3) is? If so, what is it? 11. Negate each of the following logical expressions: x A y B s.t. x + y 10 a A s.t. x A, a + x 10 (P Q) (P Q) 12. For each of the following, determine if it is a tautology, satisfiable but not a tautology, or always false. Prove your assertion. (P Q) (P Q) P P (P P ) ( P P ) (P Q) ( Q Q) (P Q) ( Q P ) (P Q) ( Q P ) 13. (*) Let A be the set of functions F : {1, 2, 3} {1, 2, 3, 4}. Let R be the binary relation on A defined by (f, g) R if and only if Image(f) = Image(g). (a) Give an example of an element of R, and a pair (f, g) of functions such that (f, g) R. (b) Prove or disprove: R is reflexive, R is irreflexive, R is symmetric, R is anti-symmetric, R is transitive. 14. Define, using set-builder notation, the set of all functions from the reals to the reals that are strictly increasing. 15. Define, using set-builder notation, the set of all functions from the reals to the reals that are Define, using set-builder notation, the set of all functions from the integers to the integers that are not onto. 17. Consider the sets A = {f : Z + Z + } B = {f A Image(f) Z + } 8

9 C = {f A z Z +, z Z + s.t. f(z ) = z}. Draw the Venn Diagram for these three sets, and prove whether each area is empty or not. 18. Consider the following formula: (A B) (B C) (B C) Is this formula a tautology, satisfiable but not a tautology, or not satisfiable? (Prove your answer) Rewrite the formula in 2CNF form. 19. (**) Consider the 2CNF formula ( A B) (B C) ( C A) Rewrite it so that it is a conjunction of clauses in the form X Y. Is the formula satisfiable? Find a satisfying assignment if the formula is satisfiable. 20. (**) Consider the 2CNF formula given by ( A B) ( B C) ( B C) Rewrite it so that it is a conjunction of clauses in the form X Y. Find a satisfying assignment if the formula is satisfiable Simplify the formula so that it has no parentheses and no implications ( ). Explain your work. Problems about relations 1. Let A be the set of non-empty subsets of Z + and let R be the binary relation on A defined by (X, Y ) R if and only if x X x = y Y y. (a) Give an example of an element of R, and a pair (X, Y ) of subsets of Z + such that (X, Y ) R. (b) Prove or disprove: R is reflexive, R is irreflexive, R is symmetric, R is anti-symmetric, R is transitive. (c) Think about what would change if you had replaced x X x = y Y y by x X x y Y y. 2. Consider the binary relation R defined on the positive integers by (x, y) R if and only if x + y 100. Is this relation reflexive? Irreflexive? Symmetric? Anti-symmetric? Transitive? (Prove each of your answers.) 9

10 3. Consider the binary relation R defined on the students currently enrolled at the University of Illinois at Urbana-Champaign by (x, y) R if and only if x and y were born on the same day of the week (e.g., both born on a Monday, or both born on a Tuesday, etc.). Prove that this relation is an equivalence relation. (Note - this means you should be able to define what an equivalence relation is.) How many equivalence classes does this relation define? Problems about graphs 1. Consider the graph defined as follows. The vertices correspond to all the people who live in the USA. There is an edge between two distinct vertices if the corresponding students are born on the same day of the week (see previous problem). Is this graph connected? If not, how many components do you think this graph has? 2. Consider the graph formed as follows. There are 8 vertices in the graph, corresponding to the elements of {1, 2, 3, 4, 5, 6, 7, 8}. An edge (i, j) is in the graph if and only if i and j are relatively prime. Draw the graph and then answer the following questions. Is the graph connected? What is the maximum degree of any node? 3. Consider the graph formed as follows. There are 8 vertices in the graph, corresponding to the elements of {1, 2, 3, 4, 5, 6, 7, 8}. An edge (i, j) is in the graph if and only if i j and i and j are not relatively prime. Draw the graph and then answer the following questions: Is the graph connected? What is the maximum degree of any node? 10

CS173 Lecture B, September 10, 2015

CS173 Lecture B, September 10, 2015 CS173 Lecture B, September 10, 2015 Tandy Warnow September 11, 2015 CS 173, Lecture B September 10, 2015 Tandy Warnow Examlet Today Four problems: One induction proof One problem on simplifying a logical

More information

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011 Math 31 Lesson Plan Day 2: Sets; Binary Operations Elizabeth Gillaspy September 23, 2011 Supplies needed: 30 worksheets. Scratch paper? Sign in sheet Goals for myself: Tell them what you re going to tell

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Operators. A logical statement is a mathematical statement that can be assigned a value either true or false.

More information

Midterm Exam Solution

Midterm Exam Solution Midterm Exam Solution Name PID Honor Code Pledge: I certify that I am aware of the Honor Code in effect in this course and observed the Honor Code in the completion of this exam. Signature Notes: 1. This

More information

Section 3.1: Direct Proof and Counterexample 1

Section 3.1: Direct Proof and Counterexample 1 Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion

More information

CS173 Lecture B, November 3, 2015

CS173 Lecture B, November 3, 2015 CS173 Lecture B, November 3, 2015 Tandy Warnow November 3, 2015 CS 173, Lecture B November 3, 2015 Tandy Warnow Announcements Examlet 7 is a take-home exam, and is due November 10, 11:05 AM, in class.

More information

CS 173: Induction. Madhusudan Parthasarathy University of Illinois at Urbana-Champaign. February 7, 2016

CS 173: Induction. Madhusudan Parthasarathy University of Illinois at Urbana-Champaign. February 7, 2016 CS 173: Induction Madhusudan Parthasarathy University of Illinois at Urbana-Champaign 1 Induction February 7, 016 This chapter covers mathematical induction, and is an alternative resource to the one in

More information

Math 10850, fall 2017, University of Notre Dame

Math 10850, fall 2017, University of Notre Dame Math 10850, fall 2017, University of Notre Dame Notes on first exam September 22, 2017 The key facts The first midterm will be on Thursday, September 28, 6.15pm-7.45pm in Hayes-Healy 127. What you need

More information

MATH 2200 Final LC Review

MATH 2200 Final LC Review MATH 2200 Final LC Review Thomas Goller April 25, 2013 1 Final LC Format The final learning celebration will consist of 12-15 claims to be proven or disproven. It will take place on Wednesday, May 1, from

More information

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

Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Math 2603 Midterm 1 Spring 2018 Your Name Student ID # Section Do not open this exam until you are told to begin. You will have 75 minutes for the exam. Check that you have a complete exam. There are 5

More information

Quiz 3 Reminder and Midterm Results

Quiz 3 Reminder and Midterm Results Quiz 3 Reminder and Midterm Results Reminder: Quiz 3 will be in the first 15 minutes of Monday s class. You can use any resources you have during the quiz. It covers all four sections of Unit 3. It has

More information

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality Math 336-Modern Algebra Lecture 08 9/26/4. Cardinality I started talking about cardinality last time, and you did some stuff with it in the Homework, so let s continue. I said that two sets have the same

More information

Proof Techniques (Review of Math 271)

Proof Techniques (Review of Math 271) Chapter 2 Proof Techniques (Review of Math 271) 2.1 Overview This chapter reviews proof techniques that were probably introduced in Math 271 and that may also have been used in a different way in Phil

More information

Math 230 Final Exam, Spring 2008

Math 230 Final Exam, Spring 2008 c IIT Dept. Applied Mathematics, May 15, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2008 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part

More information

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2

Induction 1 = 1(1+1) = 2(2+1) = 3(3+1) 2 Induction 0-8-08 Induction is used to prove a sequence of statements P(), P(), P(3),... There may be finitely many statements, but often there are infinitely many. For example, consider the statement ++3+

More information

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics

MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics MATH 341, Section 001 FALL 2014 Introduction to the Language and Practice of Mathematics Class Meetings: MW 9:30-10:45 am in EMS E424A, September 3 to December 10 [Thanksgiving break November 26 30; final

More information

One-to-one functions and onto functions

One-to-one functions and onto functions MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B. Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination III (Spring 2007) Problem 1: Suppose A, B, C and D are finite sets

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques CS 30, Winter 2011 Morphology of Proof: An introduction to rigorous proof techniques 1 Methodology of Proof An example Deep down, all theorems are of the form If A then B, though they may be expressed

More information

Mathematical induction

Mathematical induction Mathematical induction Notes and Examples These notes contain subsections on Proof Proof by induction Types of proof by induction Proof You have probably already met the idea of proof in your study of

More information

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel

Lecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical

More information

Proofs. Chapter 2 P P Q Q

Proofs. Chapter 2 P P Q Q Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,

More information

Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems

Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems Supplement for MAA 3200, Prof S Hudson, Fall 2018 Constructing Number Systems A major goal of this course is to construct the number systems N, Z and Q, and especially the real numbers R, which play such

More information

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:

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: CS70 Discrete Mathematics and Probability Theory, Fall 2018 Midterm 1 8:00-10:00pm, 24 September Your First Name: SIGN Your Name: Your Last Name: Your Exam Room: Name of Person Sitting on Your Left: Name

More information

Computer Science Foundation Exam

Computer Science Foundation Exam Computer Science Foundation Exam May 6, 2016 Section II A DISCRETE STRUCTURES NO books, notes, or calculators may be used, and you must work entirely on your own. SOLUTION Question Max Pts Category Passing

More information

Inference and Proofs (1.6 & 1.7)

Inference and Proofs (1.6 & 1.7) EECS 203 Spring 2016 Lecture 4 Page 1 of 9 Introductory problem: Inference and Proofs (1.6 & 1.7) As is commonly the case in mathematics, it is often best to start with some definitions. An argument for

More information

Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1

Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1 CS 70 Discrete Mathematics and Probability Theory Fall 2012 Vazirani Note 1 Course Outline CS70 is a course on "Discrete Mathematics and Probability for Computer Scientists." The purpose of the course

More information

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

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is 1. Describe the elements of the set (Z Q) R N. Is this set countable or uncountable? Solution: The set is equal to {(x, y) x Z, y N} = Z N. Since the Cartesian product of two denumerable sets is denumerable,

More information

Basic Logic and Proof Techniques

Basic Logic and Proof Techniques Chapter 3 Basic Logic and Proof Techniques Now that we have introduced a number of mathematical objects to study and have a few proof techniques at our disposal, we pause to look a little more closely

More information

MA103 STATEMENTS, PROOF, LOGIC

MA103 STATEMENTS, PROOF, LOGIC MA103 STATEMENTS, PROOF, LOGIC Abstract Mathematics is about making precise mathematical statements and establishing, by proof or disproof, whether these statements are true or false. We start by looking

More information

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS 2013 MATH 122: Logic and Foundations Instructor and section (check one): K. Mynhardt [A01] CRN 12132 G. MacGillivray [A02] CRN 12133 NAME: V00#: Duration: 3

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive Announcements Homework 2 Due Homework 3 Posted Due next Monday Quiz 2 on Wednesday Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Exam 1 in two weeks Monday, February 19

More information

Introducing Proof 1. hsn.uk.net. Contents

Introducing Proof 1. hsn.uk.net. Contents Contents 1 1 Introduction 1 What is proof? 1 Statements, Definitions and Euler Diagrams 1 Statements 1 Definitions Our first proof Euler diagrams 4 3 Logical Connectives 5 Negation 6 Conjunction 7 Disjunction

More information

Supplementary exercises in propositional logic

Supplementary exercises in propositional logic Supplementary exercises in propositional logic The purpose of these exercises is to train your ability to manipulate and analyze logical formulas. Familiarize yourself with chapter 7.3-7.5 in the course

More information

CS 340: Discrete Structures for Engineers

CS 340: Discrete Structures for Engineers CS 340: Discrete Structures for Engineers Instructor: Prof. Harry Porter Office: FAB 115-06 harry@cs.pdx.edu Hours: Mon 3-4, Wed 3-4, or by appointment Website: web.cecs.pdx.edu/~harry/discrete Class Mailing

More information

CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about:

CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach you about: CS 70 Discrete Mathematics for CS Fall 2006 Papadimitriou & Vazirani Lecture 1 Course Outline CS70 is a course about on Discrete Mathematics for Computer Scientists. The purpose of the course is to teach

More information

Homework 1 Submission

Homework 1 Submission Homework Submission Sample Solution; Due Date: Thursday, May 4, :59 pm Directions: Your solutions should be typed and submitted as a single pdf on Gradescope by the due date. L A TEX is preferred but not

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Exam Practice Problems

Exam Practice Problems Math 231 Exam Practice Problems WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the topics.

More information

CS173 Strong Induction and Functions. Tandy Warnow

CS173 Strong Induction and Functions. Tandy Warnow CS173 Strong Induction and Functions Tandy Warnow CS 173 Introduction to Strong Induction (also Functions) Tandy Warnow Preview of the class today What are functions? Weak induction Strong induction A

More information

Math 230 Final Exam, Spring 2009

Math 230 Final Exam, Spring 2009 IIT Dept. Applied Mathematics, May 13, 2009 1 PRINT Last name: Signature: First name: Student ID: Math 230 Final Exam, Spring 2009 Conditions. 2 hours. No book, notes, calculator, cell phones, etc. Part

More information

CS1800 Discrete Structures Spring 2018 February CS1800 Discrete Structures Midterm Version A

CS1800 Discrete Structures Spring 2018 February CS1800 Discrete Structures Midterm Version A CS1800 Discrete Structures Spring 2018 February 2018 CS1800 Discrete Structures Midterm Version A Instructions: 1. The exam is closed book and closed notes. You may not use a calculator or any other electronic

More information

Divisibility = 16, = 9, = 2, = 5. (Negative!)

Divisibility = 16, = 9, = 2, = 5. (Negative!) Divisibility 1-17-2018 You probably know that division can be defined in terms of multiplication. If m and n are integers, m divides n if n = mk for some integer k. In this section, I ll look at properties

More information

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page. Formal Methods Name: Key Midterm 2, Spring, 2007 Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.. Determine whether each of

More information

Solution to Proof Questions from September 1st

Solution to Proof Questions from September 1st Solution to Proof Questions from September 1st Olena Bormashenko September 4, 2011 What is a proof? A proof is an airtight logical argument that proves a certain statement in general. In a sense, it s

More information

MAT115A-21 COMPLETE LECTURE NOTES

MAT115A-21 COMPLETE LECTURE NOTES MAT115A-21 COMPLETE LECTURE NOTES NATHANIEL GALLUP 1. Introduction Number theory begins as the study of the natural numbers the integers N = {1, 2, 3,...}, Z = { 3, 2, 1, 0, 1, 2, 3,...}, and sometimes

More information

Contribution of Problems

Contribution of Problems Exam topics 1. Basic structures: sets, lists, functions (a) Sets { }: write all elements, or define by condition (b) Set operations: A B, A B, A\B, A c (c) Lists ( ): Cartesian product A B (d) Functions

More information

Proof by contrapositive, contradiction

Proof by contrapositive, contradiction Proof by contrapositive, contradiction Margaret M. Fleck 9 September 2009 This lecture covers proof by contradiction and proof by contrapositive (section 1.6 of Rosen). 1 Announcements The first quiz will

More information

Math 3000 Section 003 Intro to Abstract Math Homework 6

Math 3000 Section 003 Intro to Abstract Math Homework 6 Math 000 Section 00 Intro to Abstract Math Homework 6 Department of Mathematical and Statistical Sciences University of Colorado Denver, Spring 01 Solutions April, 01 Please note that these solutions are

More information

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730

Contradiction MATH Contradiction. Benjamin V.C. Collins, James A. Swenson MATH 2730 MATH 2730 Contradiction Benjamin V.C. Collins James A. Swenson Contrapositive The contrapositive of the statement If A, then B is the statement If not B, then not A. A statement and its contrapositive

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

PROBLEM SET 3: PROOF TECHNIQUES

PROBLEM SET 3: PROOF TECHNIQUES PROBLEM SET 3: PROOF TECHNIQUES CS 198-087: INTRODUCTION TO MATHEMATICAL THINKING UC BERKELEY EECS FALL 2018 This homework is due on Monday, September 24th, at 6:30PM, on Gradescope. As usual, this homework

More information

MTH 299 In Class and Recitation Problems SUMMER 2016

MTH 299 In Class and Recitation Problems SUMMER 2016 MTH 299 In Class and Recitation Problems SUMMER 2016 Last updated on: May 13, 2016 MTH299 - Examples CONTENTS Contents 1 Week 1 3 1.1 In Class Problems.......................................... 3 1.2 Recitation

More information

CS1800: Mathematical Induction. Professor Kevin Gold

CS1800: Mathematical Induction. Professor Kevin Gold CS1800: Mathematical Induction Professor Kevin Gold Induction: Used to Prove Patterns Just Keep Going For an algorithm, we may want to prove that it just keeps working, no matter how big the input size

More information

Math/EECS 1028M: Discrete Mathematics for Engineers Winter Suprakash Datta

Math/EECS 1028M: Discrete Mathematics for Engineers Winter Suprakash Datta Math/EECS 1028M: Discrete Mathematics for Engineers Winter 2017 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.eecs.yorku.ca/course/1028 Administrivia

More information

Course Staff. Textbook

Course Staff. Textbook Course Staff CS311H: Discrete Mathematics Intro and Propositional Logic Instructor: Işıl Dillig Instructor: Prof. Işıl Dillig TAs: Jacob Van Geffen, Varun Adiga, Akshay Gupta Class meets every Monday,

More information

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008) Problem 1: Suppose A, B, C and D are arbitrary sets.

More information

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011

Math 31 Lesson Plan. Day 5: Intro to Groups. Elizabeth Gillaspy. September 28, 2011 Math 31 Lesson Plan Day 5: Intro to Groups Elizabeth Gillaspy September 28, 2011 Supplies needed: Sign in sheet Goals for students: Students will: Improve the clarity of their proof-writing. Gain confidence

More information

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel LECTURE NOTES on DISCRETE MATHEMATICS Eusebius Doedel 1 LOGIC Introduction. First we introduce some basic concepts needed in our discussion of logic. These will be covered in more detail later. A set is

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

More information

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

Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 Mathematics 220 Midterm Practice problems from old exams Page 1 of 8 1. (a) Write the converse, contrapositive and negation of the following statement: For every integer n, if n is divisible by 3 then

More information

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm.

Announcements. CS243: Discrete Structures. Sequences, Summations, and Cardinality of Infinite Sets. More on Midterm. Midterm. Announcements CS43: Discrete Structures Sequences, Summations, and Cardinality of Infinite Sets Işıl Dillig Homework is graded, scores on Blackboard Graded HW and sample solutions given at end of this

More information

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

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction written by Sarah Peluse, revised by Evangelie Zachos and Lisa Sauermann September 27, 2016 1 Introduction

More information

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee

CSCE 222 Discrete Structures for Computing. Review for the Final. Hyunyoung Lee CSCE 222 Discrete Structures for Computing Review for the Final! Hyunyoung Lee! 1 Final Exam Section 501 (regular class time 8:00am) Friday, May 8, starting at 1:00pm in our classroom!! Section 502 (regular

More information

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction

Proofs: A General How To II. Rules of Inference. Rules of Inference Modus Ponens. Rules of Inference Addition. Rules of Inference Conjunction Introduction I Proofs Computer Science & Engineering 235 Discrete Mathematics Christopher M. Bourke cbourke@cse.unl.edu A proof is a proof. What kind of a proof? It s a proof. A proof is a proof. And when

More information

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

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 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 Due Thursday Pages 51-53/ 19-24, 29-36, *48-50, 60-65

More information

Chapter 1 Review of Equations and Inequalities

Chapter 1 Review of Equations and Inequalities Chapter 1 Review of Equations and Inequalities Part I Review of Basic Equations Recall that an equation is an expression with an equal sign in the middle. Also recall that, if a question asks you to solve

More information

CA320 - Computability & Complexity

CA320 - Computability & Complexity CA320 - Computability & Complexity David Sinclair Overview In this module we are going to answer 2 important questions: Can all problems be solved by a computer? What problems be efficiently solved by

More information

Propositional Logic, Predicates, and Equivalence

Propositional Logic, Predicates, and Equivalence Chapter 1 Propositional Logic, Predicates, and Equivalence A statement or a proposition is a sentence that is true (T) or false (F) but not both. The symbol denotes not, denotes and, and denotes or. If

More information

Proofs. Introduction II. Notes. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Proofs. Introduction II. Notes. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007 Proofs Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Fall 2007 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.5, 1.6, and 1.7 of Rosen cse235@cse.unl.edu

More information

Fall 2017 Test II review problems

Fall 2017 Test II review problems Fall 2017 Test II review problems Dr. Holmes October 18, 2017 This is a quite miscellaneous grab bag of relevant problems from old tests. Some are certainly repeated. 1. Give the complete addition and

More information

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.

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. For some problems, several sample proofs are given here. Problem 1. 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.

More information

Assignment 3 Logic and Reasoning KEY

Assignment 3 Logic and Reasoning KEY Assignment 3 Logic and Reasoning KEY Print this sheet and fill in your answers. Please staple the sheets together. Turn in at the beginning of class on Friday, September 8. Recall this about logic: Suppose

More information

Solutions to Sample Problems for Midterm

Solutions to Sample Problems for Midterm Solutions to Sample Problems for Midterm Problem 1. The dual of a proposition is defined for which contains only,,. It is For a compound proposition that only uses,, as operators, we obtained the dual

More information

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only 1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the

More information

Notes on ordinals and cardinals

Notes on ordinals and cardinals Notes on ordinals and cardinals Reed Solomon 1 Background Terminology We will use the following notation for the common number systems: N = {0, 1, 2,...} = the natural numbers Z = {..., 2, 1, 0, 1, 2,...}

More information

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 EECS 70 Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 1 Getting Started In order to be fluent in mathematical statements, you need to understand the basic framework of the language

More information

Mathematical Preliminaries. Sipser pages 1-28

Mathematical Preliminaries. Sipser pages 1-28 Mathematical Preliminaries Sipser pages 1-28 Mathematical Preliminaries This course is about the fundamental capabilities and limitations of computers. It has 3 parts 1. Automata Models of computation

More information

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2: 03 17 08 3 All about lines 3.1 The Rectangular Coordinate System Know how to plot points in the rectangular coordinate system. Know the

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 3336: Discrete Mathematics Practice Problems for Exam I Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing

More information

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition. Math 231 Exam Practice Problem Solutions WARNING: This is not a sample test. Problems on the exams may or may not be similar to these problems. These problems are just intended to focus your study of the

More information

Introduction to Logic and Axiomatic Set Theory

Introduction to Logic and Axiomatic Set Theory Introduction to Logic and Axiomatic Set Theory 1 Introduction In mathematics, we seek absolute rigor in our arguments, and a solid foundation for all of the structures we consider. Here, we will see some

More information

Section 2.3: Statements Containing Multiple Quantifiers

Section 2.3: Statements Containing Multiple Quantifiers Section 2.3: Statements Containing Multiple Quantifiers In this section, we consider statements such as there is a person in this company who is in charge of all the paperwork where more than one quantifier

More information

Discrete Mathematics. Kenneth A. Ribet. January 31, 2013

Discrete Mathematics. Kenneth A. Ribet. January 31, 2013 January 31, 2013 A non-constructive proof Two classical facts are that π and e 2.71828... are irrational. Further, it is known that neither satisfies a quadratic equation x 2 + ax + b = 0 where a and b

More information

Solutions to Homework Assignment 2

Solutions to Homework Assignment 2 Solutions to Homework Assignment Real Analysis I February, 03 Notes: (a) Be aware that there maybe some typos in the solutions. If you find any, please let me know. (b) As is usual in proofs, most problems

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

STRATEGIES OF PROBLEM SOLVING

STRATEGIES OF PROBLEM SOLVING STRATEGIES OF PROBLEM SOLVING Second Edition Maria Nogin Department of Mathematics College of Science and Mathematics California State University, Fresno 2014 2 Chapter 1 Introduction Solving mathematical

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

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

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 135: Randomized Exam Practice Problems These are the warm-up exercises and recommended problems taken from all the extra practice sets presented in random order. The challenge problems have not been

More information

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes These notes form a brief summary of what has been covered during the lectures. All the definitions must be memorized and understood. Statements

More information

Review Sheet for the Final Exam of MATH Fall 2009

Review Sheet for the Final Exam of MATH Fall 2009 Review Sheet for the Final Exam of MATH 1600 - Fall 2009 All of Chapter 1. 1. Sets and Proofs Elements and subsets of a set. The notion of implication and the way you can use it to build a proof. Logical

More information

With Question/Answer Animations

With Question/Answer Animations Chapter 5 With Question/Answer Animations Copyright McGraw-Hill Education. All rights reserved. No reproduction or distribution without the prior written consent of McGraw-Hill Education. Chapter Summary

More information

Do not start until you are given the green signal

Do not start until you are given the green signal SOLUTIONS CSE 311 Winter 2011: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions. Time: 50 minutes Instructions: 1. Write your name and student ID on the

More information

CSE 2001: Introduction to Theory of Computation Fall Suprakash Datta

CSE 2001: Introduction to Theory of Computation Fall Suprakash Datta CSE 2001: Introduction to Theory of Computation Fall 2013 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.eecs.yorku.ca/course/2001 9/10/2013

More information

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

More information