lecture11 - Lecture 11 Sets and Functions Recap Set...

Info iconThis preview shows pages 1–8. Sign up to view the full content.

View Full Document Right Arrow Icon
Lecture 11 Sets and Functions
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Recap Set equality: A = B iff x (x A x B) Or, equivalently A = B iff ((A B) (B A)) Subset Relationship S T iff x (x S x T) Cardinality of S: |S| Power set of S: P(S)
Background image of page 2
Using logic to define set operations A B = {x | (x A) (x B)} A B = {x | (x A) (x B)} Difference: A – B = {x | x A x B} Complement } | { A x x A
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Logic – Set Theory Analogies Union disjunction (OR) Intersection conjunction (AND) Complement negation (NOT) T U (everything) F (nothing)
Background image of page 4
A = A A U = A Identity Law A U = U A = Domination law A A = A A A = A Idempotent Law (A c ) c = A Double negation Law A B = B A A B = B A Commutative Law (A B) c = A c B c (A B) c = A c B c De Morgan’s Law A (B C) = (A B) C A (B C) = (A B) C Associative Law A (B C) = (A B) (A C) A (B C) = (A B) (A C) Distributive Law A (A B) = A A (A B) = A Absorption Law A A c = U A A c = Complement Law Set Identities
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Proving Set Identities Show that A (B-A) = A B
Background image of page 6
Maintaining Order A set is an unordered collection of elements If the order matters, we need a different structure The ordered n-tuple is an ordered collection (a 1 , a 2 , …, a n ) 2-tuple = pair (think of coordinates on the plane)
Background image of page 7

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 8
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/21/2011 for the course CSCI 2011 taught by Professor Staff during the Spring '08 term at Minnesota.

Page1 / 28

lecture11 - Lecture 11 Sets and Functions Recap Set...

This preview shows document pages 1 - 8. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online