The University of Aberdeen
The Computing Science Department

Information

On-Line References and Assorted Links

A broad and accessible textbook, useful for this and many other courses, is Kenneth H. Rosen, Discrete Mathematics and its Applications. 7th Edition, freely downloadable (at the time of writing) from here.

Lambda-Calculus and Functional Programming:

Haskell: Computability and Complexity: Notes: