CS 60 Reference Links

Harvey Mudd College
Computer Science 60
Principles of Computer Science
Reference Links, Spring 2002

Course-specific
- Online Text
  - 2001 version in PDF
  - 1997 version in HTML
- Previous Exams
Languages
- Java
- rex
- Prolog
  - Prolog Operators (introductory list)
  - Examples
  - Quick Prolog
  - Tutorial
  - Lectures on Logic Programming
  - More tutorial examples
  - Adventure in Prolog
  - Prolog Programming, A First Course (Paul Brna)
  - Logic Programming Links (Virtual Library)
- ISCAL
Demos
- Captain Nimo (Nim player)
  - Another Nim Demo
- Hypercube logic visualizer (by Ian Weiner)
- Karnaugh Map applet (KVD = Karnaugh-Veitch Diagram, University of Hamburg)
- Logic Circuit Simulators
  - SimCir
  - GateBuilder
- ObjectDraw, demonstrates inheritance (source)
- Syntax Tree
- Tautology checker
- Towers of Hanoi (source)
- Turing Machine Simulator
Hardware
Theory
- Turing Computability
- Busy Beaver problem
- Post's Correspondence Problem
  - Introductory
  - Proof of undecidability
UNIX
The Harvey Mudd College Computer Science Department Quick Reference Page