|  UAM Ediciones  |  UAM

Núm. 15 (1997): Educación Matemática
Apuntes de hª de la matemática con posible interés para la práctica educativa

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

pdf
  • Luis Carlos Cachafeiro
Luis Carlos Cachafeiro
I.B. Pontepedriña. Santiago de Compostela
Publicado 15 enero 1997

Palabras clave:

Inteligencia artificial, Resolución de ecuaciones, Currículum de matemáticas
Cómo citar
Cachafeiro, L. C. (1997). Resolución de ecuaciones, unificación, automatización del conocimiento y matemática educativa. Tarbiya, Revista De Investigación E Innovación Educativa, (15), 79–88. Recuperado a partir de https://revistas-new.uam.es/tarbiya/article/view/21011

Resumen

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.

pdf

Descargas

Los datos de descargas todavía no están disponibles.

Citas

BOCKMAYR (1987). A Note on a Canonical Theory with Undecidable Unification and Matching Problem. Journal of Automateed Reasoning 3, 379-381.

BOUDET, A., CONTEJEAN, E., DEVIE, H. (1990). A new AC unification algrithm with a new algorithm for solving diophantique equations. IEEE Symposium on Logic in Compter Science 289-299.

BOYER, C.B. (1986). Historia de la Matemática. Madrid: Alianza Editorial.

CACHAFEIRO CHAMOSA, L.C. (1994). Algoritmos Xerales de Unificación Ecuacional. Tese Dotoral. Universidad de A Coruña. Abril 1994.

GRAUBARD, S.R. (comp.) (1993). El Nuevo Debate sobre la Inteligencia Artificial. Sistemas simbólicos y redes neuronales. Barcelona: Editorial Gedisa.

JOHNSON-LAIRD, P.N. (1990). El ordenador y la mente. Introducción a la ciencia cognitiva. Barcelona: Editorial Paidós.

KNIGHT, K. (1989). Unification: A Multidisciplinary Survey. ACM Computing Surveys 21, 92-124.

MATIJASEVIC Y. (1970). Diophanine representation of recursively enumerable predicates. Actes Congres International des Mathématiciens 1, 235-238.

ROBINSON, J.A. (1965). A Machine-Oriented Logic Based on the Resolution Principle. Journal of Association Computing Machinery UACM), 12, 32-41.

MARTELLI, A., MONTANARI, U. (1982). An efficient unification algorithm. Transaction on Programming Languages and Systems, 4(2), 258-282.

MARTIN, U., NIPKOW, T. (1989). Boolean Unification - The Story So Far. Journal of Symbolic Computation 7, 275-293.

SIEKMAN,J. (1989). Unification Tbeory: a Survey. Journal of Symbolic Computation, 7, 207-274.