CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November Points Possible

Similar documents
CIS 375 Intro to Discrete Mathematics Exam 3 (Section M001: Green) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 3 (Section M004: Blue) 6 December Points Possible

CIS 375 Intro to Discrete Mathematics Exam 1 (Section M004: Blue) 6 October Points Possible

Practice Exam 1 CIS/CSE 607, Spring 2009

Math 300: Final Exam Practice Solutions

REVIEW FOR THIRD 3200 MIDTERM

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

Section 7.2: One-to-One, Onto and Inverse Functions

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Section Summary. Definition of a Function.

Functions and cardinality (solutions) sections A and F TA: Clive Newstead 6 th May 2014

CHAPTER 1. Relations. 1. Relations and Their Properties. Discussion

Discrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 27

Discussion Summary 10/16/2018

Functions. Given a function f: A B:

MATH 3300 Test 1. Name: Student Id:

S15 MA 274: Exam 3 Study Questions

RELATIONS AND FUNCTIONS

Func%ons. function f to the element a of A. Functions are sometimes called mappings or transformations.

Principles of Real Analysis I Fall I. The Real Number System

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

CS100: DISCRETE STRUCTURES

CSE 20 DISCRETE MATH. Fall

Functions Functions and Modeling A UTeach/TNT Course

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

Intro to Theory of Computation

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

Sec$on Summary. Definition of a Function.

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

Section 4.4 Functions. CS 130 Discrete Structures

Math 42, Discrete Mathematics

Selected problems from past exams

Mathematics Review for Business PhD Students

CMSC 250 Spring 2016: Final Exam Review Questions Key

Definition: Let S and T be sets. A binary relation on SxT is any subset of SxT. A binary relation on S is any subset of SxS.

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

CSCE 222 Discrete Structures for Computing

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

Functions as Relations

Solutions to Homework Problems

Mathematics 222a Quiz 2 CODE 111 November 21, 2002

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

can only hit 3 points in the codomain. Hence, f is not surjective. For another example, if n = 4

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

Today s Topics. Methods of proof Relationships to logical equivalences. Important definitions Relationships to sets, relations Special functions

Math 4603: Advanced Calculus I, Summer 2016 University of Minnesota Notes on Cardinality of Sets

Chapter 1. Sets and Numbers

NOTE: You have 2 hours, please plan your time. Problems are not ordered by difficulty.

Practice Second Midterm Exam I

Math 230 Final Exam, Spring 2008

Functions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination II (Fall 2007)

Cartesian Products and Relations

MATH 433 Applied Algebra Lecture 14: Functions. Relations.

Topics in Logic, Set Theory and Computability

COM S 330 Homework 05 Solutions. Type your answers to the following questions and submit a PDF file to Blackboard. One page per problem.

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

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

4) Have you met any functions during our previous lectures in this course?

5 FUNCTIONS. 5.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall

Solutions for Chapter Solutions for Chapter 17. Section 17.1 Exercises

Discrete Mathematics Fall 2018 Midterm Exam Prof. Callahan. Section: NetID: Multiple Choice Question (30 questions in total, 4 points each)

Mathematics Review for Business PhD Students Lecture Notes

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

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Relations, Functions, and Sequences

Name: Student ID: Instructions:

Name: Mathematics 1C03

CSE 20 DISCRETE MATH WINTER

Written by Rachel Singh, last updated Oct 1, Functions

RED. Name: Math 290 Fall 2016 Sample Exam 3

Real Analysis. Joe Patten August 12, 2018

Section 0. Sets and Relations

Math 3000 Section 003 Intro to Abstract Math Final Exam

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

Quiz 1. Directions: Show all of your work and justify all of your answers.

1 Take-home exam and final exam study guide

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

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

Turing Machines, diagonalization, the halting problem, reducibility

CHAPTER 7 FUNCTIONS. Alessandro Artale UniBZ - artale/

Review Problems for Midterm Exam II MTH 299 Spring n(n + 1) 2. = 1. So assume there is some k 1 for which

Fall 2014 CMSC250/250H Midterm II

MATH 3330 ABSTRACT ALGEBRA SPRING Definition. A statement is a declarative sentence that is either true or false.

Exam 2 MAS 3105 Applied Linear Algebra, Spring 2018

Notes on ordinals and cardinals

A Short Review of Cardinality

Midterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5

Background for Discrete Mathematics

4.1 Real-valued functions of a real variable

Math Fall 2014 Final Exam Solutions

Selected Solutions to Even Problems, Part 3

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

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

Notes. Functions. Introduction. Notes. Notes. Definition Function. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y.

Carmen s Core Concepts (Math 135)

Sets, Functions and Relations

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

ABOUT THE CLASS AND NOTES ON SET THEORY

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

Transcription:

Name: CIS 375 Intro to Discrete Mathematics Exam 2 (Section M001: Yellow) 10 November 2016 Question Points Possible Points Received 1 20 2 12 3 14 4 10 5 8 6 12 7 12 8 12 Total 100 Instructions: 1. This exam is a closed-book, closed-notes exam. 2. Legibility counts! Make sure I can read (and find!) your answers. If you need more room for an answer than that given, use the back side of the pages. Be sure to leave a note indicating where the answer is. 3. This test should have 10 pages (including this cover sheet). Let me know now if your copy does not have the correct number of pages. 4. The last page of this exam lists some relevant definitions. Also recall these sets: Z: set of all integers R: set of all real numbers Z + = {z Z : z > 0} Z = {z Z : z < 0} N= {z Z : z 0}

1. (20 points) Consider the following relations on the set A = {1, 4, 6, 8}: (a) (2 points) Give R 1 1. R 1 = {(1, 8), (1, 6), (8, 6), (8, 1)} R 2 = {(1, 1), (1, 4), (4, 1), (4, 4)} R 3 = {(1, 1), (4, 8), (8, 8), (6, 6), (8, 6), (4, 4)} R 4 = {(a, b) A A : a + b is even} (b) (2 points) List all of the relations from the set {R 1, R 2, R 3 } that are functions. (If none of them are functions, then simply write none.) (c) (16 points) Fill in the table below to indicate which relations possess which properties: Write yes to indicate that the given relation has the stated property. Write no to indicate that the given relation does not have the stated property. Reflexive R 1 R 2 R 3 R 4 Symmetric Transitive Irreflexive Antisymmetric

2. (12 points) Suppose the following definitions are made: k : Z Z Z { (w, 1), if w < 0 k(w) = (2, w), if w 0 l : N Z + { w + 1, if 0 w 3 l(w) = w 1 if w 4 f : N N N f(x, y) = x + y + 3 q : R R q(m) = m 3 h : Z + N h(n) = 5n (a) (4 points) Calculate the following: i. domain of f ii. codomain of l iii. (l h)(3) (b) (6 points) Fill in the following table, writing yes if the given function has the stated property and no otherwise. k q l f 1-1 onto (c) (2 points) List all of the functions from the set {k, q, l, f} that are bijections. (If none of them are bijections, simply write none.)

3. (14 points) (a) Give a function p : Z N N that is 1-1 and not onto. (b) Give a function q : Z Z Z + that is onto and not 1-1. (c) Give a function k : Z Z Z + that is not onto and not 1-1. (d) Give a function j : Z + N that is invertible. (e) How many functions are there with domain {20, 40, 60} and codomain {5, 6}? (f) How many 1-1 functions are there with domain {20, 40, 60} and codomain {5, 6}? (g) How many onto functions are there with domain {20, 40, 60} and codomain {5, 6}?

4. (10 points) (a) How many binary relations are on the set {10, 20, 30, 40, 50}? (b) How many elements are in the smallest equivalence relation that contains both (1, 2) and (2, 3)? (c) How many elements are in the smallest irreflexive relation on the set {1, 2, 3, 4, 5, 6, 7, 8}? (d) How many elements are in the largest antisymmetric relation on the set {41, 42, 43, 44, 45, 46}? (e) Give a relation that contains (3, 5) and is transitive and symmetric.

5. (8 points) Let U be the following set of numbers: U = {13, 16, 23, 34, 47, 141, 231, 243, 256, 301}. For each w U, let max(w) denote the largest digit that appears in the representation of w: for example, max(141) = 4 and max(205) = 5. Let R 1 and R 2 be the relations defined on set U as follows: R 1 = {(x, y) U U : max(x) = max(y)} R 2 = {(x, y) U U : x y 20} Note: x y denotes the absolute value of x y. So, for example, 3 7 = 7 3 = 4. (a) R 1 is an equivalence relation: list the equivalence classes of R 1. (b) R 2 is not an equivalence relation: explain why not by explicitly showing how one of the three essential properties fails to hold.

6. (12 points) Consider the following claim: If q is pensive and k is centric, then q k is not orbic. Note: I am not asking you to prove the claim, so you do not need to worry about the definitions of pensive, centric, or orbic. Important note: I will interpret any commas as and unless you specify otherwise; if you mean or in any context, explicitly write it out. (a) Suppose you wanted to prove this claim via a direct proof. i. What would you need to assume? ii. What would you need to show? (b) Suppose you wanted to prove this claim via a proof by contraposition. i. What would you need to assume? ii. What would you need to show? (c) Suppose you wanted to prove this claim via a proof by contradiction. i. What would you need to assume? ii. What would you need to show?

7. (12 points) Give a direct or indirect proof of the following claim: Let P and Q be relations on set X. If P Q is irreflexive and Q is reflexive, then P is irreflexive. Note: As always, follow the course format for writing proofs. Be explicit about what you re assuming, what you need to show, and your underlying reasoning. You do not need to rewrite the claim.

8. (12 points) Give a direct or indirect proof of the following claim: Let k : G H and q : H J be functions. If q k : G J is 1-1, then k is 1-1. Note: As always, follow the course format for writing proofs. Be explicit about what you re assuming, what you need to show, and your underlying reasoning. You do not need to rewrite the claim.

A Collection of Some Relevant Definitions Subsets Let A and B be sets. A is a subset of B provided that the following condition holds: for all objects x, if x A then x B. Relations Let R X X be a relation. R is reflexive provided that the following condition holds: for all x X, (x, x) R. R is irreflexive provided that the following condition holds: for all x X, (x, x) R. R is symmetric provided that the following condition holds: for all x, y X, if (x, y) R then (y, x) R. R is antisymmetric provided that the following condition holds: for all x, y X, if (x, y) R and (y, x) R, then x = y. R is transitive provided that the following condition holds: for all x, y, z X, if (x, y) R and (y, z) R, then (x, z) R. R is an equivalence relation provided that R is reflexive, symmetric, and transitive. Functions Let f : X Y be a function. f is an injection (or 1-1) provided that the following condition holds: for all x 1, x 2 X, if f(x 1 ) = f(x 2 ) then x 1 = x 2. f is a surjection (or onto) provided that the following condition holds: for all y Y, there is a w X such that f(w) = y. f is a bijection provided that f is both 1-1 and onto.