Num 
Day 
Date 
Topics Covered 
Materials 
1 
Tu 
3 Sep 
Parallelism 
reading,
boards,
1.programming,
2.analysis,
3.reasoning,

2 
Th 
5 Sep 
Computing by calculation 
reading,
boards,
1.expressions,
2.variables,
3.functions


3 
Tu 
10 Sep 
Numbers 
reading,
boards,
1.recursion,
2.methodology,
3.induction

4 
Th 
12 Sep 
Aggregates, Booleans, Helper Functions 
aggregates code,
2.pairs,
booleans code,
1.booleans,
2.helper functions


5 
Tu 
17 Sep 
Lists 
reading,
boards,
1.lists,
2.morerecursion,
3.induction

6 
Th 
19 Sep 
Cost Analysis 
reading,
boards,
1.reverse,
2.analysis,
3.bigO,
4.reverseanalysis,


7 
Tu 
24 Sep 
Sequential Sorting 
reading,
boards,
5.fastreverse
1.sorting,
2.isortcode,
3.isortcorrectness,
4.isortanalysis

8 
Th 
26 Sep 
Divide and Combine 
reading,
boards,
1.mergesort,
2.split,
3.merge,
4.mergesortcorrectness,
5.cost


9 
Tu 
1 Oct 
Trees 
reading,
boards,
1.patternmatching,
2.mergesortspan,
3.trees,
4.treeanalysis

10 
Th 
3 Oct 
Parallel Sorting 
reading,
boards,
1.treemergesort,
2.treemerge,
3.treesplitAt,
4.treeinduction,
5.mergesortspan


11 
Tu 
8 Oct 
More Parallel Sorting, Polymorphism I 
0.polymorphism,
polymorphism reading,
polymorphism boards,

12 
Th 
10 Oct 
Polymorphism, Datatypes 
0.polymorphism,
polymorphism reading,
polymorphism boards,
datatypes code,
reading,
boards,
2.datatypes,


13 
Tu 
15 Oct 
Higherorder Functions I 
reading,
boards,
1.control,
2.hofs,
3.closures,
4.anonymousfunctions,
5.polymorphism,
6.exists

14 
Th 
17 Oct 
Higherorder Functions II 
code,
boards,
1.filter,
2.reduce,
3.pipeline,
4.other



Tu 
22 Oct 
Fall break 
15 
Th 
24 Oct 
Generalizing the IH 
induction notes,
induction boards,
3.induction




16 
Tu 
29 Oct 
Sequences 
reading,
boards,
1.motivation,
2.sequences,
3.reduce,
4.counting

17 
Th 
31 Oct 
nbody Simulation 
reading,
boards,
1.simulation,
2.vectors,
3.simcode,
4.sequences


18 
Tu 
5 Nov 
Modules I: Signatures, Structures 
live code,
videos code,
videos boards,
1.overview,
2.signatures,
3.structures,
4.bincounter,
reading

19 
Th 
7 Nov 
Modules II: Dictionaries 
bool dict,
option dict,
1.dictionaries,
2.options


20 
Tu 
12 Nov 
Modules III 
reading,
1.representationinvariants,
1.code,
2.testingmodules,
2.code,
3.implementationevolution,
3.code v1,
3.code v2

21 
Th 
14 Nov 
Modules IV: Representation Invariants, AVL Trees 
code


22 
Tu 
19 Nov 
Machine Learning 
Also see HW10 handout.
boards,
0.book,
1.overview,
2.cookies,
3.tests,
4.spam,

23 
Th 
21 Nov 
Data Extraction 
See HW10 handout.
boards,
1.extractcombine,
2.mapreduce,
3.mapreducecode



24 
Tu 
26 Nov 
Memoization 

Th 
28 Nov 
No class, Thanksgiving 


25 
Tu 
3 Dec 
Scheduling, Parallelism and Effects 
reading,
boards,
1.scheduling,
2.effectsintro,
boards,
1.pareffects,
2.currying

26 
Th 
5 Dec 
Prepare for final 

