CALRG00 (report) 2MB

CALRG00app (appendix) 220k

Aczel, J. C. (2000) "The Evaluation of a Computer Program for Learning Logic: The Role of Students' Formal Reasoning Strategies in Visualising Proofs", CALRG Technical report 192. Computers and Learning Research Group, Institute of Educational Technology, The Open University, Milton Keynes, UK

ICCE99 49k

Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Using computers to learn logic: undergraduates’ experiences" in Cumming, G., Okamoto, T. & Gomez, L. (eds.) Advanced Research in Computers and Communications in Education: Proceedings of the 7th International Conference on Computers in Education, Amsterdam, IOS Press

INTERACT99 (paper) 17k

INTERACT99 (poster) 312k

Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Influences of Software Design on Formal Reasoning", in Brewster, S., Cawsey, A. & Cockton, G. (Eds.) Proceedings of IFIP TC.13 International Conference on Human-Computer Interaction INTERACT '99, Vol. 2, pp. 3-4, Swindon, UK, British Computer Society, ISBN 1-902505-19-0

CALRG99 (abstract) 10k

CALRG99 (slides) 428k

Aczel, J. C., Oliver, M. & Fung, P. (1999) "Progressive Refinement of Formal Reasoning Strategies using Software for Learning Logic", Proceedings of the 20th anniversary conference of the Computers and Learning Research Group, The Open University, June 1999

SRC99 (abstract) 16k

Aczel, J. C. & Fung, P. (1999) "Evaluation of a software tool for supporting formal reasoning", Proceedings of the day conference of the Student Research Centre, Feb 1999, Institute of Educational Technology,

BSRLM99 (slides) 30k

Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Undergraduates' Computer-Assisted Formal Reasoning", Presentation to the day conference of the British Society for Research into Learning Mathematics, Feb 1999

PPIG99 36k

Aczel, J. C., Fung, P., Bornat, R., Oliver, M., O’Shea, T., & Sufrin, B. (1999) "Computer Science Undergraduates Learning Logic Using a Proof Editor: Work in Progress", Proceedings of the Psychology of Programming Interest Group, University of Leeds

TCJ99

Bornat R. & Sufrin B.A. (1999) "Animating formal proof at the surface: the Jape proof calculator", The Computer Journal, 43(3), 177-192

ELT98 23k

Aczel, J., Fung, P., Bornat, R., Oliver, M., O'Shea, T. & Sufrin, B. (1998) "The effectiveness of visualisation tools in supporting the learning of formal reasoning for software development". In Oliver, M. (Ed), ELT 98: Innovation in the Evaluation of Learning Technology: Conference proceedings, pp. 31-34, University of North London.