| Moon's day | Woden' s day | Frigga's day |
|---|
| |
|
|
| |
|
|
Jan 25 |
|
More about functions in ML. 1.(11-13); List. Introduction to lists. 2.(1 & 2)
Code from class |
Pg 48: 1.11.(4, 8, 10)
Pg 50-51: 1.12.(3, 5, 8)
Pg 70: 2.1.(2-4, 9, 10)
Notes on assignment
Starting with this assignment, submit ML problems electronically
Recommendation: start working on problems from 2.2 assigned next time
Skim 2.3
Read 2.4
Optional:
Video for Section 2.4
|
|
| |
|
Jan 30 |
|
No class: College closed for cold weather |
|
|
|
Feb 1 |
|
Proposition. Propositional forms; boolean values; logical equivalence. 3.(1-4)
Slides
Code from class |
Pg 102: 3.3.(5 & 6)
Pg 105: 3.4.(2, 4, 8-12)
Read 3.(5-7)
|
|
|
Feb 4 |
|
Conditionals. 3.(5-7)
Slides
Code from class |
Pg 108: 3.5.(1 & 2)
Pg 114: 3.7.(1, 2, 7, 8, 9, 12, 13)
Read 3.(8 & 9)
|
|
|
Feb 6 |
|
Arguments. 3.(8 & 9)
Slides |
Pg 119: 3.8.(3 & 5)
Pg 122: 3.9.(3-7)
Read carefully 3.(10 & 11)
Skim 3.(12 & 13)
|
|
|
Feb 8 |
|
Predicates; quantification. 3.(10-13)
Slides
Code from class |
Pg 133: 3.12.(1 & 2)
Pg 135:3.13.(4 & 5)
Read 3.14
|
|
| |
|
|
| |
|
Feb 20 |
|
Proof. Introduction to proofs; subset proofs. 4.(1 & 2)
Slide |
Pg 158:4.2.(2-7)
Review 4.(1 & 2)
Read 4.(3 & 4)
|
|
|
Feb 22 |
|
Set equality proofs; set emptiness proofs. 4.(3 & 4) |
Modeling proposal due today
Pg 160: 4.3.(3, 14, 15, 18)
Pg 161: 4.4.(5,6)
Notes on assignment
Read 4.(5-8)
|
|
|
Feb 25 |
|
Conditional proofs. 4.(5-8) |
Pg 162: 4.5.(1, 4, 5)
Pg 164: 4.6.(2,5)
Pg 165: 4.7.(1, 6)
Review 2.4, especially Ex 2.4.15
Skim 4.9
|
|
|
Feb 27 |
|
Powersets. 4.9
Slides |
Pg 174: 4.9.(1, 3, 4, 6)
Skim 4.(10 & 11)
|
|
|
| |
|
Mar 6 |
|
Properties of relations. 5.4
Slides |
Pg 205: 5.3.(5, 11, 14)
Pg 208: 5.4.(3, 4, 5, 22, 24, 25)
Pg 212: 5.5.(7, 9, 10)
Duedate open
Read 5.5
|
|
|
Mar 8 |
|
Equivalence relations. 5.5 |
See Mar 6 for assignment
Read 5.(6 & 7)
|
|
| |
|
|
| |
|
Mar 20 |
|
Partial order relations; topological sort. 5.(8 & 9)
Slides |
Pg 226: 5.8.(1-5)
Pg 231 5.9.(1 & 8)
|
|
|
| |
|
|
Mar 29 |
|
Structural induction. 6.4
Slides |
Pg 268: 6.4.(3,4,6,7)
Skim 6.(5 & 6)
|
|
|
Apr 1 |
|
Mathematical induction. 6.(5 & 6)
Slides |
Pg 273: 6.5.(2 & 4)
Pg 278: 6.6.(2 & 3).
Read 6.9 carefully
Skim 6.10
|
|
|
Apr 3 |
|
Loop invariants. 6.(9 & 10)
Code from class |
Pg 306: 6.10.(2-5). Due Apr 8
|
|
|
Apr 5 |
|
More on loop invariants. 6.(10-11) |
Modeling prototype due today
Read 7 intro and 7.1 carefully
Read 7.2
Skim 7.3
|
|
| |
|
Apr 10 |
|
No class: family illness |
|
|
|
Apr 12 |
|
Images and inverse images. 7.(4 & 5)
Slides |
Pg 342: 7.4.(2, 5, 8, 9, 10)
Read 7.(6-8)
|
|
| |
|
Apr 17 |
|
Cardinality. 7.9
Slides |
Pg 359: 7.9.(1 & 2)
|
|
|
|
Apr 24 |
|
No-credit quiz. Countability. 7.15
Slides |
|
|
|
|
Apr 26 |
|
TEST |
Read carefully 2.5
Skim 2.6 and 6.3
|
|
| |
|
|
May 3 |
|
Review |
Modeling final submission due today
|
|