Medida del área de un recinto por procedimientos mecánicos. Fundamentos matemáticos del planímetro

El presente trabajo, sobre los fundamentos matemáticos del planímetro, viene a continuar la tarea emprendida en 1990 cuando, con un grupo de trabajo que se formó en el IB Félix de Azara de Zaragoza durante el curso 1990-91, se constituyó un grupo de investigación educativa subvencionado por el MEC para trabajar en lo que podría constituir una matemática pretécnica. En este proyecto, entre otros temas, nos dedicamos a la construcción de aparatos de medida, estudiando sus fundamentos matemáticos y sus aplicaciones. El estudio de los fundamentos matemáticos del planímetro, por su nivel, caía fuera de lo que se podría explicar a los alumnos de bachillerato, pero puede resultar interesante para despertar la curiosidad de los profesores, como nos ocurrió a nosotros. '

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.