Demostración asistida por ordenador (2012-13)
Demostración asistida por ordenador (2012-13)
Navegación
Página principal
Temas
Ejercicios
Herramientas
Lo que enlaza aquí
Cambios relacionados
Páginas especiales
Versión para imprimir
Enlace permanente
Información de la página
Acciones
Página
Discusión
Ver código
Historial
Temas
De Demostración asistida por ordenador (2012-13)
Temas de
Demostración asistida por ordenador
Tema 1: Panorama de la demostración asistida por ordenador
.
Tema 2: Programación funcional en Isabelle
.
Tema 3: Razonamiento sobre programas
.
Tema 4: Deducción natural proposicional con Isabelle/HOL
.