Aumento del número de alumnos

En los últimos días se están publicando artículos sobre el incremento de solicitudes de admisión en las distintas Universidades:

El aumento no se está produciendo en los Grados sino también en los Másteres. Por ejemplo, en nuestro Máster Universitario en Lógica, Computación e Inteligencia Artificial también se ha incrementado el número de solicitudes de admisión. En este momento hay 14 solicitudes para las 15 plazas ofertadas.

Reanudación

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:

Exploración automática de teorías matemáticas

La exploración automática de teorías matemáticas es un tema emergente de investigación dentro de la Lógica Computacional. Su objetivo es desarrollar sistemas informáticos que ayuden en el desarrollo automático de teorías matemáticas, incluyendo la invención de definiciones, teoremas, conjeturas, problemas, ejemplos y algoritmos,

El primer congreso sobre exploración de teorías matemáticas fue el Automatheo 2009 y se celebró en Linz, Austria.

El segundo congreso sobre exploración de teorías matemáticas es el Automatheo 2010 y se celebrará en Edimburgo el 14 y 15 de Julio de 2010. La fecha de envío de comunicaciones finaliza el 2 de Junio.

Trabajo de Lógica Computacional en Edimburgo

Se ha ofertado una plaza para realizar una tesis doctoral sobre lógica computacional en la Universidad de Edimburgo.

La tesis se inscribe dentro del proyecto AI4FM (the use of AI to automate proof search in Formal Methods). El objetivo del proyecto es aplicar técnicas de IA, fundamentalmente aprendizaje automático, para automatizar las demostraciones de las obligaciones de pruebas generadas por los sistemas de razonamiento.

El tema de la tesis es The Productive Use of Failure in Formal Methods y será dirigida por Alan Bundy.