discrete computational structures

90
DISCRETE COMPUTATIONAL STRUCTURES CSE 2353 Spring 2006 Final Slides

Upload: jalila

Post on 06-Jan-2016

34 views

Category:

Documents


0 download

DESCRIPTION

DISCRETE COMPUTATIONAL STRUCTURES. CSE 2353 Spring 2006 Final Slides. CSE 2353 OUTLINE. Sets Logic Proof Techniques Integers and Induction Relations and Posets Functions Counting Principles Boolean Algebra. Learning Objectives. Learn about functions - PowerPoint PPT Presentation

TRANSCRIPT

Page 1: DISCRETE COMPUTATIONAL STRUCTURES

DISCRETE COMPUTATIONAL STRUCTURES

CSE 2353

Spring 2006

Final Slides

Page 2: DISCRETE COMPUTATIONAL STRUCTURES

CSE 2353 OUTLINE

1. Sets 2. Logic

3. Proof Techniques

4. Integers and Induction

5. Relations and Posets

6. Functions7. Counting Principles

8. Boolean Algebra

Page 3: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 3

Learning Objectives

Learn about functions

Explore various properties of functions

Learn about binary operations

Page 4: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 4

Functions

Page 5: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 5

Page 6: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 6

Page 7: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 7

Functions Every function is a relation

Therefore, functions on finite sets can be described by arrow diagrams. In the case of functions, the arrow diagram may be drawn slightly differently.

If f : A → B is a function from a finite set A into a finite set B, then in the arrow diagram, the elements of A are enclosed in ellipses rather than individual boxes.

Page 8: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 8

Functions

To determine from its arrow diagram whether a relation f from a set A into a set B is a function, two things are checked:

1) Check to see if there is an arrow from each element of A to an element of B

This would ensure that the domain of f is the set A, i.e., D(f) = A

2) Check to see that there is only one arrow from each element of A to an element of B

This would ensure that f is well defined

Page 9: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 9

Functions

Let A = {1,2,3,4} and B = {a, b, c , d} be sets

The arrow diagram in Figure 5.6 represents the relation f from A into B

Every element of A has some image in B

An element of A is related to only one element of B; i.e., for each a ∈ A there exists a unique element b ∈ B such that f (a) = b

Page 10: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 10

Functions

Therefore, f is a function from A into B

The image of f is the set Im(f) = {a, b, d}

There is an arrow originating from each element of A to an element of B D(f) = A

There is only one arrow from each element of A to an element of B f is well defined

Page 11: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 11

Functions

The arrow diagram in Figure 5.7 represents the relation g from A into B

Every element of A has some image in B D(g ) = A

For each a ∈ A, there exists a unique element b ∈ B such that g(a) = b g is a function from A into

B

Page 12: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 12

Functions

The image of g is Im(g) = {a, b, c , d} = B

There is only one arrow from each element of A to an element of B g is well defined

Page 13: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 13

Functions

Page 14: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 14

Functions

Page 15: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 15

Functions Let A = {1,2,3,4} and B = {a, b, c ,

d}. Let f : A → B be a function such that the arrow diagram of f is as shown in Figure 5.10

The arrows from a distinct element of A go to a distinct element of B. That is, every element of B has at most one arrow coming to it.

If a1, a2 ∈ A and a1 = a2, then f(a1) = f(a2). Hence, f is one-one.

Each element of B has an arrow coming to it. That is, each element of B has a preimage.

Im(f) = B. Hence, f is onto B. It also follows that f is a one-to-one correspondence.

Example 5.1.16

Page 16: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 16

Functions

Let A = {1,2,3,4} and B = {a, b, c , d, e}

f : 1 → a, 2 → a, 3 → a, 4 → a

For this function the images of distinct elements of the domain are not distinct. For example 1 2, but f(1) = a = f(2) .

Im(f) = {a} B. Hence, f is neither one-one nor onto B.

Example 5.1.18

Page 17: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 17

Functions Let A = {1,2,3,4} and

B = {a, b, c , d, e}

f : 1 → a, 2 → b, 3 → d, 4 → e

For this function, the images of distinct elements of the domain are distinct. Thus, f is one-one. In this function, for the element c of B, the codomain, there is no element x in the domain such that f(x) = c ; i.e., c has no preimage. Hence, f is not onto B.

Page 18: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 18

Functions

Page 19: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 19

Functions

Let A = {1,2,3,4}, B = {a, b, c , d, e},and C = {7,8,9}. Consider the functions f : A → B, g : B → C as defined by the arrow diagrams in Figure 5.14.

The arrow diagram in Figure 5.15 describes the function h = g ◦ f : A → C.

Page 20: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 20

Functions

Page 21: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 21

Functions

Page 22: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 22

Special Functions and Cardinality of a Set

Page 23: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 23

Special Functions and Cardinality of a Set

Page 24: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 24

Special Functions and Cardinality of a Set

Page 25: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 25

Special Functions and Cardinality of a Set

Page 26: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 26

Special Functions and Cardinality of a Set

Page 27: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 27

Special Functions and Cardinality of a Set

Page 28: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 28

Special Functions and Cardinality of a Set

Page 29: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 29

Special Functions and Cardinality of a Set

Page 30: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 30

Page 31: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 31

Special Functions and Cardinality of a Set

Page 32: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 32

Special Functions and Cardinality of a Set

Page 33: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 33

Special Functions and Cardinality of a Set

Page 34: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 34

Special Functions and Cardinality of a Set

Page 35: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 35

Page 36: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 36

Special Functions and Cardinality of a Set

Page 37: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 37

Binary Operations

Page 38: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 38

Page 39: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 39

Page 40: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 40

Page 41: DISCRETE COMPUTATIONAL STRUCTURES

CSE 2353 OUTLINE

1. Sets 2. Logic

3. Proof Techniques

4. Integers and Induction

5. Relations and Posets

6. Functions

7. Counting Principles8. Boolean Algebra

Page 42: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 42

Learning Objectives

Learn the basic counting principles—multiplication and addition

Explore the pigeonhole principle

Learn about permutations

Learn about combinations

Page 43: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 43

Basic Counting Principles

Page 44: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 44

Basic Counting Principles

Page 45: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 45

Basic Counting Principles

Page 46: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 46

Pigeonhole Principle

The pigeonhole principle is also known as the Dirichlet drawer principle, or the shoebox principle.

Page 47: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 47

Pigeonhole Principle

Page 48: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 48

Page 49: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 49

Pigeonhole Principle

Page 50: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 50

Permutations

Page 51: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 51

Permutations

Page 52: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 52

Combinations

Page 53: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 53

Combinations

Page 54: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 54

Generalized Permutations and Combinations

Page 55: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 55

Generalized Permutations and Combinations

Page 56: DISCRETE COMPUTATIONAL STRUCTURES

CSE 2353 OUTLINE

1. Sets 2. Logic

3. Proof Techniques

4. Integers and Induction

5. Relations and Posets

6. Functions

7. Counting Principles

8. Boolean Algebra

Page 57: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 57

Learning Objectives

Learn about Boolean expressions

Become aware of the basic properties of Boolean algebra

Explore the application of Boolean algebra in the design of electronic circuits

Learn the application of Boolean algebra in switching circuits

Page 58: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 58

Two-Element Boolean AlgebraLet B = {0, 1}.

Page 59: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 59

Two-Element Boolean Algebra

Page 60: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 60

Page 61: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 61

Page 62: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 62

Page 63: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 63

Two-Element Boolean Algebra

Page 64: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 64

Two-Element Boolean Algebra

Page 65: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 65

Page 66: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 66

Page 67: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 67

Page 68: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 68

Page 69: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 69

Page 70: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 70

Boolean Algebra

Page 71: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 71

Boolean Algebra

Page 72: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 72

Logical Gates and Combinatorial Circuits

Page 73: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 73

Logical Gates and Combinatorial Circuits

Page 74: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 74

Logical Gates and Combinatorial Circuits

Page 75: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 75

Logical Gates and Combinatorial Circuits

Page 76: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 76

Page 77: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 77

Page 78: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 78

Page 79: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 79

Page 80: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 80

Page 81: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 81

Page 82: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 82

Page 83: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 83

Page 84: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 84

Page 85: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 85

Page 86: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 86

Page 87: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 87

Logical Gates and Combinatorial Circuits

The Karnaugh map, or K-map for short, can be used to minimize a sum-of-product Boolean expression.

Page 88: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 88

Page 89: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 89

Page 90: DISCRETE COMPUTATIONAL STRUCTURES

Discrete Mathematical Structures: Theory and Applications 90