| Week # |
Tuesday |
Thusday |
| 1 |
8/29/2006
First Meeting
[Notes #1]
|
8/31/2006
Logical Form and Logical Equivalence
[Notes #2]
|
| 2 |
9/5/2006
Conditional Statements
[Notes #3]
|
9/7/2006
Valid and Invalid Arguments
(Application: Digital Circuits)
[Notes #3]
[HW #1]
|
| 3 |
9/12/2006
The Logic of Quantified Statements:
— Predicates and Quantified
Statements
— Statements Containing Multiple
Quantifiers
[Notes #4]
|
9/14/2006
The Logic of Quantified Statements
— Statements Containing Multiple
Quantifiers
— Arguments with Quantified
Statements
[Notes #4]
[HW #2]
|
| 4 |
9/19/2006
K-maps; The Quine-McCluskey Method
[Notes #3.5]
[HW #3]
|
9/21/2006
Elementary Number Theory and Methods of Proof
Direct Proof and Counterexample
[Notes #5]
|
| 5 |
9/26/2006
Elementary Number Theory and Methods of Proof
Direct Proof and Counterexample
[Notes #5]
[HW #4]
|
9/28/2006
Floor and Ceiling
Proofs by Contradiction and Contraposition
[Notes #6]
|
| 6 |
10/3/2006
Floor and Ceiling
Proofs by Contradiction and Contraposition
[Notes #6]
[HW #5]
|
10/5/2006
Midterm Review
|
| 7 |
10/10/2006
Midterm #1
|
10/12/2006
(Solutions)
|
| 8 |
10/17/2006
Sequences
[Notes #7]
[HW #6]
|
10/19/2006
Mathematical Induction
[Notes #8]
|
| 9 |
10/24/2006
Mathematical Induction
[Notes #8]
[HW #7]
|
10/26/2006
Set Theory: Basics
[Notes #9]
[HW #8]
|
| 10 |
10/31/2006
Set Theory
[Notes #10]
|
11/2/2006
Counting and Probability
[Notes #10]
[HW #9]
|
| 11 |
11/7/2006
Midterm Review
|
11/9/2006
Midterm #2
|
| 12 |
11/14/2006
Permutations, Addition Rule,
Inclusion/Exclusion
[Notes #11]
[HW #10]
|
11/16/2006
(Solutions)
|
| 13 |
11/21/2006
Combinations, Pascal's Triangle
[Notes #12]
|
11/23/2006
Thanksgiving
|
| 14 |
11/28/2006
Pascal's Triangle, Binomial Theorem
[Notes #12]
[Exercises
#11]
|
11/30/2006
Gambling Like a Mathematician
[Notes #13]
|
| 15 |
12/5/2006
Relations on Sets
[Notes #14]
|
12/7/2006
Review
|
Homework will be assigned.
Final Exam: Tuesday, December 12, 1p–3p.