Rocky Mountain College * Department of Computer Science * 406 208 3193 *
Oliver: an OnLine Inference and VERification system
by A. Wildenberg and C. Scharff, Frontiers in Education (FIE02),
Boston, Massachusets, October 2002.
We describe Oliver, the Online inference and verification system for
propositional logic. It provides a web-based interface for teaching
propositional logic proofs, and accepts any valid direct proof. Oliver
provides instant feedback to students as to whether each step is
correct or not, encourages experimentation by students and is
integrated within the WeBWorK system for online grading and
support. Oliver randomizes problems for students to reduce plagiarism
and cheating. It has been successfully used to teach propositional
logic to several thousand students at SUNY Stony Brook, and is very
popular among students and faculty.
You know we're constantly taking. We don't make most of the
food we eat, we don't grow it, anyway. We wear clothes other
people make, we speak a language other people developed, we use
a mathematics other people evolved and spent their lives
building. I mean we're constantly taking things. It's a
wonderful ecstatic feeling to create something and put it into
the pool of human experience and knowledge. -- Steve Jobs,
Rolling Stone, November 1983.