The Joy of Sets. Joshua Knowles. Introduction to Maths for Computer Science, School of Computer Science University of Birmingham

Size: px
Start display at page:

Download "The Joy of Sets. Joshua Knowles. Introduction to Maths for Computer Science, School of Computer Science University of Birmingham"

Transcription

1 School of Computer Science University of Birmingham Introduction to Maths for Computer Science, 2015

2 Definition of a Set A set is a collection of distinct things. We generally use upper case letters to denote a set. To indicate the members of a set, we can list them explicitly within { }, e.g. A = {1, 2, 3, 4, 5} B = {a, b, c, z} C = {man, house, cat, } Notice: The following is not a set as its members are not distinct. {1, 1, 1, 1, 2, 2, 2, 2} These kinds of collection are called multi-sets, but we will not deal further with them here.

3 Elements, membership and cardinality The members of a set are called members or elements. Given the set A = {1, 2, 3, 4, 5} we write 1 A, which is read as 1 is an element of A. Similarly we write 7 A. The cardinality of a set C is the number of elements it has, and is denoted as C. For the above set A, we can see that A = 5.

4 Defining sets by the properties of their elements Another way to define a particular set is to specify the properties that the members of the set have. This is obviously useful for large sets or sets with infinite members. Here is an example of such a definition: B = {x is a natural number x > 5, x/2 is a natural number}. The first part tells us what larger set our elements are drawn from (here the natural numbers), also called the universal set U. The symbol is read as such that, and then a list of properties are given separated by commas or by logical connectives (and, or) to define the subset of U that B is. What set does B denote above?

5 Some Useful Sets We give the important sets their own special (reserved) symbols. Here are some of the most useful ones. is the empty set, U or U is the universal set, A is the complement of A. That is, everything in the universal set not in A, N is the set of natural numbers, Z is the set of integers, Q is the set of rational numbers and R is the set of real numbers. Exercise: Using these symbols, define the set of positive irrational numbers less than 100.

6 Subsets and Supersets Consider two sets A = {3, 4, 5, 6, 7} and B = {4, 5, 6}. Then it is true that B A, and B A. (B is a proper subset of A, and B is a subset of A). It is also the case that A B, and A B. (A is a proper superset of B, and A is a superset of B).

7 The Power Set The power set of a set is very useful. It is the set of all subsets of a set, and is usually denoted by P. If then A = {1, 2, 3} P(A) = {{ }, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}. You will notice that P(A) = 2 A.

8 Logical and existential symbols It is useful in defining sets to be able to call on some logical symbols. x is read as for all x. x is read as there exists an x such that... stands for logical AND. For example: x > 2 x odd. stands for OR. max(a) is the greatest element of A, assuming A is an ordered set. min(a) is the minimum element of A, assuming A is an ordered set.

9 Exercises Use symbols from the previous page to define these. (i) The natural numbers co-prime with 2 and 5. (ii) Given a set B of natural numbers, the set A of numbers such that for every element x of B, there is a corresponding element y of A where y = x + 5, and no others. (Is this well-defined?) (iii) The natural numbers except for the range

10 Intersection and Union A B means the set consisting of elements in A or B, where the or is inclusive (i.e. the elements can be in both A and B.) This is read as A union B. Similarly, A B means the set consisting of elements in A and B (i.e. the elements must be in both A and B.) This is read as A intersection B. Show that (A B) (A B) A B.

11 Relationships between the numbers Complete the following N R =? N Q =? P(R) =? N Z =? (the star denotes non-negative) {log 1 0(y), y {1, 5, 10, 50, 100, 500, 1000,...}} =?

12 Venn Diagrams Notice that by drawing the two sets with an intersection, the most general relationship has been shown. (The intersection may be empty or not.)

13 Venn Diagrams A general representation of three sets (subsets of a Universal set). Any of the subregions may be empty.

14 Men Venn Diagram

15 Tuples Sometimes we want to reason about complex objects. Let us say we want to talk about the students taking this maths class. We could describe each of them by the following tuple: (name, number, birthday, gender). Call the set of all such tuples, T. The set, this maths class, could be defined as C = {x T x refers to a person who comes to Intro2Maths}. How could we describe the set of names of members of this class who are older than 20?

16 Answer: V = {x C x.birthday prior to 9 November 1995} assuming that all individuals in the class are unique when described by the tuple: (name, number, birthday, gender). If they are not, potentially our set V could be smaller than the real set of people older than 20 in the class! Why?

17 More on Venn Diagrams Try drawing the following relationships A B (Don t forget the Universal set) A B (A B) C A B

18 Laws The following laws apply to sets. These are similar to the laws governing multiplication and addition in arithmetic. Let A, B, C be subsets of a Universal set U. 1. (A B) C = A (B C) 2. (A B) C = A (B C) 1. & 2. are the associative laws. 3. A B = B A 4. A B = B A 3. and 4. are the commutative laws. 5. A (B C) = (A B) (A C) 6. A (B C) = (A B) (A C) 5. and 6. are the distributive laws. Slide based on material from p.63, K. Devlin (2004) Sets, Functions and Logic, 3rd Ed.

19 Laws (continued) Let A, B, C be subsets of a Universal set U. 7. (A B) = A B 8. (A B) = A B 7. and 8. are called the De Morgan laws. 9. A A = U 10. A A = 9. and 10. are called the complementation laws. 11. (A ) = A 11. is the self-inverse. How would you prove laws 1 to 11? Slide based on material from p.63, K. Devlin (2004) Sets, Functions and Logic, 3rd Ed.

20 Proof of the distributive law (6) We need to prove A (B C) = (A B) (A C). Define the left hand side L = A (B C) and the right hand side R = (A B) (A C). First prove that L R. We do this by considering an element x L and proving it is necessarily in R too. (Do this yourself) We then do the analogous proof for L R. We consider an element x R and prove it is necessarily in L too. (Do this yourself) Having established the two results L R and R L, we have shown L = R and the proof is complete. Slide based on material from p.65, K. Devlin (2004) Sets, Functions and Logic, 3rd Ed.

21 Proving the Self-Inverse Law (11) We need to show that (A ) = A. We can prove this by rewriting this in terms of the difference of sets. A is everything in U not in A, which can be written as U A. The complement of A is everything in U not in A. This can be written as U A. So, now we can rewrite our original statement as U A = U (U A). The right hand side is A (from the correspondence between set difference and normal arithmetic difference).

Sets. Another example of a set is the set of all positive whole numbers between (and including) 1 and 10. Let this set be defined as follows. .

Sets. Another example of a set is the set of all positive whole numbers between (and including) 1 and 10. Let this set be defined as follows. . Sets A set is simply a collection of objects. For example the set of the primary colours of light include red, green and blue. In set notation, a set is often denoted by a letter and the members or elements

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

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

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

Set and element. Cardinality of a set. Empty set (null set) Finite and infinite sets. Ordered pair / n-tuple. Cartesian product. Proper subset.

Set and element. Cardinality of a set. Empty set (null set) Finite and infinite sets. Ordered pair / n-tuple. Cartesian product. Proper subset. Set and element Cardinality of a set Empty set (null set) Finite and infinite sets Ordered pair / n-tuple Cartesian product Subset Proper subset Power set Partition The cardinality of a set is the number

More information

Notations:, {...} a S means that a is an element of S. a S means that a is not an element of S

Notations:, {...} a S means that a is an element of S. a S means that a is not an element of S Set Theory 1 Notations:, {....} Let S be a set (a collection of elements, with no duplicates) a S means that a is an element of S Example: 1 {1,2,3}, 3 {1,2,3} a S means that a is not an element of S Example:

More information

Sets. Chapter 2. A = {1, 0}. The order of elements is irrelevant in a set, so we could write A in an equivalent form as

Sets. Chapter 2. A = {1, 0}. The order of elements is irrelevant in a set, so we could write A in an equivalent form as Chapter 2 Sets Before embarking upon a detailed discussion of statistics, it is useful to introduce some notation to help in describing data. This section introduces elementary set theory notation and

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

Math 10 Chapter 2 Handout Helene Payne. Name:

Math 10 Chapter 2 Handout Helene Payne. Name: Name: Sets set is a well-defined collection of distinct objects. Well-defined means that we can determine whether an object is an element of a set or not. Distinct means that we can tell the objects apart.

More information

A Set A set is a collection of objects. The objects are called members or elements. The elements may have something in common or may be unrelated.

A Set A set is a collection of objects. The objects are called members or elements. The elements may have something in common or may be unrelated. A Set A set is a collection of objects. The objects are called members or elements. The elements may have something in common or may be unrelated. A = {5, 10, 15, 20, 25} B = {prime numbers less than 20}

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

Topic 7: Venn Diagrams, Sets, and Set Notation

Topic 7: Venn Diagrams, Sets, and Set Notation Topic 7: Venn Diagrams, Sets, and Set Notation for use after What Do You Expect? Investigation 1 set is a collection of objects. These objects might be physical things, like desks in a classroom, or ideas,

More information

MATH0201 BASIC CALCULUS

MATH0201 BASIC CALCULUS MATH0201 BASIC CALCULUS Set Dr. WONG Chi Wing Department of Mathematics, HKU Definition 1 A set is a well defined collection of objects, i.e., we can determine whether a given object belongs to that set

More information

Sets. The Real Numbers and Their Properties. Equality of Sets. Set-builder Notation. Peter Lo

Sets. The Real Numbers and Their Properties. Equality of Sets. Set-builder Notation. Peter Lo Sets The Real Numbers and Their Properties Peter Lo A Set is a collection of objects To denote a set, braces is used to enclosed a list of its members or elements. To show a set with elements a, b and

More information

Set Theory. MTAEA Set Theory. Scott McCracken. School of Economics, Australian National University. January 10, 2010

Set Theory. MTAEA Set Theory. Scott McCracken. School of Economics, Australian National University. January 10, 2010 School of Economics, Australian National University January 10, 2010 Basic Definitions. Definition. A set is any collection of objects. Objects contained in the set are called the elements or members of

More information

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

Sets. A set is a collection of (mathematical) objects, with the collection treated as a single mathematical object. Sets 1 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

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

Mathematics for Economists (66110) Lecture Notes 1

Mathematics for Economists (66110) Lecture Notes 1 Mathematics for Economists (66110) Lecture Notes 1 Sets Definition: set is a collection of distinct items The items in a set are called elements of the set Examples: 1) The set of integers greater than

More information

Integers Nonintegers Radicals Transcendental Numbers

Integers Nonintegers Radicals Transcendental Numbers Complex Numbers Real Numbers Imaginary Numbers Negative Numbers Zero Positive Numbers Rational Numbers Irrational Numbers Integers Nonintegers Radicals Transcendental Numbers Whole Numbers Even Numbers

More information

1.1 Introduction to Sets

1.1 Introduction to Sets 1.1 Introduction to Sets A set is a collection of items. These items are referred to as the elements or members of the set. We usually use upper-case letters, such as A and B, to denote sets. We can write

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

Discrete Mathematics Lecture 2 Logic of Quantified Statements, Methods of Proof, Set Theory, Number Theory Introduction and General Good Times

Discrete Mathematics Lecture 2 Logic of Quantified Statements, Methods of Proof, Set Theory, Number Theory Introduction and General Good Times Discrete Mathematics Lecture 2 Logic of Quantified Statements, Methods of Proof, Set Theory, Number Theory Introduction and General Good Times Harper Langston New York University Predicates A predicate

More information

Chapter Sets. Section 2 Sets. Set Properties and Set Notation (continued) Set Properties and Set Notation

Chapter Sets. Section 2 Sets. Set Properties and Set Notation (continued) Set Properties and Set Notation Chapter 7 Logic, Sets, and Counting 7.2 Sets This section will discuss the symbolism and concepts of set theory. Section 2 Sets 2 Set Properties and Set Notation Set Properties and Set Notation Definition:

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

Chapter 2 Sets and Counting

Chapter 2 Sets and Counting Chapter 2 Sets and Counting Sets Learn the following: Definition of a set, subset, element of a set, null set, cardinal number of a set, set notations, operations on sets (union, intersection, difference,

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

KOVÁCS BÉLA, MATHEmATICS I.

KOVÁCS BÉLA, MATHEmATICS I. KOVÁCS BÉLA, MATHEmATICS I. 1 I. SETS 1. NOTATIOnS The concept and properties of the set are often used in mathematics. We do not define set, as it is an intuitive concept. This is not unusual. You may

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

CPCS 222 Discrete Structures I Set Theory

CPCS 222 Discrete Structures I Set Theory King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222 Discrete Structures I Set Theory Dr. Eng. Farag Elnagahy farahelnagahy@hotmail.com Office Phone: 67967 Set Theory Set

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

Section 8.0 (Preliminary) Sets, Set Operations & Cardinality

Section 8.0 (Preliminary) Sets, Set Operations & Cardinality Section 8.0 (Preliminary) Sets, Set Operations & Cardinality A set is simply the grouping together of objects. For example, we count using the set of whole numbers 1, 2, 3, 4, and so forth. We spell words

More information

Set Operations. Set Union. Set Intersection. Set Complement by A-H. Esfahanian. All Rights Reserved. 1-

Set Operations. Set Union. Set Intersection. Set Complement by A-H. Esfahanian. All Rights Reserved. 1- Set nion Set Operations Section 2.2 Definition: Let A and B be sets. The union of A and B, denoted A B, is the set containing those elements that are either in A or in B, or in both. Formally, A B = {x

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

I might get tired of writing out all of the set brackets, { }, and just write:

I might get tired of writing out all of the set brackets, { }, and just write: About the course: The language and symbols of math. Math is an exact science in the sense that it is not subjective, but objective. A statement is either true or false. Solutions and proofs are either

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

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

D = {x x is a digit}. ***The above expression is read as D is the set of all x such that x is a digit.

D = {x x is a digit}. ***The above expression is read as D is the set of all x such that x is a digit. Sets Definition: A set is a well-defined collection of distinct objects. The objects of a set are called its elements. If a set has no elements, it is called the empty set and is denoted by. Note: is not

More information

CISC 1400 Discrete Structures

CISC 1400 Discrete Structures CISC 1400 Discrete Structures Chapter 1 Sets CISC1400 Yanjun Li 1 1 Introduction to Discrete Mathematics Continuous mathematics Math based on the continuous number line, or the real numbers (floating point

More information

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

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

DISCRETE MATH: LECTURE 4

DISCRETE MATH: LECTURE 4 DISCRETE MATH: LECTURE 4 DR. DANIEL FREEMAN 1. Chapter 3.1 Predicates and Quantified Statements I A predicate is a sentence that contains a finite number of variables and becomes a statement when specific

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

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

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

LOGIC & SET THEORY AMIN WITNO

LOGIC & SET THEORY AMIN WITNO LOGIC & SET THEORY AMIN WITNO.. w w w. w i t n o. c o m Logic & Set Theory Revision Notes and Problems Amin Witno Preface These notes are for students of Math 251 as a revision workbook

More information

Chapter 7 - Sets and Probability Lecture Notes Math Finite Math

Chapter 7 - Sets and Probability Lecture Notes Math Finite Math 7.1 Sets Sets Definition 1. A set is a well-defined collection of objects. Remark. In the above definition of sets, by well-defined, we mean that it is always possible to determine if a given object is

More information

IB Math Studies Topic 3 Day 1 Introduction to Sets. Sets are denoted with a capital letter. The items, names, objects or numbers are enclosed by { }.

IB Math Studies Topic 3 Day 1 Introduction to Sets. Sets are denoted with a capital letter. The items, names, objects or numbers are enclosed by { }. I Math Studies Topic 3 Day 1 Introduction to Sets Name Date lock set is. SET NOTTION Sets are denoted with a capital letter. The items, names, objects or numbers are enclosed by { }. is the symbol denoting

More information

Automata and Languages Computability Theory Complexity Theory

Automata and Languages Computability Theory Complexity Theory Theory of Computation Chapter 0: Introduction 1 What is this course about? This course is about the fundamental capabilities and limitations of computers/computation This course covers 3 areas, which make

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

Integers and Real Numbers

Integers and Real Numbers Section 2. Integers and Real Numbers 2.1. Integers. The Integers consist of all positive and negative whole numbers and 0. It is given by the set: { K, 3, 2, 1, 0, 1, 2, 3,K}, and is denoted by Ÿ. The

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

I. Mathematical Statements and Proofs

I. Mathematical Statements and Proofs These are supplementary notes for Week 1 s lectures. It does not cover all of the material discussed in lectures, but rather is intended to provided extra explanations of material related to the lectures.

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

UNIT 1 Logic Overhead Slides

UNIT 1 Logic Overhead Slides UNIT 1 Logic Overhead Slides Overhead Slides 1.1 3 3 Logic Puzzle 1 1.2 3 3 Logic Puzzle 2 1.3 4 4 Logic Puzzle 1.4 Two Way Tables 1 1.5 Two Way Tables 2 1.6 Constructing Two Way Tables 1.7 Illustrating

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

Introduction to Sets and Functions

Introduction to Sets and Functions CHAPTER 1 Introduction to Sets and Functions 1. Introduction to Sets 1.1. Basic Terminology. We begin with a refresher in the basics of set theory. Our treatment will be an informal one rather than taking

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

Notes on Notation. Dylan Zwick. Summer, 2009

Notes on Notation. Dylan Zwick. Summer, 2009 Notes on Notation Dylan Zwick Summer, 2009 These notes address some common forms of mathematical notation that you re likely to see in this and future math classes, but you may not have seen before. I

More information

vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 466 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

SET THEORY AND VENN DIAGRAMS

SET THEORY AND VENN DIAGRAMS Mathematics Revision Guides Set Theory and Venn Diagrams Page 1 of 24 M.K. HOME TUITION Mathematics Revision Guides Level: GCSE Higher Tier SET THEORY AND VENN DIAGRAMS Version: 2.1 Date: 15-10-2015 Mathematics

More information

The Real Numbers and the Integers

The Real Numbers and the Integers The Real Numbers and the Integers PRIMITIVE TERMS To avoid circularity, we cannot give every term a rigorous mathematical definition; we have to accept some things as undefined terms. For this course,

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

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

Classical Analysis I

Classical Analysis I Classical Analysis I 1 Sets, relations, functions A set is considered to be a collection of objects. The objects of a set A are called elements of A. If x is an element of a set A, we write x A, and if

More information

MATH 105: Contemporary Math. Set Theory: Subsets, Venn Diagrams & Set Operations

MATH 105: Contemporary Math. Set Theory: Subsets, Venn Diagrams & Set Operations MATH 105: Contemporary Math Set Theory: Subsets, Venn Diagrams & Set Operations Subsets Set A is a subset of another set B if every element of A is also an element of B. We write: A B (... the symbol 'opens'

More information

Set Theory: Topics of Study: Set Notation: Roster notation, set-builder notation, interval Notation. Set Notation: Operations with sets

Set Theory: Topics of Study: Set Notation: Roster notation, set-builder notation, interval Notation. Set Notation: Operations with sets Set Theory: Topics of Study: Set Notation: Roster notation, set-builder notation, interval Notation Set Notation: Operations with sets Union, Intersection, and Complement Videos to introduce set theory

More information

Discrete Math Review

Discrete Math Review Data Structures and Algorithms Discrete Math Review Chris Brooks Department of Computer Science University of San Francisco Department of Computer Science University of San Francisco p.1/32 2-0: Discrete

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

Introduction to mathematical arguments

Introduction to mathematical arguments Introduction to mathematical arguments (background handout for courses requiring proofs) by Michael Hutchings A mathematical proof is an argument which convinces other people that something is true. Math

More information

Fundamentals Part 1 of Hammack

Fundamentals Part 1 of Hammack Fundamentals Part 1 of Hammack Dr. Doreen De Leon Math 111, Fall 2014 1 Sets 1.1 Introduction to Sets A set is a collection of things called elements. Sets are sometimes represented by a commaseparated

More information

Lecture 1. Basic Concepts of Set Theory.

Lecture 1. Basic Concepts of Set Theory. V. Borschev and B. Partee, September 6, 2001 p. 1 Lecture 1. Basic Concepts of Set Theory. 0. Goals... 1 1. Basic Concepts of Set Theory.... 1 1.1. Sets and elements... 1 1.2. Specification of sets...

More information

CHAPTER 8 LOGIC 8A SYMBOLIC STATEMENTS AND TRUTH TABLES

CHAPTER 8 LOGIC 8A SYMBOLIC STATEMENTS AND TRUTH TABLES CHAPTER 8 LOGIC 8A SYMBOLIC STATEMENTS AND TRUTH TABLES Logical argument and deductive reasoning are central to mathematics; and we could not write or test the validity of a computer program without them.

More information

Topology Aleksey Zinger Problem Set I Solutions

Topology Aleksey Zinger Problem Set I Solutions Topology Aleksey Zinger Problem Set I Solutions Gabriel C. Drummond-Cole September 15, 2005 p39, #5: Which of the following subsets of R ω can be expressed as the cartesian product of subsets of R? a {x

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

PART I. THE REAL NUMBERS

PART I. THE REAL NUMBERS PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS

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

Hawkes Learning Systems: College Algebra

Hawkes Learning Systems: College Algebra Hawkes Learning Systems: College Algebra Section 1.2: The Arithmetic of Algebraic Expressions Objectives o Components and terminology of algebraic expressions. o The field properties and their use in algebra.

More information

Defining Sets. Basic Concepts of Set Theory: Symbols & Terminology. Set Membership. Some Important Sets. Notes. More Membership Questions

Defining Sets. Basic Concepts of Set Theory: Symbols & Terminology. Set Membership. Some Important Sets. Notes. More Membership Questions asic Concepts of Set Theory: Symbols & Terminology set is a collection of objects. well-defined set has no ambiguity as to what objects are in the set or not. For example: The collection of all red cars

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

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

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

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

These are based on 45/50 minute lessons. Lesson No. Suggested Plan References 1. Logic Puzzles 1 Introducing interactive example OS 1.

These are based on 45/50 minute lessons. Lesson No. Suggested Plan References 1. Logic Puzzles 1 Introducing interactive example OS 1. St These are based on 45/50 minute lessons. 1. Logic Puzzles 1 Introducing interactive example OS 1.1 PB 1.1, Q1 PB 1.1, Q2 and Q4 Discuss solutions to Q2 and Q4 PB 1.1, Q3 and Q6 2. Logic Puzzles 2 Mental

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

5. Logical Equivalent

5. Logical Equivalent 41 5. Logical Equivalent Definition : Two statement are called logically equivalent if and only if that two statements has the same exact truth values, In general, we use a symbol,, to denote the word,

More information

Classical Sets and Fuzzy Sets Classical Sets Operation on Classical Sets Properties of Classical (Crisp) Sets Mapping of Classical Sets to Functions

Classical Sets and Fuzzy Sets Classical Sets Operation on Classical Sets Properties of Classical (Crisp) Sets Mapping of Classical Sets to Functions Classical Sets and Fuzzy Sets Classical Sets Operation on Classical Sets Properties of Classical (Crisp) Sets Mapping of Classical Sets to Functions Fuzzy Sets Notation Convention for Fuzzy Sets Fuzzy

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

MTH 311 Introduction to Higher Mathematics

MTH 311 Introduction to Higher Mathematics MTH 311 Introduction to Higher Mathematics Dr. Adam S. Sikora based on notes of dr. Michael Cowen. Version April 21, 2012 c Department of Mathematics, University at Buffalo. 0. Preface for the teacher

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

Sets, Venn Diagrams & Counting

Sets, Venn Diagrams & Counting MT 142 College Mathematics Sets, Venn Diagrams & Counting Module SC Terri Miller revised January 5, 2011 What is a set? Sets set is a collection of objects. The objects in the set are called elements of

More information

Set operations and Venn Diagrams. COPYRIGHT 2006 by LAVON B. PAGE

Set operations and Venn Diagrams. COPYRIGHT 2006 by LAVON B. PAGE Set operations and Venn Diagrams Set operations and Venn diagrams! = { x x " and x " } This is the intersection of and. # = { x x " or x " } This is the union of and. n element of! belongs to both and,

More information

Number Theory Vocabulary (For Middle School Teachers)

Number Theory Vocabulary (For Middle School Teachers) Number Theory Vocabulary (For Middle School Teachers) A Absolute value the absolute value of a real number is its distance from zero on the number line. The absolute value of any real number, a, written

More information

A Little Set Theory (Never Hurt Anybody)

A Little Set Theory (Never Hurt Anybody) A Little Set Theory (Never Hurt Anybody) Matthew Saltzman Department of Mathematical Sciences Clemson University Draft: August 21, 2013 1 Introduction The fundamental ideas of set theory and the algebra

More information

Math 141: Lecture 1. Sets, natural numbers, induction, sums. Bob Hough. August 29, Bob Hough Math 141: Lecture 1 August 29, / 32

Math 141: Lecture 1. Sets, natural numbers, induction, sums. Bob Hough. August 29, Bob Hough Math 141: Lecture 1 August 29, / 32 Math 141: Lecture 1 Sets, natural numbers, induction, sums Bob Hough August 29, 2016 Bob Hough Math 141: Lecture 1 August 29, 2016 1 / 32 (Zermelo-Frenkel) Set Theory Basics A set is a collection of objects,

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

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

Lecture 5. Introduction to Set Theory and the Pigeonhole Principle

Lecture 5. Introduction to Set Theory and the Pigeonhole Principle Lecture 5. Introduction to Set Theory and the Pigeonhole Principle A set is an arbitrary collection (group) of the objects (usually similar in nature). These objects are called the elements or the members

More information