Brown Dot Teaching Resources

A group of Brown Dots (1999-2000 Project NExT Fellows) are collecting web resources on various topics. This page is maintained by Randall Pruim and includes resources for

Logic

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

Courses, Tutorials, Demos, etc.

Notes

Prolog


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.