Sets. A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object.

Size: px
Start display at page:

Download "Sets. A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object."

Transcription

1 Sets 1

2 Sets Informally: A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object. Examples: real numbers, complex numbers, C integers, All students in our class

3 Defining Sets Sets can be defined directly: e.g. {1,2,4,8,16,32, }, {CSC1130,CSC2110, } Order, number of occurence are not important. e.g. {A,B,C} = {C,B,A} = {A,A,B,C,B} A set can be an element of another set. {1,{2},{3,{4}}}

4 Defining Sets by Predicates The set of elements, x, in A such that P(x) is true. { x A P( x) } The set of prime numbers:

5 Commonly Used Sets N = {0, 1, 2, 3, }, the set of natural numbers Z = {, -2, -1, 0, 1, 2, }, the set of integers Z + = {1, 2, 3, }, the set of positive integers Q = {p/q p Z, q Z, and q 0}, the set of rational numbers R, the set of real numbers

6 Special Sets Empty Set (null set): a set that has no elements, denoted by ф or {}. Example: The set of all positive integers that are greater than their squares is an empty set. Singleton set: a set with one element Compare: ф and {ф} Ф: an empty set. Think of this as an empty folder {ф}: a set with one element. The element is an empty set. Think of this as an folder with an empty folder in it.

7 Venn Diagrams Represent sets graphically The universal set U, which contains all the objects under consideration, is represented by a rectangle. The set varies depending on which objects are of interest. Inside the rectangle, circles or other geometrical figures are used to represent sets. Sometimes points are used to represent the particular elements of the set. u o V a i e U 7

8 Membership {7, Albert, /2, T} x A x is an element of A x is in A Examples: /2 {7, Albert, /2, T} /3 {7, Albert, /2, T} 14/2 {7, Albert, /2, T} 7 2/3

9 Containment A B A is a subset of B A is contained in B Every element of A is also an element of B. Examples: R, {3} {5,7,3} every set, A A A is a proper subset of B

10 Set Equivalence Two sets are equal if and only if they have the same elements. That is, if A and B are sets, then A and B are equal if and only if x(x B). We write A = B if A and B are equal sets. A x Example: Are sets {1, 3, 5} and {3, 5,1} equal? Are sets {1, 3, 3, 3, 5, 5, 5, 5} and {1, 3, 5} equal?

11 Basic Operations on Sets union: A B:: { x ( x A) ( x B)}

12 Basic Operations on Sets intersection: A B:: { x x A x B}

13 Basic Operations on Sets difference: A B:: { x ( x A) ( x B)}

14 Basic Operations on Sets complement: A :: { x D x A} D A

15 Cardinality Let S be a set. If there are exactly n distinct elements in S where n is a nonnegative integer, we say that S is a finite set and that n is the cardinality of S. The cardinality of S is denoted by S. Example: Let A be the set of odd positive integers less than 10. Then A = 5. Let S be the set of letters in the English alphabet. Then A = 26. Null set has no elements, ф = 0. 15

16 Infinite Sets A set is said to be infinite if it is not finite. Example: The set of positive integers is infinite. 16

17 Cardinality Finding the cardinality of A U B : A U B = A + B - A B Example: A = {1,3,5,7,9}, B = {5,7,9,11} A U B = A + B - A B = = 6 17

18 Partitions of Sets Two sets are disjoint if their intersection is empty. A collection of nonempty sets {A 1, A 2,, A n } is a partition of a set A if and only if A 1, A 2,, A n are mutually disjoint.

19 Power Sets power set: po w( A):: { S S A} ab ab a b pow(, ),,,,

20 Cartesian Products Sets are unordered, a different structure is needed to represent an ordered collections ordered n-tuples. The ordered n-tuple (a 1, a 2,, a n ) is the ordered collection that has a 1 as its first element, a 2 as its second element,, and a n as its nth element. Two ordered n-tuples are equal if and only if each corresponding pair of their elements is equal. (a 1, a 2,, a n ) = (b 1, b 2,, b n ) if and only if a i = b i for i = 1, 2,, n 20

21 Cartesian Products Let A and B be sets. The Cartesian product of A and B, denoted by A B, is the set of all ordered pairs (a, b), where a A and b B. Hence, A B = {(a,b) a A Λ b B}. Example: What is the Cartesian product of A = {1,2} and B = {a,b,c}? Solution: A B = {(1,a), (1,b), (1,c), (2,a), (2,b), (2,c)} Cartesian product of A B and B A are not equal, unless A = ф or B = ф (so that A B = ф ) or A = B. B A = {(a,1),(a,2),(b,1),(b,2),(c,1),(c,2)} 21

22 Cartesian products The Cartesian product of sets A 1, A 2,, A n, denoted by A 1 A 2 A n is the set of ordered n-tuples (a 1, a 2,, a n ), where a i belongs to A i for i = 1,2,, n. In other words, A 1 A 2 A n = {(a 1, a 2,, a n ) a i A i for i = 1,2,, n}. Example: What is the Cartesian product of A B C where A= {0,1}, B = {1,2}, and C = {0,1,2}? Solution: A B C= {(0,1,0), (0,1,1), (0,1,2), (0,2,0), (0,2,1), (0,2,2), (1,1,0), (1,1,1), (1,1,2), (1,2,0), (1,2,1), (1,2,2)} 22

23 Distributive Law: Set Identities

24 De Morgan s Law: Set Identities

25 Proving Set Identities

26 Proving Set Identities

27 Computer Representation of Sets Represent a subset A of U with the bit string of length n, where the ith bit in the string is 1 if a i belongs to A and is 0 if a i does not belong to A. Example: Let U = {1,2,3,4,5,6,7,8,9,10}, and the ordering of elements of U has the elements in increasing order; that is a i = i. What bit string represents the subset of all odd integers in U? Solution: What bit string represents the subset of all even integers in U? Solution: What bit string represents the subset of all integers not exceeding 5 in U? Solution: What bit string represents the complement of the set {1,3,5,7,9}? Solution:

28 Logic and Bit Operations Computers represent information using bits. A bit is a symbol with two possible values, 0 and 1. By convention, 1 represents T (true) and 0 represents F (false). A variable is called a Boolean variable if its value is either true or false. Bit operation replace true by 1 and false by 0 in logical operations. Table for the Bit Operators OR, AND, and XOR. x y x ν y x Λ y x y

29 Logic and Bit Operations DEFINITION 7 A bit string is a sequence of zero or more bits. The length of this string is the number of bits in the string. Example: Find the bitwise OR, bitwise AND, and bitwise XOR of the bit string and Solution: bitwise OR bitwise AND bitwise XOR 29

30 Set Operations The bit string for the union is the bitwise OR of the bit string for the two sets. The bit string for the intersection is the bitwise AND of the bit strings for the two sets. Example: The bit strings for the sets {1,2,3,4,5} and {1,3,5,7,9} are and , respectively. Use bit strings to find the union and intersection of these sets. Solution: Union: V = , {1,2,3,4,5,7,9} Intersection: Λ = , {1,3,5} 30

31 Russell s Paradox Let W :: S Sets S S so S W S S There is a male barber who shaves all those men, and only those men, who do not shave themselves. Does the barber shave himself?

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

More information

2.1 Sets, power sets. Cartesian Products.

2.1 Sets, power sets. Cartesian Products. Lecture 8 2.1 Sets, power sets. Cartesian Products. Set is an unordered collection of objects. - used to group objects together, - often the objects with similar properties This description of a set (without

More information

Sets and set operations

Sets and set operations CS 441 Discrete Mathematics for CS Lecture 7 Sets and set operations Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square asic discrete structures Discrete math = study of the discrete structures used

More information

Some Definitions about Sets

Some Definitions about Sets Some Definitions about Sets Definition: Two sets are equal if they contain the same elements. I.e., sets A and B are equal if x[x A x B]. Notation: A = B. Recall: Sets are unordered and we do not distinguish

More information

Sections 2.1, 2.2 and 2.4

Sections 2.1, 2.2 and 2.4 SETS Sections 2.1, 2.2 and 2.4 Chapter Summary Sets The Language of Sets Set Operations Set Identities Introduction Sets are one of the basic building blocks for the types of objects considered in discrete

More information

The Language of Mathematics

The Language of Mathematics CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,

More information

Announcements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets

Announcements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets CompSci 230 Discrete Math for Computer Science Sets September 12, 2013 Prof. Rodger Slides modified from Rosen 1 nnouncements Read for next time Chap. 2.3-2.6 Homework 2 due Tuesday Recitation 3 on Friday

More information

Notes. Sets. Notes. Introduction II. Notes. Definition. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry.

Notes. Sets. Notes. Introduction II. Notes. Definition. Definition. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Sets Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 1.6 1.7 of Rosen cse235@cse.unl.edu Introduction

More information

1 / Basic Structures: Sets, Functions, Sequences, and Sums - definition of a set, and the use of the intuitive notion that any property whatever there

1 / Basic Structures: Sets, Functions, Sequences, and Sums - definition of a set, and the use of the intuitive notion that any property whatever there C H A P T E R Basic Structures: Sets, Functions, Sequences, and Sums.1 Sets. Set Operations.3 Functions.4 Sequences and Summations Much of discrete mathematics is devoted to the study of discrete structures,

More information

The Mathematics Driving License for Computer Science- CS10410

The Mathematics Driving License for Computer Science- CS10410 The Mathematics Driving License for Computer Science- CS10410 Venn Diagram, Union, Intersection, Difference, Complement, Disjoint, Subset and Power Set Nitin Naik Department of Computer Science Venn-Euler

More information

What is a set? Sets. Specifying a Set. Notes. The Universal Set. Specifying a Set 10/29/13

What is a set? Sets. Specifying a Set. Notes. The Universal Set. Specifying a Set 10/29/13 What is a set? Sets CS 231 Dianna Xu set is a group of objects People: {lice, ob, Clara} Colors of a rainbow: {red, orange, yellow, green, blue, purple} States in the S: {labama, laska, Virginia, } ll

More information

CmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B

CmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences

More information

A set is a Many that allows itself to be thought of as a One. (Georg Cantor)

A set is a Many that allows itself to be thought of as a One. (Georg Cantor) Chapter 4 Set Theory A set is a Many that allows itself to be thought of as a One. (Georg Cantor) In the previous chapters, we have often encountered sets, for example, prime numbers form a set, domains

More information

Introduction Russell s Paradox Basic Set Theory Operations on Sets. 6. Sets. Terence Sim

Introduction Russell s Paradox Basic Set Theory Operations on Sets. 6. Sets. Terence Sim 6. Sets Terence Sim 6.1. Introduction A set is a Many that allows itself to be thought of as a One. Georg Cantor Reading Section 6.1 6.3 of Epp. Section 3.1 3.4 of Campbell. Familiar concepts Sets can

More information

Clicker Question. Theorems/Proofs and Computational Problems/Algorithms MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES

Clicker Question. Theorems/Proofs and Computational Problems/Algorithms MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES Tuesday, 1/21/14 General course Information Sets Reading: [J] 1.1 Optional: [H] 1.1-1.7 Exercises: Do before next class; not to hand in [J] pp. 12-14:

More information

(Refer Slide Time: 1:41)

(Refer Slide Time: 1:41) Discrete Mathematical Structures Dr. Kamala Krithivasan Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture # 10 Sets Today we shall learn about sets. You must

More information

SETS. Chapter Overview

SETS. Chapter Overview Chapter 1 SETS 1.1 Overview This chapter deals with the concept of a set, operations on sets.concept of sets will be useful in studying the relations and functions. 1.1.1 Set and their representations

More information

Discrete Mathematics Lecture 5. Harper Langston New York University

Discrete Mathematics Lecture 5. Harper Langston New York University Discrete Mathematics Lecture 5 Harper Langston New York University Empty Set S = {x R, x 2 = -1} X = {1, 3}, Y = {2, 4}, C = X Y (X and Y are disjoint) Empty set has no elements Empty set is a subset of

More information

4.1. Definitions. A set may be viewed as any well defined collection of objects, called elements or members of the set.

4.1. Definitions. A set may be viewed as any well defined collection of objects, called elements or members of the set. Section 4. Set Theory 4.1. Definitions A set may be viewed as any well defined collection of objects, called elements or members of the set. Sets are usually denoted with upper case letters, A, B, X, Y,

More information

Applications of Methods of Proof

Applications of Methods of Proof CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The set-theoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are

More information

Sets and set operations: cont. Functions.

Sets and set operations: cont. Functions. CS 441 Discrete Mathematics for CS Lecture 8 Sets and set operations: cont. Functions. Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Set Definition: set is a (unordered) collection of objects.

More information

2.1 The Algebra of Sets

2.1 The Algebra of Sets Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations

More information

2.1 Symbols and Terminology

2.1 Symbols and Terminology 2.1 Symbols and Terminology Definitions: set is a collection of objects. The objects belonging to the set are called elements, ormembers, oftheset. Sets can be designated in one of three different ways:

More information

Discrete Mathematics Set Operations

Discrete Mathematics Set Operations Discrete Mathematics 1-3. Set Operations Introduction to Set Theory A setis a new type of structure, representing an unordered collection (group, plurality) of zero or more distinct (different) objects.

More information

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

More information

SETS, RELATIONS, AND FUNCTIONS

SETS, RELATIONS, AND FUNCTIONS September 27, 2009 and notations Common Universal Subset and Power Set Cardinality Operations A set is a collection or group of objects or elements or members (Cantor 1895). the collection of the four

More information

Math/CSE 1019: Discrete Mathematics for Computer Science Fall Suprakash Datta

Math/CSE 1019: Discrete Mathematics for Computer Science Fall Suprakash Datta Math/CSE 1019: Discrete Mathematics for Computer Science Fall 2011 Suprakash Datta datta@cse.yorku.ca Office: CSEB 3043 Phone: 416-736-2100 ext 77875 Course page: http://www.cse.yorku.ca/course/1019 1

More information

Definition 14 A set is an unordered collection of elements or objects.

Definition 14 A set is an unordered collection of elements or objects. Chapter 4 Set Theory Definition 14 A set is an unordered collection of elements or objects. Primitive Notation EXAMPLE {1, 2, 3} is a set containing 3 elements: 1, 2, and 3. EXAMPLE {1, 2, 3} = {3, 2,

More information

Chapter Prove or disprove: A (B C) = (A B) (A C). Ans: True, since

Chapter Prove or disprove: A (B C) = (A B) (A C). Ans: True, since Chapter 2 1. Prove or disprove: A (B C) = (A B) (A C)., since A ( B C) = A B C = A ( B C) = ( A B) ( A C) = ( A B) ( A C). 2. Prove that A B= A B by giving a containment proof (that is, prove that the

More information

Automata Theory. Şubat 2006 Tuğrul Yılmaz Ankara Üniversitesi

Automata Theory. Şubat 2006 Tuğrul Yılmaz Ankara Üniversitesi Automata Theory Automata theory is the study of abstract computing devices. A. M. Turing studied an abstract machine that had all the capabilities of today s computers. Turing s goal was to describe the

More information

LESSON SUMMARY. Set Operations and Venn Diagrams

LESSON SUMMARY. Set Operations and Venn Diagrams LESSON SUMMARY CXC CSEC MATHEMATICS UNIT Three: Set Theory Lesson 4 Set Operations and Venn Diagrams Textbook: Mathematics, A Complete Course by Raymond Toolsie, Volumes 1 and 2. (Some helpful exercises

More information

Discrete Mathematics

Discrete Mathematics Discrete Mathematics Chih-Wei Yi Dept. of Computer Science National Chiao Tung University March 16, 2009 2.1 Sets 2.1 Sets 2.1 Sets Basic Notations for Sets For sets, we ll use variables S, T, U,. We can

More information

Sets, Relations and Functions

Sets, Relations and Functions Sets, Relations and Functions Eric Pacuit Department of Philosophy University of Maryland, College Park pacuit.org epacuit@umd.edu ugust 26, 2014 These notes provide a very brief background in discrete

More information

4.1. Sets. Introduction. Prerequisites. Learning Outcomes. Learning Style

4.1. Sets. Introduction. Prerequisites. Learning Outcomes. Learning Style ets 4.1 Introduction If we can identify a property which is common to several objects, it is often useful to group them together. uch a grouping is called a set. Engineers for example, may wish to study

More information

Sets and Logic. Chapter Sets

Sets and Logic. Chapter Sets Chapter 2 Sets and Logic This chapter introduces sets. In it we study the structure on subsets of a set, operations on subsets, the relations of inclusion and equality on sets, and the close connection

More information

Sets and Cardinality Notes for C. F. Miller

Sets and Cardinality Notes for C. F. Miller Sets and Cardinality Notes for 620-111 C. F. Miller Semester 1, 2000 Abstract These lecture notes were compiled in the Department of Mathematics and Statistics in the University of Melbourne for the use

More information

If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A.

If f is a 1-1 correspondence between A and B then it has an inverse, and f 1 isa 1-1 correspondence between B and A. Chapter 5 Cardinality of sets 51 1-1 Correspondences A 1-1 correspondence between sets A and B is another name for a function f : A B that is 1-1 and onto If f is a 1-1 correspondence between A and B,

More information

Section 3.3 Equivalence Relations

Section 3.3 Equivalence Relations 1 Section 3.3 Purpose of Section To introduce the concept of an equivalence relation and show how it subdivides or partitions a set into distinct categories. Introduction Classifying objects and placing

More information

CHAPTER 2. Set, Whole Numbers, and Numeration

CHAPTER 2. Set, Whole Numbers, and Numeration CHAPTER 2 Set, Whole Numbers, and Numeration 2.1. Sets as a Basis for Whole Numbers A set is a collection of objects, called the elements or members of the set. Three common ways to define sets: (1) A

More information

Math 117 Chapter 7 Sets and Probability

Math 117 Chapter 7 Sets and Probability Math 117 Chapter 7 and Probability Flathead Valley Community College Page 1 of 15 1. A set is a well-defined collection of specific objects. Each item in the set is called an element or a member. Curly

More information

Discrete Mathematics. Some related courses. Assessed work. Motivation: functions. Motivation: sets. Exercise. Motivation: relations

Discrete Mathematics. Some related courses. Assessed work. Motivation: functions. Motivation: sets. Exercise. Motivation: relations Discrete Mathematics Philippa Gardner This course is based on previous lecture notes by Iain Phillips. K.H. Rosen. Discrete Mathematics and its Applications, McGraw Hill 1995. J.L. Gersting. Mathematical

More information

INTRODUCTORY SET THEORY

INTRODUCTORY SET THEORY M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

More information

not to be republishe NCERT SETS Chapter Introduction 1.2 Sets and their Representations

not to be republishe NCERT SETS Chapter Introduction 1.2 Sets and their Representations SETS Chapter 1 In these days of conflict between ancient and modern studies; there must surely be something to be said for a study which did not begin with Pythagoras and will not end with Einstein; but

More information

Finite Sets. Theorem 5.1. Two non-empty finite sets have the same cardinality if and only if they are equivalent.

Finite Sets. Theorem 5.1. Two non-empty finite sets have the same cardinality if and only if they are equivalent. MATH 337 Cardinality Dr. Neal, WKU We now shall prove that the rational numbers are a countable set while R is uncountable. This result shows that there are two different magnitudes of infinity. But we

More information

Set (mathematics) From Wikipedia, the free encyclopedia

Set (mathematics) From Wikipedia, the free encyclopedia Set (mathematics) From Wikipedia, the free encyclopedia A set in mathematics is a collection of well defined and distinct objects, considered as an object in its own right. Sets are one of the most fundamental

More information

Lecture 1. Basic Concepts of Set Theory, Functions and Relations

Lecture 1. Basic Concepts of Set Theory, Functions and Relations September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2

More information

In mathematics you don t understand things. You just get used to them. (Attributed to John von Neumann)

In mathematics you don t understand things. You just get used to them. (Attributed to John von Neumann) Chapter 1 Sets and Functions We understand a set to be any collection M of certain distinct objects of our thought or intuition (called the elements of M) into a whole. (Georg Cantor, 1895) In mathematics

More information

This chapter describes set theory, a mathematical theory that underlies all of modern mathematics.

This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. Appendix A Set Theory This chapter describes set theory, a mathematical theory that underlies all of modern mathematics. A.1 Basic Definitions Definition A.1.1. A set is an unordered collection of elements.

More information

THE LANGUAGE OF SETS AND SET NOTATION

THE LANGUAGE OF SETS AND SET NOTATION THE LNGGE OF SETS ND SET NOTTION Mathematics is often referred to as a language with its own vocabulary and rules of grammar; one of the basic building blocks of the language of mathematics is the language

More information

Discrete Mathematics, Chapter 5: Induction and Recursion

Discrete Mathematics, Chapter 5: Induction and Recursion Discrete Mathematics, Chapter 5: Induction and Recursion Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 5 1 / 20 Outline 1 Well-founded

More information

Automata and Formal Languages

Automata and Formal Languages Automata and Formal Languages Winter 2009-2010 Yacov Hel-Or 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,

More information

POWER SETS AND RELATIONS

POWER SETS AND RELATIONS POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

Logic & Discrete Math in Software Engineering (CAS 701) Dr. Borzoo Bonakdarpour

Logic & Discrete Math in Software Engineering (CAS 701) Dr. Borzoo Bonakdarpour Logic & Discrete Math in Software Engineering (CAS 701) Background Dr. Borzoo Bonakdarpour Department of Computing and Software McMaster University Dr. Borzoo Bonakdarpour Logic & Discrete Math in SE (CAS

More information

2.1.1 Examples of Sets and their Elements

2.1.1 Examples of Sets and their Elements Chapter 2 Set Theory 2.1 Sets The most basic object in Mathematics is called a set. As rudimentary as it is, the exact, formal definition of a set is highly complex. For our purposes, we will simply define

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 20

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 20 CS 70 Discrete Mathematics and Probability Theory Fall 009 Satish Rao, David Tse Note 0 Infinity and Countability Consider a function (or mapping) f that maps elements of a set A (called the domain of

More information

Math 3000 Running Glossary

Math 3000 Running Glossary Math 3000 Running Glossary Last Updated on: July 15, 2014 The definition of items marked with a must be known precisely. Chapter 1: 1. A set: A collection of objects called elements. 2. The empty set (

More information

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing

More information

Basic Concepts of Set Theory, Functions and Relations

Basic Concepts of Set Theory, Functions and Relations March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2 1.3. Identity and cardinality...3

More information

Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder and the following capabilities: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder,

More information

2.3. Relations. Arrow diagrams. Venn diagrams and arrows can be used for representing

2.3. Relations. Arrow diagrams. Venn diagrams and arrows can be used for representing 2.3. RELATIONS 32 2.3. Relations 2.3.1. Relations. Assume that we have a set of men M and a set of women W, some of whom are married. We want to express which men in M are married to which women in W.

More information

Notes 2 for Honors Probability and Statistics

Notes 2 for Honors Probability and Statistics Notes 2 for Honors Probability and Statistics Ernie Croot August 24, 2010 1 Examples of σ-algebras and Probability Measures So far, the only examples of σ-algebras we have seen are ones where the sample

More information

Set Theory. 2.1 Presenting Sets CHAPTER2

Set Theory. 2.1 Presenting Sets CHAPTER2 CHAPTER2 Set Theory 2.1 Presenting Sets Certain notions which we all take for granted are harder to define precisely than one might expect. In Taming the Infinite: The Story of Mathematics, Ian Stewart

More information

Regular Languages and Finite State Machines

Regular Languages and Finite State Machines Regular Languages and Finite State Machines Plan for the Day: Mathematical preliminaries - some review One application formal definition of finite automata Examples 1 Sets A set is an unordered collection

More information

DISCRETE MATHEMATICS W W L CHEN

DISCRETE MATHEMATICS W W L CHEN DISCRETE MATHEMATICS W W L CHEN c W W L Chen, 1982, 2008. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It is available free

More information

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE

CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE CARDINALITY, COUNTABLE AND UNCOUNTABLE SETS PART ONE With the notion of bijection at hand, it is easy to formalize the idea that two finite sets have the same number of elements: we just need to verify

More information

Sets and Subsets. Countable and Uncountable

Sets and Subsets. Countable and Uncountable Sets and Subsets Countable and Uncountable Reading Appendix A Section A.6.8 Pages 788-792 BIG IDEAS Themes 1. There exist functions that cannot be computed in Java or any other computer language. 2. There

More information

1.1 Logical Form and Logical Equivalence 1

1.1 Logical Form and Logical Equivalence 1 Contents Chapter I The Logic of Compound Statements 1.1 Logical Form and Logical Equivalence 1 Identifying logical form; Statements; Logical connectives: not, and, and or; Translation to and from symbolic

More information

The set consisting of all natural numbers that are in A and are in B is the set f1; 3; 5g;

The set consisting of all natural numbers that are in A and are in B is the set f1; 3; 5g; Chapter 5 Set Theory 5.1 Sets and Operations on Sets Preview Activity 1 (Set Operations) Before beginning this section, it would be a good idea to review sets and set notation, including the roster method

More information

Set Theory Basic Concepts and Definitions

Set Theory Basic Concepts and Definitions Set Theory Basic Concepts and Definitions The Importance of Set Theory One striking feature of humans is their inherent need and ability to group objects according to specific criteria. Our prehistoric

More information

Notes on counting finite sets

Notes on counting finite sets Notes on counting finite sets Murray Eisenberg February 26, 2009 Contents 0 Introduction 2 1 What is a finite set? 2 2 Counting unions and cartesian products 4 2.1 Sum rules......................................

More information

Discrete Mathematics: Solutions to Homework (12%) For each of the following sets, determine whether {2} is an element of that set.

Discrete Mathematics: Solutions to Homework (12%) For each of the following sets, determine whether {2} is an element of that set. Discrete Mathematics: Solutions to Homework 2 1. (12%) For each of the following sets, determine whether {2} is an element of that set. (a) {x R x is an integer greater than 1} (b) {x R x is the square

More information

A brief history of type theory (or, more honestly, implementing mathematical objects as sets)

A brief history of type theory (or, more honestly, implementing mathematical objects as sets) A brief history of type theory (or, more honestly, implementing mathematical objects as sets) Randall Holmes, Boise State University November 8, 2012 [notes revised later; this is the day the talk was

More information

Axiom A.1. Lines, planes and space are sets of points. Space contains all points.

Axiom A.1. Lines, planes and space are sets of points. Space contains all points. 73 Appendix A.1 Basic Notions We take the terms point, line, plane, and space as undefined. We also use the concept of a set and a subset, belongs to or is an element of a set. In a formal axiomatic approach

More information

Chapter 1. Sigma-Algebras. 1.1 Definition

Chapter 1. Sigma-Algebras. 1.1 Definition Chapter 1 Sigma-Algebras 1.1 Definition Consider a set X. A σ algebra F of subsets of X is a collection F of subsets of X satisfying the following conditions: (a) F (b) if B F then its complement B c is

More information

Logic in Computer Science: Logic Gates

Logic in Computer Science: Logic Gates Logic in Computer Science: Logic Gates Lila Kari The University of Western Ontario Logic in Computer Science: Logic Gates CS2209, Applied Logic for Computer Science 1 / 49 Logic and bit operations Computers

More information

Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics.

Chapter Three. Functions. In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Chapter Three Functions 3.1 INTRODUCTION In this section, we study what is undoubtedly the most fundamental type of relation used in mathematics. Definition 3.1: Given sets X and Y, a function from X to

More information

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS

INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS INTRODUCTION TO PROOFS: HOMEWORK SOLUTIONS STEVEN HEILMAN Contents 1. Homework 1 1 2. Homework 2 6 3. Homework 3 10 4. Homework 4 16 5. Homework 5 19 6. Homework 6 21 7. Homework 7 25 8. Homework 8 28

More information

Basic Set Theory. Chapter Set Theory. can be written: A set is a Many that allows itself to be thought of as a One.

Basic Set Theory. Chapter Set Theory. can be written: A set is a Many that allows itself to be thought of as a One. Chapter Basic Set Theory A set is a Many that allows itself to be thought of as a One. - Georg Cantor This chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical

More information

Problems on Discrete Mathematics 1

Problems on Discrete Mathematics 1 Problems on Discrete Mathematics 1 Chung-Chih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from

More information

Finite and Infinite Sets

Finite and Infinite Sets Chapter 9 Finite and Infinite Sets 9. Finite Sets Preview Activity (Equivalent Sets, Part ). Let A and B be sets and let f be a function from A to B..f W A! B/. Carefully complete each of the following

More information

3(vi) B. Answer: False. 3(vii) B. Answer: True

3(vi) B. Answer: False. 3(vii) B. Answer: True Mathematics 0N1 Solutions 1 1. Write the following sets in list form. 1(i) The set of letters in the word banana. {a, b, n}. 1(ii) {x : x 2 + 3x 10 = 0}. 3(iv) C A. True 3(v) B = {e, e, f, c}. True 3(vi)

More information

SAT Mathematics. Numbers and Operations. John L. Lehet

SAT Mathematics. Numbers and Operations. John L. Lehet SAT Mathematics Review Numbers and Operations John L. Lehet jlehet@mathmaverick.com www.mathmaverick.com Properties of Integers Arithmetic Word Problems Number Lines Squares and Square Roots Fractions

More information

The Set Data Model CHAPTER 7. 7.1 What This Chapter Is About

The Set Data Model CHAPTER 7. 7.1 What This Chapter Is About CHAPTER 7 The Set Data Model The set is the most fundamental data model of mathematics. Every concept in mathematics, from trees to real numbers, is expressible as a special kind of set. In this book,

More information

Math 421: Probability and Statistics I Note Set 2

Math 421: Probability and Statistics I Note Set 2 Math 421: Probability and Statistics I Note Set 2 Marcus Pendergrass September 13, 2013 4 Discrete Probability Discrete probability is concerned with situations in which you can essentially list all the

More information

Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties

Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties Lecture 1 (Review of High School Math: Functions and Models) Introduction: Numbers and their properties Addition: (1) (Associative law) If a, b, and c are any numbers, then ( ) ( ) (2) (Existence of an

More information

Mathematical Induction. Lecture 10-11

Mathematical Induction. Lecture 10-11 Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

More information

Sets and functions. {x R : x > 0}.

Sets and functions. {x R : x > 0}. Sets and functions 1 Sets The language of sets and functions pervades mathematics, and most of the important operations in mathematics turn out to be functions or to be expressible in terms of functions.

More information

Logic, Sets, and Proofs

Logic, Sets, and Proofs Logic, Sets, and Proofs David A. Cox and Catherine C. McGeoch Amherst College 1 Logic Logical Statements. A logical statement is a mathematical statement that is either true or false. Here we denote logical

More information

Lecture Note 1 Set and Probability Theory. MIT 14.30 Spring 2006 Herman Bennett

Lecture Note 1 Set and Probability Theory. MIT 14.30 Spring 2006 Herman Bennett Lecture Note 1 Set and Probability Theory MIT 14.30 Spring 2006 Herman Bennett 1 Set Theory 1.1 Definitions and Theorems 1. Experiment: any action or process whose outcome is subject to uncertainty. 2.

More information

the lemma. Keep in mind the following facts about regular languages:

the lemma. Keep in mind the following facts about regular languages: CPS 2: Discrete Mathematics Instructor: Bruce Maggs Assignment Due: Wednesday September 2, 27 A Tool for Proving Irregularity (25 points) When proving that a language isn t regular, a tool that is often

More information

CHAPTER 1. Basic Ideas

CHAPTER 1. Basic Ideas CHPTER 1 asic Ideas In the end, all mathematics can be boiled down to logic and set theory. ecause of this, any careful presentation of fundamental mathematical ideas is inevitably couched in the language

More information

Mathematical induction & Recursion

Mathematical induction & Recursion CS 441 Discrete Mathematics for CS Lecture 15 Mathematical induction & Recursion Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Proofs Basic proof methods: Direct, Indirect, Contradiction, By Cases,

More information

Review for Final Exam

Review for Final Exam Review for Final Exam Note: Warning, this is probably not exhaustive and probably does contain typos (which I d like to hear about), but represents a review of most of the material covered in Chapters

More information

Lecture 4 -- Sets, Relations, Functions 1

Lecture 4 -- Sets, Relations, Functions 1 Lecture 4 Sets, Relations, Functions Pat Place Carnegie Mellon University Models of Software Systems 17-651 Fall 1999 Lecture 4 -- Sets, Relations, Functions 1 The Story So Far Formal Systems > Syntax»

More information

MAT Discrete Mathematics

MAT Discrete Mathematics RHODES UNIVERSITY Grahamstown 6140, South Africa Lecture Notes CCR MAT 102 - Discrete Mathematics Claudiu C. Remsing DEPT. of MATHEMATICS (Pure and Applied) 2005 Mathematics is not about calculations but

More information

Solving and Graphing Inequalities

Solving and Graphing Inequalities Algebra I Pd Basic Inequalities 3A What is the answer to the following questions? Solving and Graphing Inequalities We know 4 is greater than 3, so is 5, so is 6, so is 7 and 3.1 works also. So does 3.01

More information

axiomatic vs naïve set theory

axiomatic vs naïve set theory ED40 Discrete Structures in Computer Science 1: Sets Jörn W. Janneck, Dept. of Computer Science, Lund University axiomatic vs naïve set theory s Zermelo-Fraenkel Set Theory w/choice (ZFC) extensionality

More information

Free groups. Contents. 1 Free groups. 1.1 Definitions and notations

Free groups. Contents. 1 Free groups. 1.1 Definitions and notations Free groups Contents 1 Free groups 1 1.1 Definitions and notations..................... 1 1.2 Construction of a free group with basis X........... 2 1.3 The universal property of free groups...............

More information