Hace poco me reencontré con una máxima de Tales de Mileto que figura desde hace tiempo en mi colección de citas. La máxima dice
De todo lo que es posible aprender, elige y aprende lo mejor; y de todo lo que hayas aprendido, elige lo mejor y enséñalo a los demás.
Esta máxima resume perfectamente los objetivos de Vestigium.
Después de 4 meses, reanudo la escritura en Vestigium. Como uno de sus objetivos era servir de diario de las publicaciones en mi sitio en la Red, voy a resumir las realizadas desde la anterior entrada en Vestigium.
He publicado una introducción al sistema de cálculo simbólico Maxima que he usado en las asignaturas de I1M (Informática de 1º de Matemáticas) como en la de SLEAM (Sofware libre para la enseñanza y aprendizaje de las Matemáticas). Los temas y ejercicios publicados son los siguientes:
las relaciones de ejercicios:
Además, en I1M (Informática de 1º de Matemáticas) he publicado dos nuevos temas sobre diseño de algoritmos con Haskell:
En la página de publicaciones he añadido las dos más recientes:
Finalmente, en la wiki del Grupo de Lógica Computacional he añadido las formalizaciones de teorías en PVS:
Hoy, 1 de enero de 2010, empieza la andadura de Vestigium. En esta presentación intentaré responder las siguientes cuestiones
He creado el blog, fundamentalmente, para complementar los medios de comunicación del Grupo de Lógica Computacional de la Universidad de Sevilla. El medio tradicional ha sido el Seminario de Lógica Computacional. Recientemente se ha creado una lista de correo del Grupo. Dado que el conocimiento es difícil de gestionar en las listas de correo he empezado el blog para facilitar la gestión del conocimiento.
He elegido Vestigium como nombre del blog por la etimología de investigar
La palabra ”’investigar”’ viene del latín ”investigare”, la cual deriva de ”’vestigium”’ que significa en “pos de la huella de”, es decir “ir en busca de una pista”.
Detrás del nombre se esconde la segunda, y no por ello menos importante, razón para crear el blog: dejar una traza de los trabajos realizados en Lógica Computacional por nuestro grupo y de los trabajos ajenos relacionados con los nuestros. Es decir, investigar en Lógica Computacional.
Hablando de investigación, terminaré la presentación del blog con una cita de uno de los libros de texto que estudié en Selectivo de Ciencias. En la introducción de Geometría vectorial (ed. Alhambra, 1968), Norberto Cuesta Dutari, observa que:
Aprender lo que ignoramos, enseñados de quien lo sabe, e inventar lo que nadie nos puede enseñar, son actividades mentales isomorfas, y ambas tan importantes como complicadas.