En la clase de hoy del curso de Demostración asistida por ordenador (DAO2011) se ha estudiado cómo escribir demostraciones mediante deducción natural en lógica proposicional usando Isabelle/HOL/Isar.
La teoría correspondiente a la clase es Tema_3.thy cuyo contenido se muestra a continuación
Read More “DAO2011: Deducción natural proposicional con Isabelle/HOL”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios sobre listas infinitas en Haskell de la 26ª relación.
Los ejercicios y su solución se muestran a continuación Read More “I1M2010: Ejercicios sobre listas infinitas en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el TAD de las tablas y 3 implementaciones en Haskell: como funciones, como listas de asociación y como matrices.
Las transparencias usadas en la clase son las páginas 19-39 del tema 18:
Read More “I1M2010: El TAD de las tablas en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo trabajar con tablas en Haskell usanso el módulo Data.Array.
Las transparencias usadas en la clase son las 18 primeras del tema 18:
Read More “I1M2010: Las tablas (arrays) en Haskell”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la traza de la construcción de los montículos a partir de listas, la implementación de las colas de prioridad mediantes montículos 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: Implementación en Haskell de las colas de prioridad mediante montículos”