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…

Up to this point, university education has largely remained unaffected by the developments of novel approaches to web-based learning. The paper presents a principled approach to the design of problem-oriented, web-based learning at the university level. The principles include providing authentic contexts with multimedia, supporting collaborative…