En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 9 sobre árboles binarios definidos como tipo de dato algebraico.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios sobre árboles binarios en Haskell”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los primeros ejercicios de la relación 8 sobre Funciones de orden superior.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2016: Ejercicios de funciones de orden superior”
En la segunda parte de la clase de hoy del curso de Razonamiento automático hemos profundizado en el estudio de las demostraciones por casos y por inducción. En concreto, se ha estudiado
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “RA2016: Razonamiento por casos y por inducción en Isabelle/HOL”
En la primera parte de la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de la 3ª relación de ejercicios sobre razonamiento detallado sobre programas en Isabelle/HOL
La teoría con las soluciones de los ejercicios es la siguiente
Read More “RA2016: Ejercicios de razonamiento detallado sobre programas en Isabelle/HOL”
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado las clases en Haskell. Concretamente,
class,Eq,:info Eq,instance,Bool como instancia de Eq,Ord como subclase de Eq,Bool como instancia de Ord yLos apuntes correspondientes a la clase son