Discrete Mathematics and Functional Programming

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. See also the YouTube channel.

• Introduction to the book (and course). [MP4 ] [YouTube]
• Sets and elements, Sections 1.(1-3). [MP4] [YouTube]
• Set operations and verifying facts, Sections 1.(4 & 5), Part 1. [MP4] [YouTube]
• Set operations and verifying facts, Sections 1.(4 & 5), Part 2. [MP4] [YouTube]
• Introduction to ML, Section 1.6. [MP4] [YouTube]
• Cardinality, Cartesian product, and other miscelaneous set concepts, Sections 1.(8 & 9). [MP4] [YouTube]
• Writing one's own types and operations, Sections 1.(10-12), Part 1. [MP4] [YouTube]
• Writing one's own types and operations, Sections 1.(10-12), Part 2 (introduction to recursion). [MP4] [YouTube]
• Introduction to lists in ML, Section 2.1. [MP4 ] [YouTube] NEW
• Functions on lists in ML, Section 2.2. [MP4 ] [YouTube] NEW
• Powersets, Section 2.4. [MP4 ] [YouTube] NEW
• Properties of relations, Section 5.4. [MP4] [YouTube]

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.

5. Resources for instructors

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.