Computer Science 394

Advanced Discrete Mathematics and Functional Programming
Spring 2008
Thomas VanDrunen

Meeting time: Tu 1:15-3:05 pm.
Meeting place: Armerding 123

Office hours: MTuWF 3:10-4:10 pm; Th 8:30-11:30 am.
Contact: 112 Armerding; 752-5692; Thomas.VanDrunen@wheaton.edu
http://cslab.wheaton.edu/~tvandrun/cs394

Syllabus: ps pdf

Resources:
Discrete Mathematics and Functional Programming,
2006 version: [PDF] [PDF, "two-up"] [Postscript] [Postscript, "two-up"]
2007 version: [PDF] [PDF, "two-up"] [Postscript] [Postscript, "two-up"]

Final exam: Wednesday, May 7, 10:30 am

Moon's day

Tiw's day

Woden's day

Frigga's day

Jan 14

Jan 15

Pipe and filter
Code from class

Jan 16

Jan 18

Read for next class: [ps] [pdf]

Jan 21

Jan 22

Graphs
Slides

Jan 23

Jan 25

Read for next class: [ps] [pdf]

Jan 28

Jan 29

Trees
Code from class
Code for the assignment

Jan 30

Feb 1

Feb 4

Feb 5

NO CLASS

Feb 6

Feb 8

Feb 11

Feb 12

Tables and memoization
Code from class
Code for the assignment

Feb 13

Feb 15

Read for next class: [ps] [pdf]

Feb 18

Feb 19

Lattices
Slides
Code from class

Feb 20

Feb 22

Read for next class: [ps] [pdf]

Feb 25

Feb 26

Boolean algebras

Feb 27

Feb 29

Mar 3

Mar 4

Circuits
Code in the order we did it
Code organized as ML wants it

Mar 5

Mar 7

Mar 10

(Spring break)

Mar 11

NO CLASS

Mar 12

(Spring break)

Mar 13

(Spring break)
Read for next class: [ps] [pdf]

Mar 17

Mar 18

Groups
Slides

Mar 19

Midterm released today, covering everything in A quad
Code for the midterm

Mar 21

Read for next class: [pdf]

Mar 24

Mar 25