This schedule is tentative. Check this page frequently for updates.
Skip to week: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Final
Week  Date  Topic  Reading(s)  Readback 
Due 


1  W 
Aug 31 
Set. Introduction Sets & set notation (slides) 

F 
Sept 2 
Set operations (slides) Visual verification 
Read carefully 1.1 Review 1.2  1.3 Read 1.4  1.5 Optionally watch videos for 1.13, 1.4, 1.5 
readback 
Syllabus response Introductory survey 

2  M 
Sept 5 
Intro to ML Cardinality and Cartesian products (slides, code from class) 
Read 1.6  1.9 Optionally watch videos for 1.6, 1.89 
readback 
Written exercises: 1.3.(11,1416) 1.4.(16,19) 1.5.(811) 
W 
Sept 7 
Modeling data in ML Introduction to the Project (slides, code from class) 
Read Using SML Skim 1.10  1.11 Optionally watch video for 1.1011 
readback 
Coding* exercises: 1.6.(15), 1.7.2 Written exercises: 1.8.(1,4,5), 1.9.(3,4,8,9,11,13) * For this week, please submit code on paper 

F 
Sept 9 
Functions in ML (code for 1.11.3, 1.12.4) 
Review the Project Review 1.11 Read 1.12  1.13 Optionally watch video for 1.12 
readback 
Written exercises: 1.9.(14,16) Coding* exercises**: 1.10.(57), 1.11.(1,2) * For this week, please submit code on paper ** For today, you may work with a partner and submit one joint assignment 

3  M 
Sept 12 
List. Lists in ML (slides) 
Read 2.1 Skim 2.2 Optionally watch videos for 2.1 and 2.2 
readback 
Coding* exercises: 1.11.(4,8,10)** 1.12.(3,5,8)*** * Turn in your exercises using the turnin link above! ** For problems 1.11.8 and 1.11.10, the gcd function is given on page 176. *** For problem 1.12.8, define a function named fib . 
W 
Sept 14 
Using lists in defined datatypes Powersets 
Read carefully 2.3 (for your project) Read 2.4 Watch video for 2.4 
readback 
Written exercises: 2.1.(24,7,20,23), 2.2.2 Coding exercises: 2.2.(3,8,9) 

F 
Sept 16 
A language processor (example code) 
Read 2.5  2.6 
readback 
Written exercises: 2.4.(812) Coding exercises: 2.2.(11,13,15), 2.4.(14,15) 

4  M 
Sept 19 
Pause for breath  Unclass 
none 
Coding exercise: 2.B Extended from Friday: Written exercises: 2.4.(812) Coding exercises: 2.2.(11,13,15), 2.4.(14,15) 

W 
Sept 21 
Proposition. Forms, values, equivalence 
Read carefully 3.1  3.2 Read 3.3  3.4 
readback 
Extended from Monday: Coding exercise: 2.B Extra credit: 2.E, 2.F (no autograder, print and submit) 

F 
Sept 23 
Conditionals (code from class) 
Read 3.5  3.7 
readback 
Written exercises: 3.3.(5,6); 3.4.(2,4,812) 

5  M 
Sept 26 
Arguments (slides) 
Read 3.8  3.9 
readback 
Written exercises: 3.5.(13), 3.7.(12) Coding exercises: 3.7.(79,1213) 
W 
Sept 28 
Quantification (slides, code from class) 
Read carefully 3.10  3.11 Skim 3.12  3.13 
readback 
Written exercises: 3.8.(3,5); 3.9.(48) 

F 
Sept 30 
Quantification
& arguments (code from class) 
Read 3.14 
readback 
Written exercises: 3.12.(1,2) Coding exercises: 3.13.(2,4,5) Project proposal 

6  M 
Oct 3 
Pause for breath  Getting started with quantification & arguments 
readback 
Written exercises: 3.14.(69) 

W 
Oct 5 
Exam
1 

F 
Oct 7 
October
break  no class 

7  M 
Oct 10 
Proof. Introduction, subset proofs 
Read 4.1  4.2 
readback 

W 
Oct 12 
Set equality proofs Set emptiness proofs 
Read 4.3  4.4 
readback 
Written exercises: 4.2.(23,57) 

F 
Oct 14 
Conditional proofs 
Read 4.5  4.8 
readback 
Written exercises: 4.3.(3*,14,15,18), 4.4.(4,5,6) *Note: Use exercise 4.2.7 as a lemma 

8  M 
Oct 17 
Pause for breath 
Written exercises: 4.5.(1,4,5), 4.6.(2,5,6) 

W 
Oct 19 
Proofs about powersets  Review 2.4, esp. ex. 2.4.15 Skim 4.9 
readback  Written exercises: 4.7.(1,2) 

F 
Oct 21 
From theorems to algorithms (code from class) 
Read 4.10  readback 
Review 4.9 Written exercises: 4.9.(1,3,4,6) 

9  M 
Oct 24 
Relation. Definition, representation, operations 
Read carefully 5.1 Read 5.2  5.3 
readback 
Programming exercises: 4.10.(3,4,6) 
W 
Oct 26 
Properties of relations  Read 5.4, optionally watch video 
readback 
Practice exercises (online) Written exercises: 5.3.(8,10) Programming exercises: 5.3.(12,13) 

F 
Oct 28 
Equivalence relations 
Read 5.5 
readback 
Programming exercises: 5.3.(14) Written exercises: 5.3.(5,6); 5.4.(35, 22, 24) 

10  M 
Oct 31 
Transitive closure (code from class) 
Read 5.6  5.7 
readback 
Written exercises: 5.4.(25,26); 5.5.(5,7,9,10) 
W 
Nov 2 
Partial order relations (slides, final definitions) 
Read 5.8  5.9 
readback 
Programming exercises: 5.6.(1,3); 5.7.(5) 

F 
Nov 4 
Pause for breath  Exam review 
readback 
Written exercises: 5.7.3; 5.8.(15); 5.9.(1,8)  
11  M 
Nov 7 
Exam
2 

W 
Nov 9 
Selfreference. Recursive types (code from class) 
Read 6.1  6.3 
readback 

F 
Nov 11 
Structural induction 
Read 6.4 
readback 
Programming exercises: 6.2.(68,1417) 

12  M 
Nov 14 
Mathematical induction 
Read 6.5 
readback 
Written exercises: 6.4.(3,4) 
W 
Nov 16 
More on mathematical induction 
Read 6.6 
readback 
Written exercises: 6.4.7, 6.5.(2,5) 

F 
Nov 18 
Loop invariants  Read carefully 6.9 Skim 6.10  6.11 
readback 
Written exercises: 6.6.(2,3) Project prototype 

Thanksgiving
Break 

13  M 
Nov 28 
Function. Mathematical functions Functions as firstclass values (code from class) 
Read carefully 7.1 Read 7.2 Skim 7.3 
readback 
Written exercises: 6.10.(1,3) Optional programming exercises: 6.11.(13)  Test correctness using autograder for exercise 4.10.3 
W 
Nov 30 
Images & inverse images Sorting with function parameters (code from class) 
Read 7.4 
readback 
Written exercises: 7.2.(2,3) Programming exercises: 7.3.(3,4,8) 

F 
Dec 2 
Map, filter, folding (code from class)  Read 7.5 Skim 7.14 
readback 
Exam 2 rewrites Written exercises: 7.4.(1,5,6) 

14  M 
Dec 5 
Function properties Inverse functions Composition 
Read 7.6  7.8 
readback 
Written exercises: 7.4.(8,9,10) Programming exercises online: 7.5.(a,b,c), 7.14.(a,b,d,e) (This is lots, I know, but each one should be short!) 
W 
Dec 7 
Cardinality & Countability 
Read 7.9; Skim 7.15  readback 
Written exercises: 7.6.(2,3,6); 7.8.(1,5,6) 

F 
Dec 9 
Computability; Wrapup and course evaluations 
Skim 12.10 
readback 
Written exercises: 7.9.(1,2,7) Project final version and writeup 

15 
F 
Dec 16 
Final exam, 24 pm Note location changed to Olin 129 
Janet Davis (davisj@whitman.edu). Adapted from Thomas VanDrunen's syllabus for CS/MATH 243, Wheaton College.
Created August 28, 2016