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.

Actitud, aptitud y rendimiento en matemáticas: un estudio en primero de magisterio

Este trabajo de investigación ha sido realizado en la Escuela Universitaria de Magisterio de Murcia, en la asignatura de Matemáticas 1°. A los alumnos de tres grupos de diferentes características -uno de la especialidad de Filología, otro del resto de especialidades y un tercero de todas las especialidades, se les aplicaron una serie de pruebas con la finalidad de medir variables actitudinales y de rendimiento en matemáticas, mediante tests estandarizados se obtuvo la aptitud verbal, numérica. razonamiento y factor de inteligencia de los alumnos, así como su actitud, su preferencia e importancia por las matemáticas. El rendimiento en matemáticas se obtuvo a través de las calificaciones de Junio.

Análisis de las conceptualizaciones erróneas en conceptos de geometría y sistemas de ecuaciones: un estudio con estudiantes universitarios de primer ingreso

En el presente artículo se reportan los resultados de una investigación que clasifica las conceptualizaciones que tienen estudiantes de primer ingreso universitarios de Costa Rica en temas de geometría y sistemas de ecuaciones mediante el modelo SOLO Taxonómico (propuesto por Biggs & Collis, 1982). Inicialmente los estudiantes se ubican en los primeros niveles de razonamiento en los temas de geometría y en niveles intermedios en sistemas de ecuaciones, al final los estudiantes mostraron mejoría después de un curso introductorio de matemáticas.