|
Week of |
Lecture |
|
|
|
Sept |
5 |
Intro: the Truth and nothing but - Notation,
Proofs,
and |
Administrativia, |
|
|
12 |
Computational limits of physical realities and Exponential
growth; |
ps0 due Sept. 12 |
|
|
|
||
|
|
19 |
Data representation |
|
|
|
26 |
Recursion and proofs by inductions |
ps2 due
Sept. 28 |
|
|
|
|
|
|
Oct |
3 |
ps3 due Oct.12 |
|
|
|
|
||
|
|
10 |
Invariants and proofs of correctness |
|
|
|
17 |
Recurrences and complexity of recursive algorithms |
|
|
|
24 |
||
|
|
|
||
|
|
31 |
asymptotics: algorithms complexity |
|
|
|
|
|
|
|
Nov |
7 |
Counting: strings, substrings, arrangements, ... |
|
|
|
14 |
Counting continued |
14, 15, 16 (or the updated notes: 1, 2, 3, 4, 5, 6). ps6 Due Nov. 21 |
|
|
21 |
Graph definitions and algorithms |
6 |
|
|
|
||
|
|
28 |
Scheduling and graph coloring, 2-coloring and spanning trees |
|
|
|
|
|
|
|
Dec |
5 |
ST algorithms: DFS, BFS, MST, SPT |
ps7 Due Dec.5 |
|
|
12 |
Review |
ps8 Due Dec.12 |
|
|
Classes end on |
||
|
|
16 |
Final:
|
|