- Abstract:
-
We have developed a diagrammatic logic for theorem prov- ing, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry algebraic formalism). To evaluate its pragmatic value, pilot experiments were conducted using this logic - implemented in an interactive theorem prover - to teach undergraduate students (and comparing performance against an equivalent algebraic logic). Our results show significantly better performance for students us- ing diagrammatic reasoning. We conclude that diagrams are a useful tool for reasoning in such domains.
- Copyright:
- 2005 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0348,
- author = {
Daniel Winterstein
and Alan Bundy
and Corin Gurr
and Mateja Jamnik
},
- title = {An Experimental Comparison of Diagrammatic and Algebraic Logics},
- year = 2004,
- }
|
