En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas se han comentado las soluciones de los ejercicios de la 2ª relación sobre definiciones con condicionales, guardas o patrones.
Los ejercicios y sus soluciones se muestran a continuación
Read More “I1M2015: Ejercicios de definiciones con condicionales, guardas o patrones”
En primera parte de la clase de hoy del curso de Lógica Informática se ha continuado el estudio de la deducción natural proposicional que se empezó en la clase anterior.
Las reglas que se han visto en la clase son las de la negación, las del bicondicional y las reglas derivadas (modus tollens, introducción de la doble negación, reducción al absurdo y ley del tercio excluso).
En la segunda parte de la clase se han comentado la solución de los apartados 9, 11 y 12 del ejercicio 2.5 del libro de ejercicios Las soluciones se han escrito manualmente y con Pandora.
Se propusieron para la próxima clase los 56 apartados del ejercicio 2.5 del libro de ejercicios.
Las transparencias de esta clase son las páginas 13-28 del tema 2
En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha empezado el estudio de las definiciones por recursión en Haskell. Concretamente, hemos visto ejemplos de
El código correspondiente es
Read More “I1M2015: Definiciones por recursión (1)”
En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado cómo definir en Haskell la codificación de mensajes usando el cifrado César.
El programa es el siguiente
Read More “I1M2015: El cifrado César en Haskell”
En la primera parte de la clase de hoy del curso de Lógica Informática se ha continuado el estudio de la lógica proposicional.
Las reglas que se han visto en la clase de hoy son las de eliminación del condicional, de modus tollens, de introducción del condicional y las de la disyunción.
También se ha mostrado cómo editar demostraciones usando el sistema Pandora. Los ejemplos vistos en clase se encuentran en los vídeos del ejemplo 1 y ejemplo 2.
En la segunda parte de la clase se han comentado la solución del ejercicio 30.2 del capítulo 1 del libro de ejercicios y cómo ver la corrección del argumento con distintos sistemas de cálculo de tablas de verdad:
Se propusieron para la próxima clase los 37 primeros apartados del ejercicio 2.5 del libro de ejercicios.
Las transparencias de esta clase son las páginas 1-12 del tema 2