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) ‎Sistemas ‎[227 bytes]
2. (hist) ‎Demostración automática de teoremas (2014-15) ‎[485 bytes]
3. (hist) ‎Página Principal ‎[489 bytes]
4. (hist) ‎Trabajos ‎[616 bytes]
5. (hist) ‎Tema 15(a) ‎[1101 bytes]
6. (hist) ‎Tema 15(a): sustitución de parámetros. ‎[1107 bytes]
7. (hist) ‎Ejercicios ‎[1110 bytes]
8. (hist) ‎Tema 15(b) ‎[1129 bytes]
9. (hist) ‎Tema 15(b): sustitución de definiciones. ‎[1134 bytes]
10. (hist) ‎Tema 15: Sintaxis de un lenguaje imperativo simple. ‎[1638 bytes]
11. (hist) ‎Relación 7 ‎[1811 bytes]
12. (hist) ‎Rel 7 ‎[1811 bytes]
13. (hist) ‎R7 ‎[1815 bytes]
14. (hist) ‎Temas ‎[1903 bytes]
15. (hist) ‎Temas LCyTM 2015 ‎[3085 bytes]
16. (hist) ‎Rel 10 (e) ‎[3107 bytes]
17. (hist) ‎Rel 12 ‎[3197 bytes]
18. (hist) ‎Rel 12 (e) ‎[3198 bytes]
19. (hist) ‎Tema 14: Expresiones booleanas. ‎[3584 bytes]
20. (hist) ‎Rel 10 ‎[3706 bytes]
21. (hist) ‎Rel 11 ‎[4088 bytes]
22. (hist) ‎Rel 11 (e) ‎[4091 bytes]
23. (hist) ‎Tema 15(c): interpretaciones locales. ‎[4199 bytes]
24. (hist) ‎R8 ‎[4239 bytes]
25. (hist) ‎Relación 8 ‎[4239 bytes]
26. (hist) ‎Tema 11: Métodos de demostración. ‎[4411 bytes]
27. (hist) ‎Ejemplos de verificación de propiedades en Lógica de Hoare usando Isabelle/HOL. ‎[4715 bytes]
28. (hist) ‎R4 ‎[5035 bytes]
29. (hist) ‎Tema 15(c) ‎[5152 bytes]
30. (hist) ‎Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL. ‎[5247 bytes]
31. (hist) ‎Tema 13: Expresiones aritméticas. ‎[5303 bytes]
32. (hist) ‎R3 ‎[5734 bytes]
33. (hist) ‎T1 1 ‎[6103 bytes]
34. (hist) ‎Rel 3 ‎[6153 bytes]
35. (hist) ‎Rel 8 (e) ‎[6585 bytes]
36. (hist) ‎Relación 3 ‎[6700 bytes]
37. (hist) ‎T1 2 ‎[6861 bytes]
38. (hist) ‎Tema 20: Lógica de Hoare en Isabelle/HOL: condiciones de verificación. ‎[6871 bytes]
39. (hist) ‎Relación 6 ‎[7068 bytes]
40. (hist) ‎R6 ‎[7072 bytes]
41. (hist) ‎Tema 13: Razonamiento modular (I): Teoría de grupos. ‎[7078 bytes]
42. (hist) ‎Rel 4 ‎[7762 bytes]
43. (hist) ‎Rel 8 ‎[7807 bytes]
44. (hist) ‎Tema 7: Programación funcional en Isabelle/HOL. ‎[8128 bytes]
45. (hist) ‎Tema 17: Lógica de Hoare en Isabelle/HOL. ‎[8593 bytes]
46. (hist) ‎Tema 19: Lógica de Hoare en Isabelle/HOL: adecuación y completitud de la corrección total. ‎[9397 bytes]
47. (hist) ‎Rel 9 (e) ‎[9516 bytes]
48. (hist) ‎T1 3 ‎[10 381 bytes]
49. (hist) ‎Rel 6 ‎[10 617 bytes]
50. (hist) ‎R5 ‎[10 749 bytes]

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