CSCI 243. Discrete Mathematics and Functional Programming


Fall 2022
Thomas VanDrunen



Meeting time: MWF 2:15pm-3:25pm.
Meeting place: Meyer (SCI) 184

Office hours: Drop-in 3:30-4:30 MWF; also schedule through Calendly
Contact: Meyer (SCI) 163 Science; 752-5692; Thomas.VanDrunen@wheaton.edu


Syllabus

ML programming guide

Programming assignment turn-in page.

Frequently asked questions.




Final exam: Thurs, Dec 15, 1:30-3:30pm


Moon's dayWoden' s dayFrigga's day

Aug 22

NO CLASS

Aug 24

Sets. Sets and elements. 1.(1 & 2)
Slides

Supplemental videos:
Video for course introduction
Video for sections 1.1-3

Aug 26

Set operations; visual verification (3-5)
Slides

Supplemental videos:
Video for section 1.4
Video for section 1.5

Aug 29

Intro to SML; cardinality and Cartesian products. 1.(6-9).
Slides

Supplemental videos:
Video for section 1.6
Video for sections 1.(8 & 9)

Aug 31

Making things in SML. 1.10.
Slides

Supplemental videos:
Video for sections 1.(10 & 11)
Video for sections 1.(12)

Sept 2

SML functions. 1.(11-13)
Slides

Supplemental videos:
Video for section 2.1
Video for Section 2.2

Sept 5

NO CLASS

Sept 7

List. Introduction to lists. 2.(1-3)
Slides

Supplemental videos:
Video for Section 2.4

Sept 9

Powersets; a language processor. 2.(4-6)
Slides

Sept 12

Proposition. Propositional forms; boolean values; logical equivalence. 3.(1-4)
Slides

Sept 14

Conditionals. 3.(5-7)
Slides

Sept 16

Arguments. 3.(8 & 9)
Slides

Sept 19

Predicates; quantification. 3.(10-13)
Slides

Sept 21

Quantification and arguments. 3.14
Slides

Sept 23

Review
Slides

Sept 26

TEST

Sept 28

Proof. Introduction to proofs; subset proofs. 4.(1 & 2)
Slides

Sept 30

Set equality proofs; set emptiness proofs. 4.(3 & 4)
Slides

Oct 3

Conditional proofs. 4.(5-8)
Slides

Oct 5

Powersets. 4.9
Slides

Oct 7

From theorems to algorithms. 4.(10 & 11)
Slides

Oct 10

Relation. Introduction. 5.(1-3)
Slides

Oct 12

Properties of relations, part 1. 5.(4&5)
Slides

Oct 14

Properties of relations, part 2. 5.(4&5)

Oct 17

NO CLASS

Oct 19

NO CLASS

Oct 21

Transitive closure. 5.(6 & 7)
Slides

Oct 24

Partial order relations; topological sort. 5.(8 & 9)
Slides

Oct 26

Review

Oct 28

TEST

Oct 31

Self Reference. Recursive types. 6.(1-3)
Slides

Nov 2

Structural induction. 6.4
Slides

Nov 4

Mathematical induction. 6.(5 & 6)
Slides

Nov 7

Loop invariants, part 1. 6.(9 & 10)
Slides

Nov 9

Loop invariants, part 2. 6.(9 & 10)

Nov 11

Function. Introduction. 7.(1-3)
Slides

Nov 14

Images and inverse images. 7.(4 & 5)
Slides

Nov 16

Map and filter; function properties; inverse functions; composition. 7.(5-8)
Slides

Nov 18

Cardinality. 7.9
Slides

Nov 21

No-credit quiz. Countability. 7.15
Slides

Nov 23

NO CLASS

Nov 25

NO CLASS

Nov 28

Review
Slides

Nov 30

TEST

Dec 2

Map and foldl; modeling functions. 7.(5 & 14)
Slides

Dec 5

Fixed-point iteration. 7.(12 & 13)
Slides

Dec 7

Huffman encoding. 6.12
Slides

Dec 9

Review