Contributor(s)The Pennsylvania State University CiteSeerX Archives
Full recordShow full item record
AbstractWe describe Oliver, the Online inference and verification system for propositional logic. It provides a web-based interface for teaching propositional logic proojS&apos;, and accepts&apos; any valid direct proof. Oliver provides instant feedback to students&apos; as to whether each step is correct or not, encourages experimentation by students&apos; and is integrated within the WeBWorK system for online grading and support. Oliver randomizes problems for students&apos; to reduce plagiarism and cheating. It has been successfully used to teach propositional logic to several thousand students&apos; at SUNY Stony Brook, and is very popular among students&apos; and faculty.