Conferencias impartidas en el seminario
Año 2007
- Lógica, Matemática, Deducción Automática.
Manuel Ojeda Aciego
En el desarrollo histórico de las ciencias formales (las matemáticas y la lógica) se ha ido produciendo un acercamiento cada vez mayor a la computación, de la que nos interesa destacar especialmente la deducción automática.
Presentamos un recorrido por la historia de la Lógica y las Matemáticas y sus interrelaciones, desde la antigua Grecia hasta los modernos avances en la deducción automática.
- Herramientas Matemáticas para la Computación.
Inma P. de Guzmán
Aunque el título de la charla es demasiado ambicioso, el objetivo es poner de manifiesto que el estado actual de las Ciencias de la Computación reclama un gran esfuerzo investigador en extender e innovar en las más diversas ramas de las Matemáticas.
Basaremos esta afirmación en la experiencia en los últimos catorce años del grupo de investigación GIMAC que, si bien ha dedicado especial interés en sus comienzos en un el área específica denominada Deducción Automática, en su ya considerable trayectoria, ha ampliado su campo de acción a otras áreas tales como Bases de Datos, Sistemas de Información, Programación Lógica no Clásica, Redes de Colas, etc.
Haremos un breve recorrido por el itinerario que podemos llamar De la razón de las Matemáticas a las Matemáticas de la ''Razón'' para terminar esbozando cómo hemos necesitado en nuestro trabajo, tanto para extender como para innovar, herramientas matemáticas de áreas tales como Topología, Teoría de Algebras Abstractas, Estructuras Ordenadas (completas o no), Teoría de Categorías, Teoría de Colas, etc.
-
Last modified 20/4/07