En la clase de hoy del curso de Razonamiento automático se ha estudiado:
Las transparencias de la clase son las páginas 52 a 90 del tema 1.
En la clase de hoy del curso Lógica Informática se estudiado cómo se puede diseñar un procedimiento de forma que dada una fórmula F obtenga otra sin cuantificadores G que sea equisatisfacible (es decir, que G es satisfacible precisamente si lo es F). Con dicho procedimiento se calcula la forma normal de Skolem. A partir de las formas se Skolem se obtienen las formas clausales.
Las transparencias de esta clase son las del tema 9
Read More “LI2011-12: Formas normales de Skolem y cláusulas”
La clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentando las soluciones de ejercicios de la 3ª y 4ª parte de la 9ª relación y los 2 primeros de la 10ª relación
La 3ª parte contiene ejercicios sobre funciones de orden superior. En concreto, se estudian funciones para calcular
La 4ª parte contiene ejercicios sobre definiciones mediante map, filter y plegado. En concreto, se estudian funciones para calcular
La 10ª relación contiene ejercicios con definiciones mediante
plegado. En concreto, se estudian definiciones por plegado para
calcular
Estos ejercicios corresponden al tema 7.
Los ejercicios, y sus soluciones, se muestran a continuación.
Read More “I1M2011: Ejercicios sobre funciones de orden superior y plegados”
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado, como aplicación de las funciones de orden superior, la codificación binaria de cadenas y su transmisión.
El código correspondiente se encuentra en tema-7.hs.
Las transparencias usadas en la clase son las comprendidas entre las páginas 23 y 36 del tema 7
Read More “I1M2011: Codificación binaria y transmisión de cadenas en Haskell”
En la clase de hoy del curso Lógica Informática se ha realizado el tercer examen de la evaluación continua, en el que se incluye los 8 primeros temas: