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

Size: px
Start display at page:

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

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

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

REVIEW FOR THIRD 3200 MIDTERM

REVIEW 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 information

IVA S STUDY GUIDE FOR THE DISCRETE FINAL EXAM - SELECTED SOLUTIONS. 1. Combinatorics

IVA 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 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

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

MATH 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 information

Department 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) 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 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

MATH 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 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 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

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

447 HOMEWORK SET 1 IAN FRANCIS

447 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 information

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

MATH 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 information

Some Review Problems for Exam 1: Solutions

Some 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 information

Math Fall 2014 Final Exam Solutions

Math 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 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

Chapter 1. Sets and Mappings

Chapter 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 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

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

1 Basic Combinatorics

1 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 information

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Lecture 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 information

Solutions to Homework Set 1

Solutions 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 information

McGill 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 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 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

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

1. 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

1. 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 information

Chapter 1 : The language of mathematics.

Chapter 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 information

CMSC 250 Spring 2016: Final Exam Review Questions Key

CMSC 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 information

Math 140A - Fall Final Exam

Math 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 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

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

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #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 information

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Theorem. 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 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

0 Sets and Induction. Sets

0 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 information

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

MATH 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 information

Selected problems from past exams

Selected 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 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

Chapter 1. Sets and Numbers

Chapter 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 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

Introduction to Proofs

Introduction 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 information

Midterm Preparation Problems

Midterm 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 information

1 Homework. Recommended Reading:

1 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 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

About This Document. MTH299 - Examples Weeks 1-6; updated on January 5, 2018

About 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 information

Name (please print) Mathematics Final Examination December 14, 2005 I. (4)

Name (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)

(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 information

9 FUNCTIONS. 9.1 The Definition of Function. c Dr Oksana Shatalov, Fall

9 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 information

Sets, Functions and Relations

Sets, 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 information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics 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 information

DISCRETE MATH: FINAL REVIEW

DISCRETE 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 information

Week Some Warm-up Questions

Week 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 information

Week 5: Functions and graphs

Week 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 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

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 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 information

MATH 363: Discrete Mathematics

MATH 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 information

RELATIONS AND FUNCTIONS

RELATIONS 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 information

MATH 3300 Test 1. Name: Student Id:

MATH 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 information

RED. 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 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

(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 information

Assignment #1 Sample Solutions

Assignment #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 information

Name (print): Question 4. exercise 1.24 (compute the union, then the intersection of two sets)

Name (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 information

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets 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 information

Discrete Structures Homework 1

Discrete 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 information

MATH 215 DISCRETE MATHEMATICS INSTRUCTOR: P. WENG

MATH 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 information

Math 109 September 1, 2016

Math 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 information

Math 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 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 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

Homework 7 Solutions, Math 55

Homework 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 information

Exercises 1 - Solutions

Exercises 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 information

Continuity. Chapter 4

Continuity. 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 information

1 Take-home exam and final exam study guide

1 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 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

ASSIGNMENT 1 SOLUTIONS

ASSIGNMENT 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 information

STUDY GUIDE FOR THE WRECKONING. 1. Combinatorics. (1) How many (positive integer) divisors does 2940 have? What about 3150?

STUDY 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 information

Analysis 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 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 information

MATH 13 FINAL EXAM SOLUTIONS

MATH 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 information

Logic. Facts (with proofs) CHAPTER 1. Definitions

Logic. 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 information

Let us first solve the midterm problem 4 before we bring up the related issues.

Let 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 information

Discrete Mathematics

Discrete 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 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

Chapter 3: Inequalities, Lines and Circles, Introduction to Functions

Chapter 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 information

Discrete 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: 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 information

CMSC Discrete Mathematics SOLUTIONS TO FIRST MIDTERM EXAM October 18, 2005 posted Nov 2, 2005

CMSC 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 information

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

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 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 information

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Thus 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 information

Continuity. Chapter 4

Continuity. 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 information

MATH 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. 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 information

REVIEW QUESTIONS. Chapter 1: Foundations: Sets, Logic, and Algorithms

REVIEW 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 information

HOMEWORK #2 - MATH 3260

HOMEWORK #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 information

Algorithms: COMP3121/3821/9101/9801

Algorithms: 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 information

Packet #1: Logic & Proofs. Applied Discrete Mathematics

Packet #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 information

MATH FINAL EXAM REVIEW HINTS

MATH 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 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

FOUNDATIONS & PROOF LECTURE NOTES by Dr Lynne Walling

FOUNDATIONS & 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 information

Math 3450 Homework Solutions

Math 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 information

Cartesian Products and Relations

Cartesian 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 information

Solutions to Homework Problems

Solutions 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 information

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

Preparing 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 information

3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

3 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 information

All numbered readings are from Beck and Geoghegan s The art of proof.

All 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