Acciones

Diferencia entre revisiones de «Temas»

De Razonamiento automático (2013-14)

m (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
(Temas de Razonamiento automático (2013-14))
Línea 1: Línea 1:
 
== Temas de ''Razonamiento automático (2013-14)'' ==
 
== Temas de ''Razonamiento automático (2013-14)'' ==
 
* [[Tema 1: Programación funcional en Isabelle]].
 
* [[Tema 1: Programación funcional en Isabelle]].
 +
* [http://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8t.pdf Tema 2a: Razonamiento sobre programas Haskell]
 +
* [[Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL].

Revisión del 08:30 14 nov 2013

Temas de Razonamiento automático (2013-14)