I1M2010: Implementación en Haskell de los grafos mediante matrices. Algoritmos de recorrido de grafos

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado una segunda implementación en Haskell del tipo abstracto de los grafos usando matrices de adyacencia.

Además, hemos estudiado el algoritmo de recorrido en profundidad de los grafos y hemos visto su implementación usando listas y pilas. Finalmente, hemos estudido el algoritmo de recorrido en anchura y sus implementación mediante colas.

Las transparencias usadas en la clase son las páginas 19-38 del tema 22:
Read More “I1M2010: Implementación en Haskell de los grafos mediante matrices. Algoritmos de recorrido de grafos”

I1M2010: El TAD de los grafos y su implementación en Haskell mediante vectores de adyacencia

En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos estudiado el tipo abstracto de los grafos y su implementación en Haskell mediante vectores de adyacencia.

Las transparencias usadas en la clase son las páginas 6-18 del tema 22:
Read More “I1M2010: El TAD de los grafos y su implementación en Haskell mediante vectores de adyacencia”

DAO2011: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL

En la clase de hoy del curso de Demostración asistida por ordenador se han comentado las soluciones de los ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL/Isar.

A continuación se muestra la teoría correspondiente a las soluciones de los ejercicios
Read More “DAO2011: Ejercicios de deducción natural en lógica de primer orden con Isabelle/HOL”