ERIC Number: EJ602344
Record Type: CIJE
Publication Date: 1999
Graphic Interface Design and Deductive Proof Construction.
Croy, Marvin J.
Journal of Computers in Mathematics and Science Teaching, v18 n4 p371-85 1999
Presents graphic means of representing deductive proofs in a sentential system of symbolic logic. Provides students with performance data following a description of the rule set and the working backwards method. Shows that one interface design is superior to others in respect to working backwards. Draws some general conclusions concerning the relevance of instructional programs for empirically documenting student difficulties and improving interface designs. (Author/ASK)
Publication Type: Journal Articles; Reports - Research
Education Level: N/A
Authoring Institution: N/A