Schedule

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.1-3, 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.8-9
readback
Written exercises:
1.3.(11,14-16)
1.4.(1-6,19)
1.5.(8-11)

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.10-11
readback
Coding* exercises: 1.6.(1-5), 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.(5-7), 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.(2-4,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.(8-12)
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.(8-12)
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,8-12)
5 M
Sept 26
Arguments
(slides)
Read 3.8 - 3.9
readback
Written exercises: 3.5.(1-3), 3.7.(1-2)
Coding exercises: 3.7.(7-9,12-13)

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.(4-8)

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.(6-9)

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.(2-3,5-7)

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.(3-5, 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.(1-5); 5.9.(1,8) 
11 M
Nov 7
Exam 2

W
Nov 9
Self-reference.
Recursive types (code from class)
Read 6.1 - 6.3
readback


F
Nov 11
Structural induction
Read 6.4
readback
Programming exercises: 6.2.(6-8,14-17)
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 first-class 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.(1-3)
- 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;
Wrap-up 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, 2-4 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
Last revised December 15, 2016, 03:50:31 PM PST
This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.