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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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