En la segunda parte de la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo definir en Isabelle/HOL conjuntos y relaciones inductivas y cómo demostrar sus propiedades.
La clase se ha dado mediante videoconferencia y el vídeo correspondiente es
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Definiciones inductivas en Isabelle/HOL”
En la clase de hoy del curso de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de datos de los grafos y dos de sus implementaciones en Haskell: mediante vectores y matrices de adyacencia.
La clase se ha dado mediante videoconferencia los correspondientes vídeos son
Los apuntes correspondientes a la clase es la sección 1 del tema 22
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
En la clase de hoy de del curso Informática de 1º del Grado en Matemáticas hemos estudiado la técnica de resolución de problemas mediante búsqueda en escalada en espacios de estados.
En primer lugar se explicó la idea de la búsqueda en escalada y cómo, usando dicha idea, se puede transformar el patrón de búsqueda por primero el mejor en el de búsqueda en escalada. Finalmente, se aplicó el patrón de búsqueda en escalada a la resolución del problema del cambio de monedas.
La clase se ha dado mediante videoconferencia y el correspondiente vídeo es
Los apuntes correspondientes a la clase es la sección 3 del tema 23
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
El código del problema del cambio de monedas usado en la clase es
Read More “I1M2019: El patrón de búsqueda en escalada en Haskell”
En la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo desarrollar en Isabelle/HOL teorías axiomáticas usando entornos locales (“locales”) y clases de tipos (“class”). Se ha aplicado al desarrollo de las teorías de grupos y a las de órdenes. videoconferencia.
La clase se ha dado mediante videoconferencia y los vídeos correspondientes son:
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “LMF2019: Desarrollo de teorías formalizadas con Isabelle/HOL”
En la clase de hoy de del curso Informática de 1º del Grado en Matemáticas hemos estudiado la técnica de resolución de problemas mediante búsqueda informada en espacios de estados.
En primer lugar se estudiaron los algoritmos búsqueda con información (coste, heurística y A*). A continuación se estudió cómo adaptar el patrón de búsqueda ciega a búsqueda informada usando las colas de prioridad. Finalmente, se aplicó el patrón de búsqueda por primero el mejor a la resolución del problema del 8 puzzle.
La clase se ha dado mediante videoconferencia los correspondientes vídeos son
Los apuntes correspondientes a la clase es la sección 3 del tema 23
Una versión interactiva de los apuntes en IHaskell se encuentra aquí.
El código de la primera solución del problema del 8 puzzle usado en la clase es
Read More “I1M2019: El patrón de búsqueda por primero el mejor en Haskell”