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
Ejercicios
De Demostración asistida por ordenador (2011-12)
Revisión del 20:17 15 jul 2018 de
Jalonso
(
discusión
|
contribuciones
)
(
→
Ejercicios de Demostración asistida por ordenador
)
(
dif
)
← Revisión anterior
| Revisión actual (dif) | Revisión siguiente → (dif)
Ejercicios de
Demostración asistida por ordenador
Tema 2:
Razonamiento sobre programas (
Enunciado
).
Tema 3:
Deducción natural proposicional con Isabelle (
Enunciado
).
Tema 4:
Deducción natural en lógica de primer orden con Isabelle (
Enunciado
).
