En la segunda parte de la clase de hoy del curso Lógica Informática se han comentado las soluciones de los ejercicios de la 4ª relación.
Los ejercicios, y sus soluciones con Isabelle/HOL, se muestran a continuación:
Read More “LI2013: Ejercicios de lógica proposicional (4)”
En la primera parte de la clase de hoy del curso Lógica Informática se ha empezado el estudio de la deducción natural proposicional.
Teminado el estudio semántico (cuyo problema fundamental es dado un conjunto de fórmulas S y una fórmula F, decidir si F es consecuencia de S (en notación, S |= F)), comenzamos el estudio de los cálculos deductivos (cuyo problema fundamental es dado un conjunto de fórmulas S y una fórmula F, decidir si F es deducible de S (en notación, S |- F)). Además, se requiere que los cálculos sean adecuados y completos (es decir; que S |= F si, y sólo si, S |- F).
El primer cálculo deductivo que estudiamos es el de deducción natural. Las reglas que se han visto en la clase de hoy son las de la conjunción, de la doble negación, de eliminación del condicional, de modus tollens, de introducción del condicional y las de la disyunción.
Finalmente, se ha mostrado cómo editar demostraciones usando el sistema Pandora.
Las transparencias de esta clase son las páginas 1-12 del tema 2
Read More “LI2013: Deducción natural proposicional (1)”
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado soluciones de los restantes ejercicios de la 3ª relación sobre definiciones con condicionales, guardas o patrones.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones con condicionales, guardas o patrones (2)”
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir funciones en Haskell usando listas de comprensión. En concreto, hemos visto cómo definir:
Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 4ª relación.
Las transparencias usadas en la clase son las comprendidas entre las páginas 1 y 13 del tema 5:
Read More “I1M2013: Definiciones por comprensión”
En la segunda parte de la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones de los primeros 5 ejercicios 3ª relación sobre definiciones con condicionales, guardas o patrones.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2013: Ejercicios de definiciones con condicionales, guardas o patrones (1)”