Discrete Mathematics and Functional Programming

I have re-written Section 6.12 on the Huffman encoding. Download a PDF of the new section here. You may also want the source code used in that section and its exercises.

Resources for instructors

I plan to populate this site gradually as I create the ancillary resources. Primarily I want to provide four things: slides, screen casts and other videos, extra exercises, and a solutions manual.

I make very little use of slides in my own teaching, but I recognize the need for having slides available for instructors using the book. As slides become available, please feel free to send comments to me on how to make them more useful to instructors or generally to improve them. I am also willing to give the LaTeX source, on request, if you want to modify them. These are not slides that I use in my own class; I have made them solely to help instructors using my book.

During the years I was preparing the book and using it in my own class, I gradually built up a collection of exercises from writing tests each year, and every time I revised the manuscript I added the new exercises. At the time the book was published (August 2012), it contained almost all the exercises I had. But I will be writing more and will be happy to share them with any instructors using the book.

The solutions manual won't be complete, but also will be something I fill out gradually. But if there is any exercise to which you need a solution, please feel free to ask me and I will write it up for you and add it to the solutions manual.

For obvious reasons, I will not make the extra exercises and solutions manual publicly available. Instead please contact me to request an electronic copy of either, and if I can informally verify that you are an instructor, I will send them to you.

Slides and video

(I will post more as they are ready).