Vídeos de las clases de razonamiento automático con Isabelle/HOL
Con motivo de la pandemia henos tenido que pasar la docencia al formato no presencial.
En la asignatura de Lógica de 3º de Matemática el cambio ha tenido lugar al principio de la segunda parte del curso en la que se estudia el razonamiento automático con Isabelle/HOL.
Todas las clases no presenciales las he dado por videoconferencia y he subido sus vídeos a YouTube. En este momento hay 12 vídeos correspondientes a las clases no presenciales impartidas:
- Deducción natural proposicional con Isabelle/HOL.
- Deducción natural en lógica de primer orden con Isabelle/HOL (Parte 1 de 2).
- Deducción natural en lógica de primer orden con Isabelle/HOL (Parte 2 de 2).
- Programación funcional en Isabelle/HOL.
- Razonamiento sobre programas con Isabelle/HOL (Parte 1 de 5).
- Razonamiento sobre programas con Isabelle/HOL (Parte 2 de 5).
- Razonamiento sobre programas con Isabelle/HOL (Parte 3 de 5).
- Razonamiento sobre programas con Isabelle/HOL (Parte 4 de 5).
- Razonamiento sobre programas con Isabelle/HOL (Parte 5 de 5).
- Razonamiento por casos y por inducción en Isabelle/HOL.
- Razonamiento sobre árboles binarios con Isabelle/HOL.
- Árboles y bosques: Recursión mutua e inducción con Isabelle/HOL.