Resumen de Resolución de ecuaciones, unificación, automatización del conocimiento y matemática educativa
- español
En este trabajo se describen las operaciones de unificación y de unificación ecuacional, justificando su importancia como operaciones fundamentales en el campo de la automatización del conocimiento. Se muestra la estrecha relación de ambas con la resolución de ecuaciones y se consideran las implicaciones que puedan tener en el currículum, especialmente en el de las matemáticas.
- English
In this paper, we describe the unification and equational unification operations justifiying their importance as operation in the filed of the automatization of knowlwdge. We show the close relationship of both operations with the equational resolution and we also consider some implications in the curriculum specially in the mathematicas study programmes.
