Demostración asistida por ordenador (2011-12)
Demostración asistida por ordenador (2011-12)
Navegación
Página principal
Temas
Ejercicios
Cambios recientes
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 (2011-12)
Revisión del 15:25 14 abr 2011 de
Mjoseh
(
discusión
|
contribuciones
)
(
dif
)
← Revisión anterior
| Revisión actual (dif) | Revisión siguiente → (dif)
Temas de
Demostración asistida por ordenador
Tema 1: Isabelle como un lenguaje funcional
.
Tema 2: Razonamiento sobre programas
.
Tema 3: Deducción lógica proposicional con Isabelle
.
Tema 4: Deducción natural en lógica de primer orden con Isabelle
.
