En la la clase de hoy del curso de Lógica Informática se han comentado las soluciones de los ejercicios de la relación 2 (sobre formalización y semántica proposicional) y los de la relación 3 (sobre deducción natural).
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 12 primeros ejercicios de la 3ª relación sobre definiciones por comprensión.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Ejercicios de definiciones por comprensión”
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 “I1M2014: El cifrado César en Haskell”