Practice Exam 1 CIS/CSE 607, Spring 2009

Similar documents
Math 230 Final Exam, Spring 2008

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

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

REVIEW FOR THIRD 3200 MIDTERM

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.

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

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

Exam in Discrete Mathematics

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

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.

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

Discrete Structures: Sample Questions, Exam 2, SOLUTIONS

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

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

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

CSE 20 DISCRETE MATH. Fall

and e 2 ~ e 2 iff e 1

Relations. Relations of Sets N-ary Relations Relational Databases Binary Relation Properties Equivalence Relations. Reading (Epp s textbook)

CS 514, Mathematics for Computer Science Mid-semester Exam, Autumn 2017 Department of Computer Science and Engineering IIT Guwahati

Functions as Relations

Chapter 9: Relations Relations

Selected problems from past exams

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

Math 210 Exam 2 - Practice Problems. 1. For each of the following, determine whether the statement is True or False.

Section Summary. Definition of a Function.

9/21/2018. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions. Properties of Functions

Propositional Logic, Predicates, and Equivalence

Real Analysis. Joe Patten August 12, 2018

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

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

Sec$on Summary. Definition of a Function.

Chapter 1 : The language of mathematics.

The integers. Chapter 3

CS100: DISCRETE STRUCTURES

0 Sets and Induction. Sets

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Section Summary. Definition of a Function.

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Functions. Given a function f: A B:

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

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

Name: Mathematics 1C03

Relations Graphical View

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

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.

Section 4.4 Functions. CS 130 Discrete Structures

Exam Practice Problems

Math 230 Final Exam, Spring 2009

CSC Discrete Math I, Spring Relations

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

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

MATH 363: Discrete Mathematics

Combinatorial algorithms

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

MAD 3105 PRACTICE TEST 2 SOLUTIONS

Discussion Summary 10/16/2018

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

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

Week 4-5: Generating Permutations and Combinations

Exercises for Unit VI (Infinite constructions in set theory)

Sets & Functions. x A. 7 Z, 2/3 Z, Z pow(r) Examples: {7, Albert R., π/2, T} x is a member of A: x A

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

Automata and Languages

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

Section 7.1 Relations and Their Properties. Definition: A binary relation R from a set A to a set B is a subset R A B.

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

CHAPTER 1: RELATIONS AND FUNCTIONS

Lecture 1. Econ 2001: Introduction to Mathematical Methods (a.k.a. Math Camp) 2015 August 10

1 Basic Combinatorics

Selected Solutions to Even Problems, Part 3

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

Logic, Set Theory and Computability [M. Coppenbarger]

Math 205 April 28, 2009 Final Exam Review

Review 3. Andreas Klappenecker

Practice Midterm 1 UCLA: Math 61, Winter 2018

Problem 2: (Section 2.1 Exercise 10) (a.) How many elements are in the power set of the power set of the empty set?

Homework 7 Solutions, Math 55

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

A function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that. f (x) = y

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

CSE 20 DISCRETE MATH. Winter

CSCE 222 Discrete Structures for Computing

Writing Assignment 2 Student Sample Questions

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

Complete Induction and the Well- Ordering Principle

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

SETS AND FUNCTIONS JOSHUA BALLEW

MAT115A-21 COMPLETE LECTURE NOTES

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

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

COT3100 SI Final Exam Review

RELATIONS AND FUNCTIONS

MATH 2200 Final Review

Discrete Math Midterm 2014

1.4 Equivalence Relations and Partitions

SRI RAMAKRISHNA INSTITUTE OF TECHNOLOGY COIMBATORE Discrete Mathematics Functions

Relations. Functions. Bijection and counting.

CS280, Spring 2004: Prelim Solutions

F = k Z +F k T = k Z +T k. ν(x) :=0 (x N) By the successor function one means the function σ in T 1 defined as follows: σ(x) :=x +1 (x N)

Transcription:

Practice Exam 1 CIS/CSE 607, Spring 2009 Problem 1) Let R be a reflexive binary relation on a set A. Prove that R is transitive if, and only if, R = R R. Problem 2) Give an example of a transitive binary relation on a set A for which R R R Problem 3) How many binary relations are there, on a set with 3 elements, that have all three properties: reflexive, antisymmetric and transitive? In other words, how many partial orderings are there on a set with 3 elements? Problem 4) Consider the set of all permutations of a set A. [Remember that a permutation of A is just a one-to-one and onto function from A to A.] Explain why a permutation of A is a binary relation on A. Now let f be the permutation of the set {1, 2, 3} defined by the input-output pairs f(1) = 2, f(2) = 3 and f(3) = 1. Give the input-output pairs for f 2, f 3 and f 1. Problem 5) Consider again the set of all permutations of a set A. Let I be the identity permutation: i.e. I(x) = x for all x A. Let π 0 be one of these permutations. Consider the set of permutations {..., (π 1 0 )2, π 1 0, I, π 0, π 2 0,..., π n 0,...} For two permutations f and g (possibly, f = g) of A, let f g if, and only if, there is an integer k such that f g 1 = π0 k. Prove that is an equivalence relation on the set of all permutations of A. [For permutation f of A, f 1

is the inverse permutation. That is, (f f 1 )(x) = (f 1 f)(x) = x, for all x A.] Problem 6) Let A = {1, 2, 3}. List all six permutations of A. List the equivalence classes of the relation defined in problem 5, where π 0 is the permutation f given in problem 4. Problem 7) Recall from exam 1: Let U be a nonempty set. Let be the operation defined on the power set of U as follows: for each subset A of U and each subset B of U, let A B = (U A) B Let U be a nonempty set (i.e. U ). For any function f with domain U and codomain {0, 1} the preimage f 1 ({1}) of the element 1 in the codomain is a subset of U. Conversely, given any subset A of U, the characteristic function of A is defined by { 0 if x A χ A (x) = 1 if x A These remarks establish a one-to-one correspondence between the power set of U and the set of functions with domain U and codomain {0, 1}. For subsets A and B, the following formulas express the characteristic function of their difference, union, and intersection in terms of the characteristic functions χ A and χ B. ( is multiplication.) χ U A (x) = 1 χ A (x) χ A B (x) = χ A (x) χ B (x) χ A B (x) = χ A (x) + χ B (x) 2 χ A (x) χ B (x) χ A B (x) = χ A (x) (1 χ B (x)) Give a similar formula for χ A B in terms of χ A and χ B.

Problem 8) Let A = {, { }} Answer T (true) of F (false) legibly for each line, below. The first one is done for you. There is one element in A. false { } A { } A {, { }} = { } A A {{ }} = { } { } = Problem 9) Suppose that δ ij, i = 1,..., 100, j = 1,..., 100 is defined by { 1 if i = j δ ij = 0 if i j Evaluate 100 100 i=1 j=1 1 2 δ ij(i + j) Problem 10) Prove by induction: For every natural number n > 6, 3 n < n!.

Problem 11) Recall the Fibonacci numbers: f 0 = 0, f 1 = 1, f n = f n 2 + f n 1, where n 2. For which values of n is f n mod 3 = 0? Prove your answer by induction. Problem 12) How many bit strings of length 17 are there that contain exactly 5 0 s and exactly 12 1 s? Problem 13) Let A and B be finite sets. Assume that the number of elements in A is m and the number of elements in B is n. Also assume m n. Let g : B A be a one-to-one function. In terms of m and n, how many functions f : A B are there such that the following condition is satisfied: f(g(x)) = x for every x in B? Briefly explain your reasoning. Problem 14) Let Z be the set of integers, and let P = {n Z 1 n 20 and n is odd} and Q = {n Z 1 n 20 and n is a multiple of 5} For any two sets U and V, let U V = {u U u V } and U V = (U V ) (U V ). List the elements in P Q. Problem 15) Recall that the product P Q of two sets P and Q is a set of ordered pairs determined by the following definition: P Q = {(p, q) p P and q Q}

Let S, A and B be sets such that S A B. Suppose S = {(0, 0), (1, 1)}. Prove that there are no sets D and E such that D A, E B, and S = D E. Problem 16) A (binary) relation R over a set A is simply a set of pairs of elements drawn from A; that is, R A A. The inverse of a relation R is the relation R 1 defined by: R 1 = {(x, y) (y, x) R} The composition R 1 R 2 of relations R 1 and R 2 is defined by: R 1 R 2 = {(x, z) y. ( (x, y) R 1 (y, z) R 2 )}. R n is the result of composing n copies of R. More precisely, R n is defined as follows: R 1 = R R n+1 = R R n (for n 1) A relation R is transitive if it satisfies the following property: x, y, z. [(x, y) R (y, z) R = (x, z) R] Let T and U be relations over the set A = {1, 2, 3, 4}, as follows: Calculate the following relations: 1. T 1 2. U T 3. U 3 T = {(1, 1), (2, 1), (3, 3), (4, 4), (3, 4)} U = {(2, 4), (1, 3), (3, 3), (3, 2)} Problem 17) Is the following statment true?

The composition of two transitive relations is always transitive. Support your answer by giving either a rigorous proof of its validity (if you answer yes ) or a convincing/explained counterexample (if you answer no ). Problem 18) Consider the following definitions: (a) Let S be the set {1, 2, 3, 4}. How many binary relations on S are there? (b) An ardering on a set is a transitive binary relation on the set. Give an example of an ordering on set S that is antisymmetric but not refelxive. (c) Give an example of an ordering on set S that is reflexive but not antisymmetric. (d) Give an example of a reflexive, antisymmetric binary relation on S that is not an ordering. Problem 19) Let S = {1, 2, 3, 4}. (a) How many functions are there from S to S? (b) How many bijections are there from S to S? Problem 20) Definition: (directed set). Let A D where D is a partial order. A is directed in D iff A is nonempty and: for all x A and for all y A there exists z A such that x z and y z. Definition: (dcpo). A partial order D is a dcpo (i.e. a directed-complete partial order) iff every directed subset of D has a least upper bound. We denote the least upper bound of a set A (directed or not) by A. Definition: (way below, the order of approximation). Let D be a dcpo. The ordering is defined by: x y iff for all directed subsets A in D, if y A then for some z A, x z. The ordering is called the order of approximation. The expression x y

is read as x is way below y. The set of all elements {y y x} is denoted by x. Definition: (compact element) Let D be a dcpo. An element x of D is compact iff x x. Definition: (continuous domain). A continuous dcpo (also called a continuous domain) is a dcpo such that for every x D, x = ( x) Definition: The successor of a set S is the set S {S}. (a) Let ω be the set of nonnegative integers. Consider the successor of ω, which we denote by ω, with the ordering obtained by extending the natural ordering on the nonnegative integers so that x ω for all elements x in ω. Show that the resulting system is a continuous dcpo. (b) Are there any compact elements in ω? Which element(s) is (are) compact? Explain. One way to get an insight into answering these questions is to determine for yourself what the directed subsets of ω look like. Problem 21) A trit is an element of the set {0, 1, 2}. Let us call a string σ of trits a good trit-string iff σ does not have two consecutive 0 s in it anywhere. How many good trit-strings are there of length 6.