Acciones

Diferencia entre revisiones de «Temas»

De Razonamiento automático (2018-19)

Línea 6: Línea 6:
 
** [[Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL]].
 
** [[Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL]].
 
* [[Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL]].
 
* [[Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL]].
 
+
* [[Tema 4: Razonamiento por casos y por inducción]].
 
<!--
 
<!--
* [[Tema 4: Razonamiento por casos y por inducción]].
 
 
* [[Tema 5: Razonamiento sobre árboles y bosques]].
 
* [[Tema 5: Razonamiento sobre árboles y bosques]].
 
* [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 6: Panorama de la demostración asistida por ordenador].
 
* [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 6: Panorama de la demostración asistida por ordenador].

Revisión del 13:37 29 nov 2018