Estrategias utilizadas en la traducción del lenguaje natural al lenguaje algebraico

En esta comunicación presentamos parte de los resultados obtenidos en las investigaciones realizadas dentro de Planes Nacionales de Investigación Educativa del C.I.D.E. durante los cursos 1987-88 y 1988-89, que trataban de averiguar las dificultades del aprendizaje del álgebra en secundaria. El objetivo inicial de este trabajo era estudiar las dificultades planteadas en la resolución de problemas de enunciado verbal en los que se utiliza una ecuación de primer grado o un sistema lineal de dos ecuaciones con dos incógnitas, ya que considerabamos, como la mayoría de los profesores lo hace, que la mayor dificultad presentada en álgebra estaba en la resolución de estos problemas.

Fundamentos lógicos de la programación declarativa

El objetivo del artículo es el estudio de los fundamentos lógicos que están en la base de gran cantidad de sistemas de razonamiento automático, y que suponen una estrategia computacionalmente viable para la demostración de teoremas o el diseño de motores inferenciales (Prolog). En concreto se presenta la forma clausal. en tanto que formalismo para la representación de conocimiento, y el principio de resolución, como mecanismo inferencia! que asegura la completud y corrección lógicas.

Visión heurística de la clasificación de una cónica mediante calculadora gráfica y un ordenador a nivel de 3º de BUP

Este escrito es el relato de una experiencia matemática en la que se pretendía hacer un programa que clasificara una cónica dada. Se comenzó con un programa escrito en Pascal que devolvía el centro y el radio de una circunferencia entrada por sus coeficientes. El trabajo fue realizado por alumnos de 39 de BUP con ordenadores y calculadoras gráficas. bajo unos planteamientos heurísticos. Parte del trabajo se hizo en clase y la mayor parte fuera de la misma con un grupo de alumnos interesados en el tema.

Replanteamiento de la Conjetura de Goldbach

En este ensayo se propone el uso de una razón que permite determinar la secuencia de las series cuyas sumas son cuadrados perfectos; estas soluciones las usamos posteriormente para determinar algunos primos de la forma 4n+1, descubrimos una nueva razón que relaciona la constante Pi y un número primo de diez cifras de la forma 4n+1. Más adelante describimos la relación de esta clase de números primos con los llamados primos gemelos, lo que nos permite replantear la Conjetura Binaria de Goldbach en términos de una igualdad que involucra exclusivamente las clases de números primos que nos ocupan.