|
|
|
|
|
|
SCHEDULE SUBJECT TO CHANGE
| Week |
Date |
Content |
Readings |
Assignments |
| #1 |
September 22 |
NO CLASS |
|
Sleep |
| September 24 |
Administrivia / Propositional Logic |
1.1 |
|
| September 26 |
Propositional Equivalences
| 1.2, Supplementary Logic Notes |
|
| #2 |
September 29 |
Predicates and Quantifiers |
1.3 |
|
| October 1 |
Nested Quantifiers |
1.4 |
Assignment 1 out |
| October 3 |
Rules of Inference |
1.5 |
|
| #3 |
October 6 |
Introduction to Proofs / Proof Methods and Strategy |
1.6, 1.7 |
|
| October 8 |
Integers and Division |
3.4 |
Assignment 1 due,
Assignment 2 out |
| October 10 |
Modular Exponentiation / Primes |
3.6, 3.5 |
|
| #4 |
October 13 |
Greatest Common Divisors / Euclid's Algorithm |
3.5, 3.6 |
|
| October 15 |
Applications of Number Theory |
3.7 |
Assignment 2 due, Assignment 3 out |
| October 17 |
Mathematical Induction |
4.1 |
|
| #5 |
October 20 |
Strong Induction and Well-Ordering |
4.2 |
|
| October 22 |
Recursive Definitions and Structural Induction |
4.3 |
Assignment 3 due, Assignment 4 out |
| October 24 |
Sets / Set Operations |
2.1, 2.2 |
|
| #6 |
October 27 |
Functions |
2.3 |
|
| October 29 |
Counting / Pigeonhole Principle |
5.1, 5.2 |
Assignment 4 due |
| October 31 |
Permutations and Combinations |
5.3 |
Assignment 5 out |
| #7 |
November 3 |
Midterm review |
|
|
| November 5 |
Midterm |
|
|
| November 7 |
Binomial Coefficients, Combinations with Repetition |
5.4, first five pages of 5.5 |
|
| #8 |
November 10 |
Discrete Probability / Probability Theory |
6.1, 6.2 |
|
| November 12 |
Probability Theory / Bayes' Rule |
6.2, 6.3
Bayes Formula slides
|
Assignment 5 due, Assignment 6 out |
| November 14 |
Bayes' Rule, Expected Value |
6.3, 6.4 |
|
| #9 |
November 17 |
Linearity of Expectation, Relations |
6.4, 8.1 |
|
November 19 |
Representing Relations / Closure of Relations |
8.3, 8.4 |
Assignment 6 due, Assignment 7 out |
| November 21 |
Equivalence Relations / Graphs and Terminology |
8.5, 9.1 - 9.2 |
|
| #10 |
November 24 |
Special Types of Graphs / Graph Isomorphism |
9.2 - 9.4 |
Assignment 8 out |
| November 26 |
CLASS CANCELLED |
|
|
| November 27 |
HOLIDAY -- NO CLASS |
|
Eat and sleep! |
| #11 |
December 1 |
Euler and Hamilton Paths |
9.5 |
Assignment 7 due |
| December 3 |
Planar Graphs |
9.7 |
Assignment 8 due |
| December 5 |
Final Review |
|
|
Portions of the CSE 321 Web may be reprinted or adapted for academic
nonprofit purposes, providing the source is accurately quoted and duly
credited. The CSE 321 Web: © 1993-2008, Department of Computer Science
and Engineering, University of Washington.
|
CSE Home