Division of Informatics
Forrest Hill & 80 South Bridge
MSc Thesis #9647 | |
|---|---|
| Title: | A Wave Rule Tutor |
| Authors: | Kiernan,B |
| Date: | 1996 |
| Presented: | |
| Keywords: | |
| Abstract: | In the field of automated theorem proving, rippling is a heuristic used in finding inductive proofs. It features the use of annotated rewrite rules called wave-rules. As part of the Automated Reasoning module, students are expected to understand and derive samples of wave-rules. Many students find this a challenging task. In this thesis we trace the development of a tutor to assist students learning about wave-rules and rippling. In the opening chapters the relevant concepts are presented and the problem is examined from the student's point of view. Based on the outcome of this analysis a design is proposed which is then implemented and tested on potential users. The results of testing are discussed. Finally, the project as a whole is assessed and directions for future development are sketched. |
| Download: | NO ONLINE COPY |
![[Search These Pages]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}