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
Diferencia entre revisiones de «Temas»
De Demostración asistida por ordenador (2012-13)
Revisión del 19:30 20 nov 2012
(
ver código
)
Jalonso
(
discusión
|
contribuciones
)
(
→
Temas de Demostración asistida por ordenador
)
← Edición anterior
Revisión del 19:45 20 nov 2012
(
ver código
)
Jalonso
(
discusión
|
contribuciones
)
m
(Protegió «
Temas
» ([edit=sysop] (indefinido) [move=sysop] (indefinido)) [en cascada])
Edición siguiente →
(Sin diferencias)
Revisión del 19:45 20 nov 2012
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
.
