Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2012-13)
m (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada]) |
(→Temas de Demostración asistida por ordenador) |
||
| Línea 1: | Línea 1: | ||
== Temas de ''Demostración asistida por ordenador'' == | == Temas de ''Demostración asistida por ordenador'' == | ||
* [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 1: Panorama de la demostración asistida por ordenador]. | * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 1: Panorama de la demostración asistida por ordenador]. | ||
| − | * [[Tema 2: Isabelle | + | * [[Tema 2: Programación funcional en Isabelle]]. |
| − | * [[Tema 3: | + | * [[Tema 3: Razonamiento sobre programas]]. |
| − | |||
| − | |||
| − | |||