*Discrete Mathematics and Functional Programming*

## Thomas VanDrunen

### Wheaton College (IL)

This site provides information about and supplemental material for
Thomas VanDrunen,
*Discrete Mathematics and Functional Programming*
August 2012 by Franklin, Beedle and Associates.
(See Franklin Beedle's catalogue entry.)

I have written a new version of Section 6.12 on the Huffman encoding.
Here is a PDF of the new section,
and you can also get
the revised SML code.

### 1. Videos

I am producing a series of videos to accompany the text, both
to help those who are studying the book independently and to be
an aid to classroom use (for example, assigning these videos
to support a "flipped classroom" model).
If there are any sections for which you would find a video particularly
useful, let me know.

- Introduction to the book (and course): introduction.mp4.
- Sets and elements, Sections 1.(1-3). setelem.mp4
- Set operations and verifying facts, Sections 1.(4 & 5), Part 1.
setops1.mp4.
- Set operations and verifying facts, Sections 1.(4 & 5), Part 2.
setops2.mp4.
- Introduction to ML, Section 1.6. introml.mp4
- Cardinality, Cartesian product, and other miscelaneous set concepts, Sections 1.(8 & 9). cardcart.mp4
- Writing one's own types and operations, Sections 1.(10-12), Part 1.
typeops.mp4
- Writing one's own types and operations, Sections 1.(10-12), Part 2
(introduction to recursion).
typeopsrecur.mp4
- Properties of relations, Section 5.4.
relprop.mp4

### 2. Excerpts

Brief and full table of contents

Preface (for instructors)

### 3. Related document

The Case for Teaching Functional Programming
in Discrete Math, a paper at the Educators' and Trainers' Symposium at
SPLASH (formerly OOPSLA) 2011 describing the approach found
in this book.

### 4. Resources for students

Source code for examples and exercises.

I am preparing a collection of solutions to
exercises to aid students in studying the text on their own.
This will be in lieu of a "back-of-the-book" section.
It will be fairly limited, since the exercises also need to serve
as homework problems for assessment.
I'm posting the work-in-progress here:

Selected solutions.

Errata.

For information on reviewing this book or related matters,
contact Tom Sumner
at Franklin, Beedle.
For feedback on the text, errata reporting, etc, contact
Thomas VanDrunen.

Thomas VanDrunen
Last modified: Tue Jul 28 16:14:06 CDT 2015