Descriptor
| Computer Interfaces | 1 |
| Computer Science Education | 1 |
| Heuristics | 1 |
| Higher Education | 1 |
| Instructional Effectiveness | 1 |
| Logic | 1 |
| Problem Solving | 1 |
| Programming | 1 |
| Proof (Mathematics) | 1 |
| Tutorial Programs | 1 |
Source
| Interactive Learning… | 1 |
Author
| Scheines, Richard | 1 |
| Sieg, Wilfried | 1 |
Publication Type
| Journal Articles | 1 |
| Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedScheines, Richard; Sieg, Wilfried – Interactive Learning Environments, 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…
Descriptors: Computer Interfaces, Computer Science Education, Heuristics, Higher Education
