Sciweavers

SIGCSE
2002
ACM
202views Education» more  SIGCSE 2002»
13 years 4 months ago
A tutorial program for propositional logic with human/computer interactive learning
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
Stacy Lukins, Alan Levicki, Jennifer Burg