En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de los montículos, su implementación en Haskell mediante tipo de datos algebraicos y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 20:
Read More “I1M2010: El tipo abstracto de datos de los montículos en Haskell”
En la clase de hoy del curso de Demostración asistida por ordenador se han comentado las soluciones propuestas por los alumnos a los ejercicios de demostración con Isabelle de propiedades de programas funcionales.
La teoría correspondiente a la clase es Relacion_1.thy cuyo contenido se muestra a continuación
Read More “DAO2011: Ejercicios de razonamiento sobre programas con Isabelle”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el tipo abstracto de las colas de prioridad, su implementación en Haskell mediante listas y la verificación con QuickCheck de sus propiedades características.
Las transparencias usadas en la clase son las del tema 16:
Read More “I1M2010: El tipo abstracto de datos de las colas de prioridad en Haskell”
En la clase de hoy del curso Lógica Informática se ha presentado un nuevo sistema deductivo: los tableros semánticos. En este nuevo sistema se reduce el número de reglas del de deducción natural y se automatiza su aplicación.
Además, se ha presentado el sistema Tree Proof Generator que busca automáticamente el tablero semántico correspondiente a la fórmula introducida.
Como tarea pendientes se propone la resolución de los ejercicios del tema 3 del libro de ejercicios.
Las transparencias de esta clase son las del tema 3
Read More “LI2011: Tableros semánticos proposicionales”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha realizado el 5º examen de la evaluación continua.
Las notas se han publicado en la WebCT.
A continuación se muestra el examen junto con su solución:
Read More “I1M2010: 5º examen de la evaluación continua”