Brown Dot Teaching Resources
A group of Brown Dots
(19992000 Project NExT Fellows) are collecting web resources on
various topics. This page is maintained by
Randall Pruim and includes resources for
Textbooks and related sites
Course Home Pages
Below is a list of course home pages I have come across. The parenthesized
designation indicates the text used, where applicable. (Abbreviations are
listed above.)
Theorem Provers
Machine Simulators
Busy Beaver Problem
 Go here to
find out what the Busy Beaver Problem is and to find some interesting
links about it.

Heiner Marxen's Page
lists some known facts and recordholders.
Courses, Tutorials, Demos, etc.
Notes

Mike Stob's Logic Notes:
Postscript notes by Mike Stob
for an advanced undergraduate logic course.
Traditional syllabus aiming for Goedel's Theorem.

Randall Pruim's Logic notes. These only cover a few selected topics from
an undergraduate Advanced Logic course. Most notably, there is material on
cardinality, countability, and diagonalizationan, and there is a section
giving a brief introduction to set theory.
(dvi,
postscript)
Prolog

Pruim's Prolog Page:
These materials were used in conjunction with the predicate logic
part of a discrete math course. Includes a prolog interpreter that can
be run over the WWW, an example from Monty Python, examples, exercises, ...
Have a great link that should be in this list? Don't send email,
fill out a
handy form
and have your link automatically included in the Brown Dot Resources.
Back to Brown Dot Home Page
This page is maintained by
Randall Pruim. Please email comments, corrections, suggestions and
the like to rpruim@calvin.edu.