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

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

1. Temas‏‎ (29 revisiones)
2. Relación 2‏‎ (28 revisiones)
3. Ejercicios‏‎ (24 revisiones)
4. Relación 1‏‎ (23 revisiones)
5. Documentación‏‎ (19 revisiones)
6. Relación 4‏‎ (10 revisiones)
7. Temas LCyTM 2015‏‎ (9 revisiones)
8. Relación 5‏‎ (7 revisiones)
9. Rel 9‏‎ (7 revisiones)
10. Tema 17: Lógica de Hoare en Isabelle/HOL.‏‎ (5 revisiones)
11. Rel 4‏‎ (4 revisiones)
12. Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva.‏‎ (4 revisiones)
13. Trabajos‏‎ (4 revisiones)
14. R1‏‎ (4 revisiones)
15. Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL‏‎ (4 revisiones)
16. Demostración automática de teoremas (2014-15)‏‎ (3 revisiones)
17. Rel 9 (e)‏‎ (3 revisiones)
18. Rel 3‏‎ (3 revisiones)
19. Tema 15(c): interpretaciones locales.‏‎ (3 revisiones)
20. Rel 5‏‎ (3 revisiones)
21. Rel 11 (e)‏‎ (3 revisiones)
22. Rel 8‏‎ (3 revisiones)
23. Tema 13: Razonamiento modular (I): Teoría de grupos.‏‎ (3 revisiones)
24. Rel 10 (e)‏‎ (3 revisiones)
25. R7‏‎ (3 revisiones)
26. Tema 13: Expresiones aritméticas.‏‎ (3 revisiones)
27. Rel 8 (e)‏‎ (3 revisiones)
28. R2‏‎ (3 revisiones)
29. Tema 7: Programación funcional en Isabelle/HOL.‏‎ (3 revisiones)
30. Tema 8: Razonamiento sobre programas en Isabelle/HOL.‏‎ (3 revisiones)
31. R6‏‎ (3 revisiones)
32. R3‏‎ (3 revisiones)
33. R5‏‎ (3 revisiones)
34. Relación 3‏‎ (3 revisiones)
35. R4‏‎ (3 revisiones)
36. Rel 12 (e)‏‎ (2 revisiones)
37. Tema 16: Semántica operacional del lenguaje imperativo simple IMP.‏‎ (2 revisiones)
38. Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL‏‎ (2 revisiones)
39. Rel 6‏‎ (2 revisiones)
40. Tema 15(a): sustitución de parámetros.‏‎ (2 revisiones)
41. Tema 15(b): sustitución de definiciones.‏‎ (2 revisiones)
42. Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL.‏‎ (2 revisiones)
43. Tema 9: Razonamiento por casos e inducción.‏‎ (2 revisiones)
44. Tema 14: Razonamiento modular (II): Órdenes y retículos.‏‎ (2 revisiones)
45. Rel 10‏‎ (2 revisiones)
46. Tema 10: Conjuntos, funciones y relaciones.‏‎ (2 revisiones)
47. Tema 11: Métodos de demostración.‏‎ (2 revisiones)
48. Tema 15: Sintaxis de un lenguaje imperativo simple.‏‎ (2 revisiones)
49. Rel 12‏‎ (1 revisión)
50. Relación 6‏‎ (1 revisión)

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