En la clase de hoy del curso de Lógica Informática se ha realizado el primer examen de la evaluación continua. Las soluciones se muestran a continuación
Read More “LI2015: 1º examen de la evaluación continua”
En clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado la definición de nuevos tipos de datos y de funciones sobre dichos tipos. Concretamente, se ha visto
Se ha insistido en la metodología de definición de funciones recursivas sobre tipos de datos escribiendo una ecuación por cada uno de los constructores del tipo de dato.
Finalmente, se comentaron las distintas soluciones del problema Números muy divisibles por 3 y la comparación de la eficiencia.
Las transparencias usadas en la clase son las paginas 1 a 21 del tema 9:
Hoy se ha realizado el 1º examen del curso de Informática (de 1º de Grado en Matemáticas). Los ejercicios, y sus soluciones, se muestran a continuación.
En la primera parte de la clase de hoy del curso Lógica Informática hemos estudiado el algoritmo DPLL (Davis, Putnam, Logemann y Loveland) para decidir la consistencia de conjuntos de cláusulas.
En la segunda parte, se ha explicado la solución del 3º ejercicio del primer examen del curso 2014-15:
Decidir, mediante tableros semánticos, si la fórmula
- p → q ∨ s
es consecuencia lógica del conjunto de fórmulas
- {q → s, ¬(¬p ∧ q)}.
En el caso de que no lo sea, dar un contramodelo.
Las transparencias utilizadas son las las página 1 a 12 del tema 6
En la primera parte de 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 operaciones conjuntistas con listas.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2015: Operaciones conjuntistas con listas”