Descriptor
| Heuristics | 2 |
| Higher Education | 2 |
| Programming | 2 |
| Algorithms | 1 |
| Computer Interfaces | 1 |
| Computer Science Education | 1 |
| Educational Games | 1 |
| Instructional Effectiveness | 1 |
| Logic | 1 |
| Mathematics Education | 1 |
| Problem Solving | 1 |
| More ▼ | |
Publication Type
| Journal Articles | 2 |
| Guides - Classroom - Teacher | 1 |
| Reports - Research | 1 |
Education Level
Audience
Location
Laws, Policies, & Programs
Assessments and Surveys
What Works Clearinghouse Rating
Peer reviewedGinat, David – International Journal of Mathematical Education in Science and Technology, 2001
Presents an approach for illustrating, on an intuitive level, the significance of loop invariants for algorithm design and analysis. The illustration is based on mathematical games that require the exploration of regularities via problem-solving heuristics. (Author/MM)
Descriptors: Algorithms, Educational Games, Heuristics, Higher Education
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
