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. (hist) ‎Relación 2 ‎[39 073 bytes]
2. (hist) ‎Relación 1 ‎[32 879 bytes]
3. (hist) ‎Tema 9: Razonamiento por casos e inducción. ‎[25 211 bytes]
4. (hist) ‎Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL ‎[25 185 bytes]
5. (hist) ‎Tema 8: Razonamiento sobre programas en Isabelle/HOL. ‎[22 549 bytes]
6. (hist) ‎Tema 10: Conjuntos, funciones y relaciones. ‎[21 409 bytes]
7. (hist) ‎Tema 14: Razonamiento modular (II): Órdenes y retículos. ‎[20 335 bytes]
8. (hist) ‎Rel 5 ‎[18 616 bytes]
9. (hist) ‎R1 ‎[17 720 bytes]
10. (hist) ‎Rel 1 ‎[17 713 bytes]
11. (hist) ‎Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. ‎[17 688 bytes]
12. (hist) ‎Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL ‎[15 989 bytes]
13. (hist) ‎Documentación ‎[15 516 bytes]
14. (hist) ‎Tema 16: Semántica operacional del lenguaje imperativo simple IMP. ‎[15 045 bytes]
15. (hist) ‎R2 ‎[13 910 bytes]
16. (hist) ‎Rel 2 ‎[13 906 bytes]
17. (hist) ‎Relación 5 ‎[12 820 bytes]
18. (hist) ‎Rel 9 ‎[11 838 bytes]
19. (hist) ‎Relación 4 ‎[11 050 bytes]
20. (hist) ‎R5 ‎[10 749 bytes]
21. (hist) ‎Rel 6 ‎[10 617 bytes]
22. (hist) ‎T1 3 ‎[10 381 bytes]
23. (hist) ‎Rel 9 (e) ‎[9516 bytes]
24. (hist) ‎Tema 19: Lógica de Hoare en Isabelle/HOL: adecuación y completitud de la corrección total. ‎[9397 bytes]
25. (hist) ‎Tema 17: Lógica de Hoare en Isabelle/HOL. ‎[8593 bytes]
26. (hist) ‎Tema 7: Programación funcional en Isabelle/HOL. ‎[8128 bytes]
27. (hist) ‎Rel 8 ‎[7807 bytes]
28. (hist) ‎Rel 4 ‎[7762 bytes]
29. (hist) ‎Tema 13: Razonamiento modular (I): Teoría de grupos. ‎[7078 bytes]
30. (hist) ‎R6 ‎[7072 bytes]
31. (hist) ‎Relación 6 ‎[7068 bytes]
32. (hist) ‎Tema 20: Lógica de Hoare en Isabelle/HOL: condiciones de verificación. ‎[6871 bytes]
33. (hist) ‎T1 2 ‎[6861 bytes]
34. (hist) ‎Relación 3 ‎[6700 bytes]
35. (hist) ‎Rel 8 (e) ‎[6585 bytes]
36. (hist) ‎Rel 3 ‎[6153 bytes]
37. (hist) ‎T1 1 ‎[6103 bytes]
38. (hist) ‎R3 ‎[5734 bytes]
39. (hist) ‎Tema 13: Expresiones aritméticas. ‎[5303 bytes]
40. (hist) ‎Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL. ‎[5247 bytes]
41. (hist) ‎Tema 15(c) ‎[5152 bytes]
42. (hist) ‎R4 ‎[5035 bytes]
43. (hist) ‎Ejemplos de verificación de propiedades en Lógica de Hoare usando Isabelle/HOL. ‎[4715 bytes]
44. (hist) ‎Tema 11: Métodos de demostración. ‎[4411 bytes]
45. (hist) ‎Relación 8 ‎[4239 bytes]
46. (hist) ‎R8 ‎[4239 bytes]
47. (hist) ‎Tema 15(c): interpretaciones locales. ‎[4199 bytes]
48. (hist) ‎Rel 11 (e) ‎[4091 bytes]
49. (hist) ‎Rel 11 ‎[4088 bytes]
50. (hist) ‎Rel 10 ‎[3706 bytes]

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