Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2012-13)
(Página creada con '== Temas de ''Demostración asistida por ordenador'' == * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Panorama de la demostración asistida por ordenador]. * [[...') |
|||
| (No se muestran 5 ediciones intermedias del mismo usuario) | |||
| 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 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: Razonamiento sobre programas]]. | ||
| + | * [[Tema 4: Deducción natural proposicional con Isabelle/HOL]]. | ||