(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.
|
|
- Lynn Lloyd
- 5 years ago
- Views:
Transcription
1 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 topics. Note: The final is cumulative. MIDTERM I: (1) Which of the following are propositions? If it is a proposition, determine its truth value: (a) Is Jack 20 years old? Not a proposition. Questions have no truth value and thusly are not propositions. (b) Do your homework! Not a proposition. Commands have no truth value and thusly are not propositions. (c) This statement is not a proposition. This is a false proposition. (d) x < 2. A propositional function, but not a proposition. (e) If 3 < 2 then 1 R. This is a proposition and its true (by default). (f) For all finite sets X and Y, it follows that X Y = X Y. This is a true proposition. (g) Does induction require the base case(s)? This is not a proposition (but the answer to the question is yes).
2 (h) x R, y R, y 4 = x. This is a false proposition (as there is no real even root of a negative). (i) x R, y R, y 4 > x. This is a true proposition (as one can always find y such that the fourth power is more than a given x). (j) y Q, x R, y > x This is a false proposition (for any rational there exists a real larger than that rational minus 10). (k) y Q, x R, y < x 2. This is a true proposition (use y = 1). (l) y Q, x R, y < x 3. This is a false proposition (as for any y there is an x such that x 3 y).
3 (2) Let U = {n Z 0 n 9}. Let A = {2, 3, 5, 7} and B = {2, 4, 6, 8}. (a) Find A B. {3, 5, 7} (b) Find A B. {0, 1, 9} (c) How many elements does the power set P(A) have? 16 (3) Assume p and q are true propositions, while r is a false propositions. Find the truth value of the following propositions. (a) (p q) (p (q r)). True (b) ((p q) r) (p q). False
4 (4) Assume P (x) and Q(x) are propositional functions on the domain D and r D. Suppose it is given that P (r) is true and Q(r) is false. For each quantified proposition, first determine if we have enough information to give it a true value. If there is enough information, report the truth value. (a) x, P (x). True since P (r) is true. (b) x, Q(x). There is not enough information as Q(x) could be true for some x D such that x r. (c) x, y, Q(y) P (x). True since for any x we can set y to r, making the implication true (by default). (d) x, y, P (x) Q(y). False since x and y both set to r makes the implication is false.
5 (5) Let the domain of discourse be the real numbers. Determine the truth value of the following quantified propositions. (a) x, (x < 2 x 2 < 4). False. Let x = 2. (b) x, (x < 2 x 2 < 4). True. For instance, pick x = 3. (6) Let the domain of discourse be the direct product of the real numbers with the real numbers. Determine the truth value of the following quantified propositions. (a) x, y, x 2 + y < 0. False. Let x be a real number. Set y = 1. Then x < 0 is not true. (b) x, y, x 2 + y < 0. True. Let x be a real number. Set y = x 2 1. Then x 2 + y = 1 < 0. (7) Negate the quantified proposition in Problem (6), Part (a). x, y, x 2 + y 0.
6 (8) Prove the following propositions or find a counterexample. (a) If m is an even integer and n is an odd integer then mn is even. Proof : Let m be an even integer and n be an odd integer. Then k Z such that m = 2k. Therefore, mn = (2k)n = 2(kn), which is even since kn Z (b) Let m, n be integers. If mn is an even integer then m and n are even integers. Counterexample: Let m = 1 and n = 2. Then mn = 2 is even, but not both m and n are even. (9) Use induction to prove the following proposition: For all integers n 4, n 2 2 n. Proof: First we prove the following claim: For all integers n 4, 2n n. We shall prove this by induction: Base Case: 2(4) + 1 = 9 16 = 2 4. Let n 4 be an integer and assume 2n+1 2 n. Then 2(n+1)+1 = 2n n +2 n = 2 n+1. So the claim has been established by induction. Now we prove the required inequality: Base case: 4 2 = = 2 4. Let n 4 be an integer and assume n 2 2 n. Then (n + 1) 2 = n 2 + 2n n + 2 n = 2 n+1 and so the proof is done by induction
7 (10) Use induction to prove the following proposition: For all integers, n 1, (2n 1) 2 = 4n3 n. 3 Proof: We begin with a base case: 1 2 = 1 and 4(1)3 1 3 Let n N and assume = 1. Then (2n 1) 2 = 4n3 n (2n 1) 2 + (2n + 1) 2 = 4n3 n 3 + (2n + 1) 2 n(2n 1)(2n + 1) = + (2n + 1) 2 3 [ ] n(2n 1) = (2n + 1) + (2n + 1) 3 [ 2n 2 ] n + 6n + 3 = (2n + 1) 3 [ 2n 2 ] + 5n + 3 = (2n + 1) 3 = = (2n + 1)(n + 1)(2n + 3) 3 (n + 1)[2(n + 1) 1][2(n + 1) + 1] 3 That completes the proof by induction = 4(n + 1)3 (n + 1). 3
8 (11) Use induction to prove the following proposition: n ( ) 2 n(n + 1) n N, i 3 =. 2 i=1 1 ( ) 2 (1)(1 + 1) Proof: We begin with the base case. i 3 = 1 3 = 1 and = 1. 2 Let n N. Assume that Then i=1 n ( ) 2 n(n + 1) i 3 =. 2 i=1 n+1 i 3 = i=1 ( n ) i 3 + (n + 1) 3 i=1 = ( ) 2 n(n + 1) + (n + 1) 3 2 = (n + 1) 2 [ n 2 4 = (n + 1) 2 ( n ) 2 ] + (n + 1) = ( ) 2 (n + 1)[(n + 1) + 1]. 2 That completes the proof by induction (12) Using induction prove that n N, 5 n 1 is divisible by 4. Proof: We begin with the base case = 4 is divisible by 4. Let n N. Assume that 5 n 1 is divisible by 4. So there exists k Z such that 5 n 1 = 4k. Consider that 5 n+1 1 = 5(5 n ) 1 = 4(5 n ) + 5 n 1 = 4(5 n + k). Since 5 n + k Z it follows that 5 n+1 1 is divisible by 4 thereby completing the proof by induction
9 (13) Prove the following proposition or find a counterexample: For all sets A, B and C, if A C = B C then A = B. Counterexample: Let A = {0}, B = {1}, and C =. Then A C = B C = but A B. (14) Prove the following proposition or find a counterexample: For all sets A, B and C, if C and A C = B C then A = B. Proof: Let A, B, C be sets and assume both C and A C = B C. If A is empty then = A C = B C, which means B must be empty since C is non-empty. By symmetry, if B is empty then so is A. Either way A = B. Assume neither A nor B is empty. Let x A and y C. Then (x, y) A C, but since A C = B C, it follows that (x, y) B C, which implies that x B. By symmetry if x B then x A. So A and B are subsets of each other and thus A = B
10 MIDTERM II: (15) True or False? (a) If f g is one-to-one, then g is one-to-one. True (can you prove it?) (b) If f g is onto, then g is onto. False (can you find a counterexample?) (c) The function f : N N given by f(n) = n 2 is injective (1-1). True (d) The function f : N N given by f(n) = n 2 is surjective (onto). False (e) The function f : N N given by f(n) = n 2 is bijective. False (f) There are 60 rearrangements of the word AP P LE. True
11 (16) How many 5-card deals from a standard deck of 52 contain at least one card from each of the four suits? A 5-card deal containing at least one card from each suit necessarily contains two cards of one suit and a single card each from the other three suits. So choose a suit (C(4, 1) = 4 choices), then two cards of that suit (C(13, 2) = 78 choices), then a card each from three remaining suits (C(13, 1) 3 = 2, 197 choices). So by the multiplication principle, there are......c(4, 1)C(13, 2)C(13, 1) 3 = 685, 464 such deals. (17) In how many ways can 3 boys and 5 girls stand in a line such that no two boys are standing next to each other? Arrange the girls. There are 5! = 120 ways to do this. That gives 6 potential positions for a boy (on either side of a girl). So there are P (6, 3) = 20 ways to arrange the boys into 3 of 6 of those positions. So by the multiplication principle, there are......(120)(20) = 2, 400 such arrangements.
12 (18) Suppose 8 fish are to distributed in 3 distinct tanks. In how many ways can this be done if... (a)...the fish are distinguishable? Each distinguishable fish can go into any of the 3 tanks. distribute the fish. So there are 3 8 = 6, 561 ways to (b)...the fish are indistinguishable? Selections of two slots to be s (separations symbols) among = 10 slots corresponds (bijectively) to distributions of the indistinguishable fish into 3 tanks. So there are C(10, 2) = 45 such distributions. (c)...the fish are indistinguishable and each tank must get a fish? Selections of two slots to be s (separations symbols) among 7 slots (F F F F F F F F ) corresponds (bijectively) to distributions of the indistinguishable fish into 3 tanks with at least one fish in each tank. So there are C(7, 2) = 21 such distributions. (19) How many non-negative integer solutions are there to x 1 + x 2 + x 3 = 20? Corresponds to counting how many choices of 2 slots there are among = 22 slots (two slots to be separation symbols). The other twenty slots are filled with +1 s. The the left of the first separation symbols is x 1, in between is x 2, and to the right of the second separation symbol is x 3. So there are C(22, 2) = 231 such solutions.
13 (20) Show that a nonempty set has the same number of subsets with an odd number of elements as it has with an even number of elements. Proof: Let n N and X be a set with n elements. n Using the binomial theorem, (x + y) n = C(n, k)x n k y k, with x = 1 and y = 1 we get: k=0 n C(n, k)( 1) k = C(n, 0) C(n, 1) + + ( 1) n C(n, n) = 0. k=0 By rearranging terms we get C(n, 0)+C(n, 2)+ +C(n, n 1) = C(n, 1)+C(n, 3)+ +C(n, n) when n is odd and C(n, 0) + C(n, 2) + + C(n, n) = C(n, 1) + C(n, 3) + + C(n, n 1) when n is even. Thus the number of subsets of X with an odd number of elements (sum of C(n, k) for odd k) is equal to the number of subsets of X with an even number of elements (sum of C(n, k) for even k) (21) Assume f : Z A given by f(x) = 2x 5 is onto. Determine the set A. A would be the set of odd integers. (22) Determine if g : R (0, 1] given by f(x) = 1 1+x 2 is an injection (1-1), a surjection (onto), and a bijection. f(1) = f( 1), so f is not 1 1 (so not a bijection). Let 0 < m 1. Set x = f(x) = m, so f is onto. 1 m 1. Then (23) Is the binary relation {(1, 1), (2, 3), (3, 2), (3, 3), (4, 4), (5, 6), (6, 6)} on N symmetric? No (24) Is the binary relation {(2, 2), (2, 3), (3, 3), (3, 4), (4, 4), (5, 6), (5, 7), (6, 7)} on N anti-symmetric? Yes
14 (25) Let f : N N be given by f(1) = 1 and for n 2, f(n) = n 1. Prove that f is a surjection (onto) but not a bijection. Proof : Let n N. Then f(n + 1) = n. Hence f is onto. Since f(1) = f(2) = 1, f is not 1 1 and therefore not a bijection (26) Let f : N N be given by f(n) = n + 1. Prove that f is an injection (1-1) but not a bijection. Proof : Let m, n N. Assume f(m) = f(n). Then m + 1 = n + 1 and so m = n. Thus f is 1 1. f is not onto since f(n) = n + 1 > 1 and 1 N. So f is not a bijection (27) Consider these definitions: A function f : R R is strictly increasing if x, y R, x > y f(x) > f(y) and strictly decreasing if x, y R, x > y f(x) < f(y). (a) Show that if f : R R is strictly increasing and x R, f(x) > 0 then g(x) = 1 f(x) decreasing. is strictly Proof : Let f : R R be strictly increasing. Define g : R R by g(x) = 1. Let x, y R. f(x) 1 Assume x > y. Then f(x) > f(y) > 0. Then f(x) < 1. This means g(x) < g(y). Hence g f(y) is strictly decreasing (b) Show that if f : R R is strictly increasing then g(x) = f(1 x) is strictly decreasing. Proof : Let f : R R be strictly increasing. Define g : R R by g(x) = f(1 x). Let x, y R. Assume x > y. Then 1 x < 1 y. Then f(1 x) < f(1 y). This means g(x) < g(y). Hence g is strictly decreasing
15 (28) Consider the binary relation R on R given by (x, y) R if x 2 = y 2. Determine if this relation is reflexive, symmetric, transitive, and anti-symmetric. This relation is not anti-symmetric, just consider that ( 1, 1), (1, 1) R. But it is reflexive, symmetric, and transitive. (29) Consider the binary relation R on N given by (m, n) R if m divides n. Determine if this relation is reflexive, symmetric, transitive, and anti-symmetric. This relation is not symmetric (for example, 2 divides 6 but not vice versa). But it is reflexive, anti-symmetric, and transitive. (30) Consider these definitions: A function f : R R is even if x R, f( x) = f(x) and odd if x R, f( x) = f(x). Suppose f : R R and g : R R are odd functions. Show that h(x) = (f g)(x) is odd. Show that k(x) = f(x)g(x) is even. Proof : Let f : R R and g : R R be odd. Define h : R R by h(x) = (f g)(x) = f(g(x)) and define k : R R by k(x) = f(x)g(x). Let x R. Then h( x) = f(g( x)) = f( g(x)) = f(g(x)) = h(x) and k( x) = f( x)g( x) = ( f(x))( g(x)) = f(x)g(x) = k(x). Hence h(x) is odd and k(x) is even (31) Let A, B be nonempty sets. Let f : A B and S B. The inverse image of S under f is f 1 (S) = {x A f(x) S}. Prove that f 1 (S) = f 1 (S). Proof : Let A, B be nonempty sets. Let f : A B be a function and S B. If f 1 (S) is the empty set then f 1 (S) f 1 (S). If f 1 (S) is the empty set then f 1 (S) f 1 (S). So assume f 1 (S) and f 1 (S). Let x f 1 (S). Then f(x) S. So f(x) S which means x f 1 (S). Hence x f 1 (S) and f 1 (S) f 1 (S). Let x f 1 (S). Then x f 1 (S). So f(x) S which means f(x) S. Hence x f 1 (S) and f 1 (S) f 1 (S) Thus f 1 (S) = f 1 (S)
16 FINAL: (32) True or False? (a) A connected graph on n vertices must have at least n 1 edges. True (b) The sum of all the vertex degrees in a graph is even. True (c) Every Euler cycle is a Hamiltonian cycle. False (d) There exists a graph whose vertices have the following degrees: 2, 2, 1, 1, 1, 1. True (33) Your friend says that his favorite (simple) graph has the following degrees: 1, 1, 1, 2, 3, 4, 4, 5. Does such a graph exist? If so, draw it. If not, justify. Such a graph cannot exist as there are an odd number of odd vertices, resulting in an odd sum of vertex degrees.
17 (34) Draw a graph such that... (a)...there is a Hamiltonian cycle but no Euler cycle.
18 (b) There is an Euler cycle but no Hamiltonian cycle. (35) Draw a simple undirected graph with the following degrees or explain why such a graph does not exist: 1, 1, 2, 3, 3, 6. No such graph exists as the maximum degree vertex for a simple graph with six vertices is 5.
19 (36) Draw a graph with the following adjacency matrix:
20 (37) Let G = (V, E) be a simple non-empty graph. Show that the relation R on V such that (u, v) R if and only if there is an path between u and v is symmetric, and transitive. Proof : Let G = (V, E) be a simple non-empty graph and R be the relation on V such that (u, v) R if and only if there is an path between u V and v V. Let u, v V. Assume (u, v) R. Then there is a path between u and v. By reversing the edges there is a path between v and u. Hence (v, u) R and R is symmetric. Now let u, v, w V. Assume (u, v), (v, w) R. Then there is a path between u and v as well as a path between v and w. By concatenating these paths we get a path between u and w. Hence (u, w) R and R is transitive (38) Show that in a simple graph with at least two vertices there must be (at least) two vertices of the same degree. Proof : Let G be a simple graph with n 2 vertices. To yield a contradiction assume all the vertex degrees are different. Then the degrees must be 0, 1, 2,..., n 1. Then there is a vertex v of degree n 1. Hence v is connected to all other vertices. This means all vertices have degree at least 1, which is a contradiction
21 (39) Apply Dijkstra s algorithm to find the length of the shortest path between vertices u, v in the graph. Is the path unique?
22 (40) Apply Kruskal s algorithm to find a minimal spanning tree in the graph.!! " #$%&!$ '( ) % * + #, -.! '( +!$!!!$ / ",!.!!0! & %$!.! &! #1,!, -
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 informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
More informationIVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics
IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS Combinatorics Go over combinatorics examples in the text Review all the combinatorics problems from homewor Do at least a couple of extra
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 informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationDepartment of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)
Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007) Problem 1: Specify two different predicates P (x) and
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 informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
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 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 information447 HOMEWORK SET 1 IAN FRANCIS
7 HOMEWORK SET 1 IAN FRANCIS For each n N, let A n {(n 1)k : k N}. 1 (a) Determine the truth value of the statement: for all n N, A n N. Justify. This statement is false. Simply note that for 1 N, A 1
More informationMATH 114 Fall 2004 Solutions to practice problems for Final Exam
MATH 11 Fall 00 Solutions to practice problems for Final Exam Reminder: the final exam is on Monday, December 13 from 11am - 1am. Office hours: Thursday, December 9 from 1-5pm; Friday, December 10 from
More informationSome Review Problems for Exam 1: Solutions
Math 3355 Fall 2018 Some Review Problems for Exam 1: Solutions Here is my quick review of proof techniques. I will focus exclusively on propositions of the form p q, or more properly, x P (x) Q(x) or x
More informationMath Fall 2014 Final Exam Solutions
Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection
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 informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
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 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 information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationLecture Notes 1 Basic Concepts of Mathematics MATH 352
Lecture Notes 1 Basic Concepts of Mathematics MATH 352 Ivan Avramidi New Mexico Institute of Mining and Technology Socorro, NM 87801 June 3, 2004 Author: Ivan Avramidi; File: absmath.tex; Date: June 11,
More informationSolutions to Homework Set 1
Solutions to Homework Set 1 1. Prove that not-q not-p implies P Q. In class we proved that A B implies not-b not-a Replacing the statement A by the statement not-q and the statement B by the statement
More informationMcGill University Faculty of Science. Solutions to Practice Final Examination Math 240 Discrete Structures 1. Time: 3 hours Marked out of 60
McGill University Faculty of Science Solutions to Practice Final Examination Math 40 Discrete Structures Time: hours Marked out of 60 Question. [6] Prove that the statement (p q) (q r) (p r) is a contradiction
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 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 information1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points
Introduction to Discrete Mathematics 3450:208 Test 1 1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : The inverse of E : The
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationCMSC 250 Spring 2016: Final Exam Review Questions Key
CMSC 250 Spring 2016: Final Exam Review Questions Key 1 Description and disclaimer Use these questions to help review for the upcoming final exam. Note, these questions are not necessarily representative
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
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 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 informationPacket #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics
CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus
More informationTheorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)
Week 1: Logic Lecture 1, 8/1 (Sections 1.1 and 1.3) Examples of theorems and proofs Theorem (Pythagoras). Let ABC be a right triangle, with legs of lengths a and b, and hypotenuse of length c. Then a +
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 information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMATH 201 Solutions: TEST 3-A (in class)
MATH 201 Solutions: TEST 3-A (in class) (revised) God created infinity, and man, unable to understand infinity, had to invent finite sets. - Gian Carlo Rota Part I [5 pts each] 1. Let X be a set. Define
More informationSelected problems from past exams
Discrete Structures CS2800 Prelim 1 s Selected problems from past exams 1. True/false. For each of the following statements, indicate whether the statement is true or false. Give a one or two sentence
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 informationChapter 1. Sets and Numbers
Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
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 informationIntroduction to Proofs
Introduction to Proofs Notes by Dr. Lynne H. Walling and Dr. Steffi Zegowitz September 018 The Introduction to Proofs course is organised into the following nine sections. 1. Introduction: sets and functions
More informationMidterm Preparation Problems
Midterm Preparation Problems The following are practice problems for the Math 1200 Midterm Exam. Some of these may appear on the exam version for your section. To use them well, solve the problems, then
More information1 Homework. Recommended Reading:
Analysis MT43C Notes/Problems/Homework Recommended Reading: R. G. Bartle, D. R. Sherbert Introduction to real analysis, principal reference M. Spivak Calculus W. Rudin Principles of mathematical analysis
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 informationAbout This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018
About This Document This is the examples document for MTH 299. Basically it is a loosely organized universe of questions (examples) that we think are interesting, helpful, useful for practice, and serve
More informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More information(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)
MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence
More information9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2018 1 9 FUNCTIONS 9.1 The Definition of Function DEFINITION 1. Let X and Y be nonempty sets. A function f from the set X to the set Y is a correspondence that assigns to each
More informationSets, Functions and Relations
Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationDISCRETE MATH: FINAL REVIEW
DISCRETE MATH: FINAL REVIEW DR. DANIEL FREEMAN 1) a. Does 3 = {3}? b. Is 3 {3}? c. Is 3 {3}? c. Is {3} {3}? c. Is {3} {3}? d. Does {3} = {3, 3, 3, 3}? e. Is {x Z x > 0} {x R x > 0}? 1. Chapter 1 review
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationWeek 5: Functions and graphs
Calculus and Linear Algebra for Biomedical Engineering Week 5: Functions and graphs H. Führ, Lehrstuhl A für Mathematik, RWTH Aachen, WS 07 Motivation: Measurements at fixed intervals 1 Consider a sequence
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 information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set
More informationMATH 363: Discrete Mathematics
MATH 363: Discrete Mathematics Learning Objectives by topic The levels of learning for this class are classified as follows. 1. Basic Knowledge: To recall and memorize - Assess by direct questions. The
More informationRELATIONS AND FUNCTIONS
For more important questions visit : www.4ono.com CHAPTER 1 RELATIONS AND FUNCTIONS IMPORTANT POINTS TO REMEMBER Relation R from a set A to a set B is subset of A B. A B = {(a, b) : a A, b B}. If n(a)
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationRED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam
RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice
More information(c) Give a proof of or a counterexample to the following statement: (3n 2)= n(3n 1) 2
Question 1 (a) Suppose A is the set of distinct letters in the word elephant, B is the set of distinct letters in the word sycophant, C is the set of distinct letters in the word fantastic, and D is the
More informationAssignment #1 Sample Solutions
CS 220/MATH 320 Applied Discrete Mathematics Fall 2018 Instructor: Marc Pomplun Assignment #1 Sample Solutions Question 1: Say it with Propositional Functions Let Takes(x, y) be the propositional function
More informationName (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)
MTH299 - Homework 1 Question 1. exercise 1.10 (compute the cardinality of a handful of finite sets) Solution. Write your answer here. Question 2. exercise 1.20 (compute the union of two sets) Question
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationDiscrete Structures Homework 1
Discrete Structures Homework 1 Due: June 15. Section 1.1 16 Determine whether these biconditionals are true or false. a) 2 + 2 = 4 if and only if 1 + 1 = 2 b) 1 + 1 = 2 if and only if 2 + 3 = 4 c) 1 +
More informationMATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG
MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG Suggested Problems for Sets and Functions The following problems are from Discrete Mathematics and Its Applications by Kenneth H. Rosen. 1. Define the
More informationMath 109 September 1, 2016
Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,
More informationMath 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10
Math 4606, Summer 2004: Inductive sets, N, the Peano Axioms, Recursive Sequences Page 1 of 10 Inductive sets (used to define the natural numbers as a subset of R) (1) Definition: A set S R is an inductive
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 informationHomework 7 Solutions, Math 55
Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,
More informationExercises 1 - Solutions
Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
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 informationASSIGNMENT 1 SOLUTIONS
MATH 271 ASSIGNMENT 1 SOLUTIONS 1. (a) Let S be the statement For all integers n, if n is even then 3n 11 is odd. Is S true? Give a proof or counterexample. (b) Write out the contrapositive of statement
More informationSTUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?
STUDY GUIDE FOR THE WRECKONING. Combinatorics Go over combinatorics examples in the text. Review all the combinatorics problems from homework. Do at least a couple of extra problems given below. () How
More informationAnalysis 1. Lecture Notes 2013/2014. The original version of these Notes was written by. Vitali Liskevich
Analysis 1 Lecture Notes 2013/2014 The original version of these Notes was written by Vitali Liskevich followed by minor adjustments by many Successors, and presently taught by Misha Rudnev University
More informationMATH 13 FINAL EXAM SOLUTIONS
MATH 13 FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers. T F
More informationLogic. Facts (with proofs) CHAPTER 1. Definitions
CHAPTER 1 Logic Definitions D1. Statements (propositions), compound statements. D2. Truth values for compound statements p q, p q, p q, p q. Truth tables. D3. Converse and contrapositive. D4. Tautologies
More informationLet us first solve the midterm problem 4 before we bring up the related issues.
Math 310 Class Notes 6: Countability Let us first solve the midterm problem 4 before we bring up the related issues. Theorem 1. Let I n := {k N : k n}. Let f : I n N be a one-toone function and let Im(f)
More informationDiscrete Mathematics
Discrete Mathematics Dr. Thomas Baird January 7, 2013 Contents 1 Logic 2 1.1 Statements.................................... 2 1.1.1 And, Or, Not.............................. 2 1.1.2 Implication...............................
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 informationChapter 3: Inequalities, Lines and Circles, Introduction to Functions
QUIZ AND TEST INFORMATION: The material in this chapter is on Quiz 3 and Exam 2. You should complete at least one attempt of Quiz 3 before taking Exam 2. This material is also on the final exam and used
More informationDiscrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)
Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan Section: NetID: Name: Multiple Choice Question (30 questions in total, 4 points each) 1 Consider the following propositions: f: The student got
More informationCMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005
CMSC-37110 Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005 Instructor: László Babai Ryerson 164 e-mail: laci@cs This exam contributes 20% to your course grade.
More informationNORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S. B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION
NORTHERN INDIA ENGINEERING COLLEGE, LKO D E P A R T M E N T O F M A T H E M A T I C S B.TECH IIIrd SEMESTER QUESTION BANK ACADEMIC SESSION 011-1 DISCRETE MATHEMATICS (EOE 038) 1. UNIT I (SET, RELATION,
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationREVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms
REVIEW QUESTIONS Chapter 1: Foundations: Sets, Logic, and Algorithms 1. Why can t a Venn diagram be used to prove a statement about sets? 2. Suppose S is a set with n elements. Explain why the power set
More informationHOMEWORK #2 - MATH 3260
HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is
More informationAlgorithms: COMP3121/3821/9101/9801
NEW SOUTH WALES Algorithms: COMP3121/3821/9101/9801 Aleks Ignjatović School of Computer Science and Engineering University of New South Wales LECTURE 9: INTRACTABILITY COMP3121/3821/9101/9801 1 / 29 Feasibility
More informationPacket #1: Logic & Proofs. Applied Discrete Mathematics
Packet #1: Logic & Proofs Applied Discrete Mathematics Table of Contents Course Objectives Page 2 Propositional Calculus Information Pages 3-13 Course Objectives At the conclusion of this course, you should
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
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 informationFOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling
FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling Note: You are expected to spend 3-4 hours per week working on this course outside of the lectures and tutorials. In this time you are expected to review
More informationMath 3450 Homework Solutions
Math 3450 Homework Solutions I have decided to write up all the solutions to prolems NOT assigned from the textook first. There are three more sets to write up and I am doing those now. Once I get the
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) : (a A) and (b B)}. The following points are worth special
More informationSolutions to Homework Problems
Solutions to Homework Problems November 11, 2017 1 Problems II: Sets and Functions (Page 117-118) 11. Give a proof or a counterexample of the following statements: (vi) x R, y R, xy 0; (x) ( x R, y R,
More informationPreparing for the CS 173 (A) Fall 2018 Midterm 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
More information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to
More informationAll numbered readings are from Beck and Geoghegan s The art of proof.
MATH 301. Assigned readings and homework All numbered readings are from Beck and Geoghegan s The art of proof. Reading Jan 30, Feb 1: Chapters 1.1 1.2 Feb 6, 8: Chapters 1.3 2.1 Feb 13, 15: Chapters 2.2
More information