| Moon's day | Woden' s day | Frigga's day |
|---|
|
Jan 13 |
|
Set. From numbers to sets. 1.1
Slides |
|
|
|
Jan 15 |
|
Python expressions (in lab). 1.(2&3)
Slides |
|
|
|
Jan 17 |
|
Python functions; denoting sets. 1.(3&4)
Slides |
|
|
| |
|
Jan 22 |
|
Set operations; visual verification. 1.(5&6) |
|
|
|
Jan 24 |
|
Various set topics; powerset. 1.(7&8) |
|
|
|
Jan 27 |
|
Sequence. Sequences and lists. 2.1 |
|
|
|
|
Jan 31 |
|
Functions on lists. 2.3 |
|
|
|
Feb 3 |
|
More functions on lists (sorting). 2.3 |
|
|
|
|
|
Feb 10 |
|
Proposition. Introduction; logical equivalence. 3.(1&2) |
|
|
|
Feb 12 |
|
Conditional propositions. 3.4 |
|
|
|
| |
|
Feb 19 |
|
Predicates and quantification. 3.(6&7) |
|
|
|
Feb 21 |
|
Proof. Subset proofs. 4.1 |
|
|
|
Feb 24 |
|
Set equality and set emptiness proofs. 4.(2&3) |
|
|
|
Feb 26 |
|
Conditional proofs; number proofs. 4.(4&5) |
|
|
|
Feb 28 |
|
Powerset proofs. 4.7 |
|
|
| |
|
|
Mar 7 |
|
Relation. Definition, composition, image, etc. 5.(1&2) |
|
|
| |
|
|
|
Mar 17 |
|
Properties of relations, part 1. 5.3 |
|
|
|
Mar 19 |
|
Properties of relations, part 2. 5.3 |
|
|
|
|
Mar 24 |
|
Partial and total orders. 5.5 |
|
|
|
Mar 26 |
|
Function. Definition. 6.1 |
|
|
|
Mar 28 |
|
Images and inverse images. 6.2 |
|
|
|
Mar 31 |
|
Function properties and composition. 6.(3&4) |
|
|
|
Apr 2 |
|
Filter, map, reduce, pipe. 6.5 |
|
|
|
| |
|
|
|
Apr 14 |
|
Self reference. Recursively defined sets. 7.1 |
|
|
|
Apr 16 |
|
Strucutural induction. 7.2 |
|
|
|
|
Apr 21 |
|
Mathematical induction. 7.3 |
|
|
|
|
Apr 25 |
|
Loop invariants. 7.5. |
|
|
|
Apr 28 |
|
The Huffman encoding |
|
|
|
Apr 30 |
|
Arrays, vectors, and intervals. 2.4 |
|
|
|