NotesFAQContact Us
Search Tips
Peer reviewed Peer reviewed
ERIC Number: EJ521852
Record Type: CIJE
Publication Date: 1994
Pages: N/A
Abstractor: N/A
Reference Count: 0
ISSN: ISSN-1049-4820
Computer Environments for Proof Construction.
Scheines, Richard; Sieg, Wilfried
Interactive Learning Environments, v4 n2 p159-69 1994
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 group using the most informative and flexible interface performed better on the midterm. (Author/JKP)
Publication Type: Reports - Research; Journal Articles
Education Level: N/A
Audience: N/A
Language: English
Sponsor: N/A
Authoring Institution: N/A