Abstract
The broad aim of this research is to transfer knowledge from the experienced to the inexperienced person, and in a way to improve the teaching ability of symbolic and algebraic manipulation by delivering knowledge-based experimental kits to school la boratories of Mathematics. These kits are simple aids for special demonstrations and experiments in reasoning, based upon the paradigm of computation as controlled de — duction. Also, they envisage to raise knowledge distribution.
References
Bundy, A. et al., MECHO: a Program to solve Mechanics problems, Working Paper, Department of Artificial Intelligence, University of Eddnburgh, 1979.
Bundy, A. and Sterling, L., Meta-level inference in Algebra, Proc. of the Workshop on Logic Programming for Intelligent Systems, 1981.
Coelho, H. and Pereira, L.M., GEOM: a Prolog geometry theorem prover, (LNEC, Lisboa, 1975).
Coelho, H. and Cotta, J.C., How to teach, learn and use Prolog by example (to be pu blished, 1985).
Ennals, R., Logic as a computer language for children:a one year course, Department of Computing, Imperial College, 1981.
Kowalski, R., Logic as a computer language for children, Proceeding of ECAI, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Coelho, H. (1985). Symbolic and algebraic computation may support secondary education. In: Caviness, B.F. (eds) EUROCAL '85. EUROCAL 1985. Lecture Notes in Computer Science, vol 204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15984-3_312
Download citation
DOI: https://doi.org/10.1007/3-540-15984-3_312
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15984-1
Online ISBN: 978-3-540-39685-7
eBook Packages: Springer Book Archive