Resolución de ecuaciones, unificación, automatización del conocimiento y matemática educativa

• Autores: Luis Cachafeiro Chamosa
• Localización: Tarbiya: Revista de investigación e innovación educativa, ISSN 1132-6239, Nº 15, 1997, págs. 79-88
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen
  • 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.