2º examen de Informática de 1º de Matemáticas
Hoy se ha realizado el segundo examen de Informática de 1º de Matemáticas.
Competición de IA de Google
La Google AI Challenge de este año es sobre un juego con dos jugadores, el Tron, que es parecido al Snake.
Se puede participar en la competición programando la estrategia del juego en distintos lenguajes de programación, entre los que se encuentran Haskell y Common Lisp.
Esta competición puede utilizarse en distintas asignaturas que impartimos:
Congreso de Haskell
El Haskell Symposium 2010 se celebrará en Baltimore el 30 de Septiembre de 2010.
Entre los temas del congreso se incluyen:
- experiencias en la enseñanza con Haskell,
- aplicaciones usando Haskell y
- ejemplos elegantes de programación en Haskell (“Functional Pearls”).
En nuestro grupo usamos Haskell en los cursos de
La fecha de envío de artículos finaliza el 14 de Junio.
Curso de Lógica Informática
Uno de los objetivos de este blog es servir de diario de las publicaciones docentes que realizo en mi página personal.
Hoy he publicado el curso Lógica Informática (2009-10) que se impartirá desde el 15 de Febrero al 11 de Junio de 2010.
El contenido del curso está englobado en los siguientes libros:
Demostración automática en Geometría
El Eighth International Workshop on Automated Deduction in Geometry (ADG 2010) se celebrará en Munich del 22 al 24 de Julio de 2010.
El ADG es un foro donde se tratan cuestiones realtivas a la intersección de la geometría y la demostración automática.
El envío de artículos termina el 22 de Febrero.