I1M2014: Razonamiento sobre programas
En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo demostrar propiedades de funciones definidas en Haskell. Los esquemas de demostración estudiados son:
- por simplificación,
- por casos,
- por inducción sobre los números naturales,
- por inducción sobre listas,
- por inducción anidada y
- por generalización e inducción.
Las transparencias usadas en la clase son las del tema 8