Title :
Oliver: an online inference and verification system
Author :
Wildenberg, A. ; Scharff, C.
Author_Institution :
Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA
Abstract :
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.
Keywords :
computer aided instruction; computer science education; distance learning; information resources; logic design; Oliver; SUNY Stony Brook; WeBWorK system; cheating reduction; distance learning; instant student feedback; online grading; online inference and verification system; online student support; plagiarism reduction; propositional logic proofs; student experimentation; teaching; web-based interface; Computer aided instruction; Computer science; Computer science education; Feedback; Logic; Mathematics; Plagiarism; Psychology; Set theory; Visualization;
Conference_Titel :
Frontiers in Education, 2002. FIE 2002. 32nd Annual
Print_ISBN :
0-7803-7444-4
DOI :
10.1109/FIE.2002.1158636
