LI2012: 1º examen de la evaluación continua
En la clase de hoy del curso Lógica Informática se ha realizado el primer examen de la evaluación continua.
I1M2012: Ejercicios de definiciones por recursión en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los 7 primeros ejercicios de la 7ª relación, que tratan sobre definiciones por recursión.
Los ejercicios, y sus soluciones, se muestran a continuación:
Read More “I1M2012: Ejercicios de definiciones por recursión en Haskell”
DAO2012: Panorama de la demostración automática de teoremas
En la clase de hoy de Demostración asistida por ordenador se ha realizado una breve introducción a la demostración automática de teoremas a través del demostrador Prover9/Mace4 y la librería TPTP (Thousands of Problems for Theorem Provers).
Las transparencias usadas en la clase son las comprendidas entre las páginas 1 y 15 del tema 1.
Read More “DAO2012: Panorama de la demostración automática de teoremas”