Abajo se muestran hasta 8 resultados entre el n.º 1 y el n.º 8.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

1. Tema 10: Conjuntos, funciones y relaciones.‏‎ (2 enlaces)
2. Tema 11: Métodos de demostración.‏‎ (2 enlaces)
3. Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva.‏‎ (2 enlaces)
4. Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL‏‎ (2 enlaces)
5. Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL‏‎ (2 enlaces)
6. Tema 7: Programación funcional en Isabelle/HOL.‏‎ (2 enlaces)
7. Tema 8: Razonamiento sobre programas en Isabelle/HOL.‏‎ (2 enlaces)
8. Tema 9: Razonamiento por casos e inducción.‏‎ (2 enlaces)

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).