Abajo se muestran hasta 19 resultados entre el n.º 51 y el n.º 69.

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

51. Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva.‏‎ (21:18 15 jul 2018)
52. Tema 13: Razonamiento modular (I): Teoría de grupos.‏‎ (21:19 15 jul 2018)
53. Tema 14: Razonamiento modular (II): Órdenes y retículos.‏‎ (21:19 15 jul 2018)
54. Tema 15(a): sustitución de parámetros.‏‎ (21:19 15 jul 2018)
55. Tema 15(b): sustitución de definiciones.‏‎ (21:19 15 jul 2018)
56. Tema 15(c): interpretaciones locales.‏‎ (21:20 15 jul 2018)
57. R1‏‎ (21:26 15 jul 2018)
58. R2‏‎ (21:27 15 jul 2018)
59. Ejercicios‏‎ (21:27 15 jul 2018)
60. R3‏‎ (21:27 15 jul 2018)
61. R4‏‎ (21:27 15 jul 2018)
62. R5‏‎ (21:28 15 jul 2018)
63. R6‏‎ (21:29 15 jul 2018)
64. R7‏‎ (21:29 15 jul 2018)
65. Rel 8 (e)‏‎ (21:29 15 jul 2018)
66. Rel 9 (e)‏‎ (21:30 15 jul 2018)
67. Rel 10 (e)‏‎ (21:30 15 jul 2018)
68. Rel 11 (e)‏‎ (21:30 15 jul 2018)
69. Rel 12 (e)‏‎ (21:31 15 jul 2018)

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