Using a computerized logic course employing the Carnegie Mellon Proof Tutor problem-solving environment, crucial features of computer environments were isolated and relative pedagogical effectiveness was assessed. Students used computerized environments to construct proofs and were presented with identical course materials on sentential logic. The…

Presents the PETAL (Programming Environment Tool) learning environment, and discusses a study where one group of students used PETAL and another used a standard LISP environment to learn recursion. The PETAL group performed better during the learning period and on a written posttest. Theorizes why PETAL may be responsible for improved learning of…