Desarrollo de procesos lógicos en Maloka

Presentamos como ejemplos dos de los talleres propuestos desde uno de los proyectos de práctica educativa de la Licenciatura en matemáticas de la Universidad Pedagógica Nacional en Maloka, basados en los insumos con los que cuenta este espacio de educación no formal, en particular las mesas de Matemática 2000, a partir de los cuales esperamos contribuir conjuntamente al desarrollo de procesos lógicos en los ciudadanos colombianos que los desarrollen.

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.

El lenguaje vectorial en geometría. Los pioneros William Rowan Hamilton y Hermann Günther Grassmann

El cálculo vectorial apareció en el siglo XIX. Hay operaciones entre vectores tales como el producto escalar que se puede ampliar sin dificultad de espacios de dimensión dos a espacios de dimensión tres y superior. Sin embargo, la ampliación del producto vectorial de vectores de dimensión dos a vectores tridimensionales tuvo serias dificultades. El conocimiento de los pasos lógicos que tuvieron que dar Hamilton y Grassmann para sentar las bases del calculo vectorial en de gran importancia pedagógica para profundizar en el concepto de operación.

La matemática para la formación de un ingeniero: ¿cuál es?

Los ingenieros durante su preparación y después en su vida profesional utilizan los métodos de la matemática clásica. El estilo usual de exposición de la matemática está influenciado por la elaboración de los fundamentos lógicos de esta ciencia, lo que en ocasiones dificulta la comprensión de conceptos y procesos de gran utilidad para el ingeniero. Por ello, en muchas ocasiones los profesores de las asignaturas de la especialidad llevan a sus alumnos sus propias ideas de cómo usar el aparato matemático y cuales son los procedimientos más sencillos por cuyo intermedio se pueden dominar los métodos que necesita el ingeniero. Entonces se tienen varias interrogantes a responder, entre ellas: ¿Cuales son los objetivos de la matemática en ingeniería? ¿Cuales son las habilidades sobre las cuales se debe trabajar? En este grupo de discusión se profundizará en las interrogantes anteriores, y en general en los elementos que intervienen en el diseño de una asignatura de Matemática para ingeniería, así como en aquellos que deben atenderse durante el desarrollo del proceso docente y que inciden favorablemente en la actitud de los estudiantes de ingeniería hacia el estudio de las asignaturas de matemática y en su formación profesional.