| Week |
Date |
Topic |
Book Chapter |
Assignment Due |
| 1 |
8/31 |
Induction: Basics, Properties of Things |
|
|
| |
9/2 |
Induction: Properties of Functions on Things |
|
|
| 2 |
9/7 |
Combinatorics: Assignments, Permutations, Selections |
Chapter 5 |
Reading 1 |
| |
9/9 |
Combinatorics: Bins, Summations |
Chapter 6 |
Homework 1 |
| 3 |
9/14 |
Propositional Logic: Basics |
Chapter 4 |
Reading 2 |
| |
9/16 |
Propositional Logic: Algebraic Laws, Proving Equivalence |
Chapter 4 |
Homework 2 |
| 4 |
9/21 |
Propositional Logic: Rules of Inference, Formal Proofs |
Chapter 4 |
Reading 3: |
| |
9/23 |
Predicate Calculus: Basics |
Chapter 4 |
Homework 3 |
| 5 |
9/28 |
Predicate Calculus: Formal Proofs |
Chapter 4 |
Reading 4 |
| |
9/30 |
Review |
|
Homework 4 |
| 6 |
10/5 |
MIDTERM EXAM I |
|
|
| |
10/7 |
Practical Boolean Algebra |
Chapter 15 |
Reading 5 |
| 7 |
10/12 |
Sets: Basics, Algebraic Laws |
Chapter 1 |
Reading 6 |
| |
10/14 |
Functions: Properties |
Chapter 3 |
Homework 5 |
| 8 |
10/19 |
Relations: Properties |
Chapter 2, 14 |
Reading 7 |
| |
10/21 |
Graphs & Trees Basic Definitions |
Chapters 8-10 |
Homework 6 |
| 9 |
10/26 |
Recursive Functions and Inductive Sets: Strings |
Chapter 12 |
Reading 8 |
| |
10/28 |
Recursive Functions and Inductive Sets: Natural Numbers |
Chapters 1,3,6 |
Homework 7 |
| 10 |
11/2 |
Recursive Functions and Inductive Sets: Trees and Graphs |
Chapters 8-10 |
Reading 9 |
|
11/4 |
Review |
|
Homework 8 |
| 11 |
11/9 |
MIDTERM EXAM II |
|
|
| |
11/11 |
Big-Oh: Basic Rules |
Chapter 3 |
Reading 10 |
| 12 |
11/16 |
Big-Oh: Analyzing Programs |
Chapter 3 |
Reading 11 |
| |
11/18 |
Big-Oh: Functions and Recursion |
Chapter 3 |
|
| 13 |
11/23 |
NP-Completness (Extra-Credit) |
Chapter 13 |
Homework 10 |
|
11/25 |
THANKSGIVING BREAK |
|
|
| 14 |
11/30 |
TBD {Graphs, Grammars} |
|
Reading 12 |
| |
12/02 |
TBD {Graphs, Grammars} |
|
|
| 15 |
12/07 |
Honors Presentations |
|
|
| |
12/09 |
Honors Presentations |
|
Homework 11 |
| 16 |
12/18 (Friday, 2:45pm-4:45pm) |
FINAL EXAM (cumulative) |
|
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.
Some filler text to help Netscape.