LMF2014: Primer examen
En la clase de hoy del curso Lógica matemática y fundamentos se ha realizado el primer examen.
Las soluciones de los ejercicios de la primera parte, de programción con Haskell, son
Read More “LMF2014: Primer examen”
LMF2014: Ejercicios de deducción natural en lógica proposicional con Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se han comentado soluciones de los ejercicios de deducción natural en lógica proposicional con Isabelle/HOL.
Para cada uno de los ejercicios se ha presentado distintas demostraciones: desde la detallada (que sea parecida a la mostrada en las transparencias) hasta la automática.
La teoría con la relación de ejercicios es
Read More “LMF2014: Ejercicios de deducción natural en lógica proposicional con Isabelle/HOL”
I1M2013: El triángulo de Floyd en Haskell
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se han explicado las soluciones del ejercicio 6 de la relación 17 sobre el triángulo de Floyd.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2013: El triángulo de Floyd en Haskell”
I1M2013: Operaciones con el TAD de los polinomios en Haskell
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado las operaciones con los polinomios usando el TAD de los polinomios presentados en la clase anterior.
Las transparencias usadas en la clase son las páginas 42-55 del tema 21
Read More “I1M2013: Operaciones con el TAD de los polinomios en Haskell”
LMF2014: Deducción natural proposicional en Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha completado la formalización en Isabelle/HOL de las demostraciones por deducción natural estudiadas en el tema 2.
Para cada uno de los ejemplos se ha presentado distintas demostraciones: detallada (que sea parecida a la mostrada en las transparencias), estructurada y automática.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2014: Deducción natural proposicional en Isabelle/HOL”