LMF2014: Razonamiento sobre programas con Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado cóm escribir programas funcionales y cómo demostrar sus propiedades con Isabelle/HOL.
En la presentación se han usado los ejemplos del tema 8 del curso de Informática (de 1º del Grado en Matemáticas).
La teoría correspondiente es
Read More “LMF2014: Razonamiento sobre programas con Isabelle/HOL”