Login or register for free to remove ads.
Search Results
One paper matched
Graphic Interface Design and Deductive Proof Construction
Journal of Computers in Mathematics and Science Teaching(JCMST)18:4, 1999
Journal of Computers in Mathematics and Science Teaching(JCMST)18:4, 1999
A graphic means of representing deductive proofs in a sentential system of symbolic logic is presented. Proof construction is characterized as a domain of the cognitive theory of problem solving, and three different interface designs for supporting...