| Moon's day | Woden' s day | Frigga's day |
|---|
| |
|
Aug 29 |
|
Set. Sets and elements (1)
slides |
pg 9: 1-16. Due 8/31
|
|
|
Aug 31 |
|
Expressions and types (2) |
pg 17: 1-8. Due 9/5
|
|
| |
|
|
Sep 7 |
|
Tuples and lists (4) |
pg 36: 1-5, 11-13, 18-23. Due 9/10
|
|
|
Sep 10 |
|
Logic. Propositions and forms (5)
slides |
pg 45: 1-15. Due 9/12
|
|
|
Sep 12 |
|
Conditonals (6)
slides |
pg 53: 1-6, 14-19. Due 9/14
|
|
|
Sep 14 |
|
Argument forms (7) |
pg 59: 1-3, 7-11. Due 9/17
|
|
|
Sep 17 |
|
Predicates and quantifiers (8) |
pg 67: 1-6. Due 9/19
|
|
|
Sep 19 |
|
Multiple quantification (9) |
pg 77: 1-7. Due 9/21
|
|
|
Sep 21 |
|
Representation of predicates (9) |
pg 77: 8-11. Due 9/24
|
|
| |
|
|
Sep 28 |
|
Proof. Subset proofs (10) |
pg 87: 1-7. Due 10/1
|
|
|
Oct 1 |
|
Set equality and empty proofs (11) |
pg 91: 3, 5, 12, 16, 20, 23
|
|
|
Oct 3 |
|
Conditional proofs (12) |
pg 97: 1, 3, 4, 7, 8, 9
|
|
|
|
Oct 8 |
|
Algorithm. Algorithms (14)
slide |
pg 110: 1, 2, 3, 5
|
|
|
Oct 10 |
|
Array and list algorithms (15) |
pg 117: 2, 4, 7, 8, 10, 11
|
|
|
Oct 12 |
|
Mathematical induction (16)
Slides |
pg 127: 1,2, 5
|
|
|
Oct 15 |
|
Correctness of algorithms (17)
Slides |
pg 136: 1-3 (4 extra credit)
|
|
|
Oct 17 |
|
From theorems to algorithms (18) |
pg 142: 3, 4, 5, 6
|
|
|
Oct 19 |
|
Recursive algorithms (19) |
pg 148: 2, 3, 4, 9, 12, 13
|
|
| |
|
|
| |
|
Oct 31 |
|
Properties of relations (21) |
pg 161: 5-8, 11-15
|
|
|
| |
|
Nov 7 |
|
Partial order relations (24) |
pg 182: 1-6, 10-12, 19
|
|
|
Nov 9 |
|
Function. Functions (25) |
pg 190: 1-
|
|
|
Nov 12 |
|
Images (26) |
pg 196: 1, 5, 8-12
|
|
|
Nov 14 |
|
Function properties (27) |
pg 201: 1, 3, 4, 6, 7, 9
|
|
|
|
Nov 19 |
|
Countability (29)
Slides |
|
|
|
|
| |
|
|
|
Dec 3 |
|
Nature of recursion (30) |
|
|
|
|
| |
|
Dec 12 |
|
Fixed-point iteration (32) |
pg 242: 3, 5, 6
|
|
|