Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:21 27 may 2020 (dif | hist) . . (+248) . . Definiciones inductivas (edición actual)
- 17:20 20 may 2020 (dif | hist) . . (-776) . . Desarrollo de teorías formalizadas con Isabelle/HOL (edición actual)
- 17:19 20 may 2020 (dif | hist) . . (0) . . m Desarrollo de teorías formalizadas con Isabelle/HOL
- 08:02 14 may 2020 (dif | hist) . . (-10) . . Razonamiento sobre árboles y bosques (edición actual)
- 08:00 14 may 2020 (dif | hist) . . (+3666) . . Razonamiento sobre árboles y bosques
- 19:46 13 may 2020 (dif | hist) . . (+2330) . . Razonamiento sobre árboles y bosques
- 19:00 6 may 2020 (dif | hist) . . (-3341) . . Razonamiento por casos y por inducci¢n (edición actual)
- 20:26 25 abr 2020 (dif | hist) . . (+15) . . MediaWiki:Sidebar (edición actual)
- 20:25 25 abr 2020 (dif | hist) . . (-15) . . MediaWiki:Sidebar
- 07:20 16 abr 2020 (dif | hist) . . (-31) . . Razonamiento sobre programas en Isabelle/HOL (edición actual)
- 07:17 16 abr 2020 (dif | hist) . . (+6966) . . Razonamiento sobre programas en Isabelle/HOL
- 21:03 1 abr 2020 (dif | hist) . . (+9) . . Programación funcional en Isabelle/HOL (edición actual)
- 18:07 20 feb 2020 (dif | hist) . . (-1005) . . Ejercicios (edición actual)
- 21:39 19 feb 2020 (dif | hist) . . (-4666) . . Deducción natural proposicional con Isabelle/HOL (edición actual)
- 22:03 7 feb 2020 (dif | hist) . . (+3600) . . Tema 4a (edición actual)
- 22:02 7 feb 2020 (dif | hist) . . (-185) . . Temas (edición actual)
- 22:02 7 feb 2020 (dif | hist) . . (+11 073) . . Deducción natural proposicional con Isabelle/HOL
- 13:13 11 sep 2019 (dif | hist) . . (+10 092) . . N Examen 4 (edición actual)
- 17:39 8 jul 2019 (dif | hist) . . (0) . . m Examen 3 (edición actual)
- 12:33 8 jul 2019 (dif | hist) . . (-1) . . Examen 3
(últimas | primeras) Ver (20 siguientes | 20 anteriores) (20 | 50 | 100 | 250 | 500).