Tuesday November 13, 2012
during the lab period.
This test covers all of Chapters 4, 5, and 6
SECTION 
CONCEPTS  METHODS  PRACTICE PROBLEMS 
4.1: Defining Sets and Tuples 
Subsets, proper subsets, the empty set Cardinality Sequences 
By listing the elements By giving a property which describes the elements 
pg.8183: pg.9294: #1, 2, 4, 8, 9, 10, 12, 13, 15

4.2: Operations on Sets  Complement, union, intersection, difference ksubsets Cartesian product, ordered pairs 
DeMorgan's Laws for sets Venn diagrams InclusionExclusion Pigeonhole Principle 
pg.9597: pg.104106: 
5.1: Quantified Expressions  Predicates Existential: looping through a set to see if some element has a certain property Universal: looping through a set to see if all elements have a certain property Proving and disproving quantified statements 
Venn diagrams of quantified statements Negations of quantified statements 
pg.107110: pg.117120: 
5.2: Multiple Quantifiers 
Proving and disproving statements with two quantifiers Onto functions Onetoone functions 
Interpreting statements with two quantifiers Negating these statements 
pg.121123: pg.133136: 
6: Mathematical Induction 
Predicates as functions Base Case Recursive functions Fibonacci numbers 
Creating the implication Coordinating an induction proof 
pg. 137139: pg. 147149: #1, 2, 3, 4, 5, 6, 7, 10, 11, 12, 13, 16, 17, 18, 19, 20, 21, 22 