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