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)
Revisión del 19:45 20 nov 2012 de
Jalonso
(
discusión
|
contribuciones
)
(Protegió «
Temas
» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
(
dif
)
← Revisión anterior
|
Revisión actual
(
dif
) |
Revisión siguiente →
(
dif
)
Temas de
Demostración asistida por ordenador
Tema 1: Panorama de la demostración asistida por ordenador
.
Tema 2: Isabelle como un lenguaje funcional
.
Tema 3: El lenguaje de demostracion Isar
.
Tema 4: Distinción de casos e inducción
.
Tema 5: Patrones de demostración
.
Tema 6: Heurísticas para la inducción y recursión general
.
