Preparing for the CS 173 (A) Fall 2018 Midterm 1
|
|
- Beatrix Glenn
- 5 years ago
- Views:
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 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 informationMath 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 informationLogic, 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 informationMidterm 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 informationSection 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 informationCS173 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 informationCS 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 informationMath 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 informationMATH 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 informationDo 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 informationQuiz 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 informationMath 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 informationProof 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 informationMath 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 informationInduction 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 informationMATH 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 informationOne-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 informationMATH 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 informationProblem 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 informationProofs. 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 informationCS 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 informationMathematical 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 informationLecture Notes on DISCRETE MATHEMATICS. Eusebius Doedel
Lecture Notes on DISCRETE MATHEMATICS Eusebius Doedel c Eusebius J. Doedel, 009 Contents Logic. Introduction............................................................................... Basic logical
More informationProofs. 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 informationSupplement 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 informationMidterm 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 informationComputer 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 informationInference 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 informationDiscrete 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 informationFinal 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 informationBasic 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 informationMA103 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 informationUNIVERSITY 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 informationClimbing 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 informationAnnouncements. 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 informationIntroducing 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 informationSupplementary 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 informationCS 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 informationCS70 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 informationHomework 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 informationLECTURE 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 informationExam 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 informationCS173 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 informationMath 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 informationCS1800 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 informationDivisibility = 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 informationShow 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 informationSolution 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 informationMAT115A-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 informationContribution 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 informationProof 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 informationMath 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 informationContradiction 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 informationMath 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 informationPROBLEM 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 informationMTH 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 informationCS1800: 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 informationMath/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 informationCourse 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 informationDepartment 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 informationMath 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 informationLECTURE 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 informationTruth-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 informationMathematics 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 informationAnnouncements. 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 informationWriting 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 informationCSCE 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 informationProofs: 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 informationIntro 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 informationChapter 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 informationCA320 - 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 informationPropositional 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 informationProofs. 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 informationFall 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 informationa. 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 informationAssignment 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 informationSolutions 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 informationExtensions 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 informationNotes 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 informationDiscrete 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 informationMathematical 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 informationMath101, 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 informationClimbing 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 informationMath 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.
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 informationIntroduction 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 informationSection 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 informationDiscrete 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 informationSolutions 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 informationIn 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 informationIn 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 informationSTRATEGIES 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 informationTopics 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 information8. 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 informationFoundations 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 informationReview 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 informationWith 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 informationDo 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 informationCSE 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 informationPRACTICE 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