Schools are facing increasing demands to prepare students for rapid economic, environmental and social changes, for jobs that have not yet been created, for technologies that have not yet been invented, and to solve social problems that have not yet been anticipated. Underpinning the E2030 project is the premise that education needs to do more…

The objectives of this research were to review existing computer-assisted instruction systems for propositional calculus proofs or elementary logic and to develop an instructional computer program that guides students in the valid construction of propositional calculus proofs. The system is unique in that it provides assistance at each step of the…

The major perspectives on problem solving of the twentieth century are reviewed--associationism, Gestalt psychology, and cognitive science. The results of the review on teaching problem solving and the uses of computers to teach problem solving are included. Four major issues related to the teaching of problem solving are discussed: (1)…