The following table will be updated regularly with more details.
Students are encouraged to complete the lecture notes by their own, during the lectures and/or shortly after.
| W | Topics | Lectures | Labs | course notes | More Readings and Resources |
|---|
| 1 | class plan, introduction, simple induction | lec01_1p
lec01_6p | no-lab | 1.2 | warm up
assignment #1 due Oct 7
office hours, more practice
extra office hours |
|---|
| 2 | complete induction | lec02_1p
lec02_6p | lab01
sol | 1.3 | warm up
office hours, more practice
video related to Example 26
some relevant news: 1, 2 |
|---|
| 3 | well ordering, structural induction | lec03_1p
lec03_6p | lab02
sol | 4.1, 4.2 | warm up, office hours
more practice |
|---|
| 4 | recurrences, A1 due | lec04_1p
lec04_6p | lab03
sol | 3.1 | warm up, office hours
more practice |
|---|
| 5 | (no lecture on Monday), recurrences and d&c algorithms | lec05_1p
lec05_6p | Test 1 | 3.2 | a1 solution, warm up
office hours, more practice
find T1 solutions in main page |
|---|
| 6 | more recurrence and d&c (mergesort) | lec06_1p
lec06_6p | lab04
sol | 3.2 | warm up
assignment #2 due Nov 4
office hours, more practice |
|---|
| 7 | more d&c, master theorem, recursive correctness | lec07_1p
lec07_6p | lab05
sol | 2.7 | warm up, office hours
more practice
lec07 annotations |
|---|
| 8 | iterative correctness, A2 due | lec08_1p
lec08_6p | lab06
sol | 2.4, 2.5 | warm up, more practice
lec08 annotations |
|---|
| 9 | FSAs | lec09_1p
lec09_6p | Test 2 | 7.1, 7.2 | a2 solution,warm up
lec09 annotations
more practice |
|---|
| 10 | FSAs and reglular languages | lec10_1p
lec10_6p | lab07
sol | 7.3, 7.4 | lec10 annotations
office hours
more practice |
|---|
| 11 | FSAs/regexes, properties, equivalence | lec11_1p
lec11_6p | lab08
sol | 7.5, 7.6 | warm up, lec11 annotations
more practice, T2 Solutions:
L5101, L0101, L3101, L2101 |
|---|
| 12 | non regular languages, A3 due | lec12_1p
lec12_6p | lab09
sol | 7.7 | warm up
lec12 annotations
more practice |
|---|
|
