CSCI 243. Discrete Mathematics and Functional Programming


Spring 2024
Thomas VanDrunen



Meeting time: MWF 2:15pm-3:25pm.
Meeting place: MEY 131

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


Syllabus

ML programming guide

Programming assignment turn-in page.

Frequently asked questions.




Final exam: Wed, May 1, 1:30pm-3:30pm


Moon's dayWoden' s dayFrigga's day

Jan 8

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

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

Jan 10

Set operations; visual verification (3-5)
Slides

Supplemental videos:
Video for section 1.4
Video for section 1.5

Jan 12

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

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

Jan 15

NO CLASS

Jan 17

Making things in SML. 1.(10-13).
Slides

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

Jan 19

SML functions. 1.(11-13)
Slides

Supplemental videos:
Video for section 2.1
Video for Section 2.2

Jan 22

More about SML functions. List. Introduction to lists. 2.1
Slides

Supplemental videos:
Video for Section 2.4

Jan 24

Functions on lists. 2.(2&3)
Slides

Jan 26

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

Jan 29

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

Jan 31

Conditionals. 3.(5-7)
Slides

Feb 2

Arguments. 3.(8 & 9)
Slides

Feb 5

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

Feb 7

Quantification and arguments. 3.14
Slides

Feb 9

Review
Slides

Feb 12

TEST

Feb 14

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

Feb 16

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

Feb 19

NO CLASS

Feb 21

Conditional proofs. 4.(5-8)
Slides

Feb 23

Powersets. 4.9
Slides

Feb 26

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

Feb 28

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

Mar 1

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

Mar 4

NO CLASS

Mar 6

NO CLASS

Mar 8

NO CLASS

Mar 11

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

Mar 13

Transitive closure. 5.(6 & 7)
Slides

Mar 15

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

Mar 18

Review

Mar 20

TEST

Mar 22

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

Mar 25

Structural induction. 6.4
Slides

Mar 27

Mathematical induction. 6.(5 & 6)
Slides

Mar 29

NO CLASS

Apr 1

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

Apr 3

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

Apr 5

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

Apr 8

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

Apr 10

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

Apr 12

Cardinality. 7.9
Slides

Apr 15

No-credit quiz. Countability. 7.15
Slides

Apr 17

Review
Slides

Apr 19

TEST

Apr 22

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

Apr 24

Huffman encoding. 6.12
Slides

Apr 26

Review