Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 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
- 12:31 8 jul 2019 (dif | hist) . . (+11 324) . . N Examen 3
- 19:06 26 jun 2019 (dif | hist) . . (+934) . . Sol 12 (edición actual)
- 17:08 26 jun 2019 (dif | hist) . . (+270) . . Examen 2 (edición actual)
- 17:35 13 jun 2019 (dif | hist) . . (+843) . . Examen 2
- 19:42 12 jun 2019 (dif | hist) . . (+3375) . . Examen 2
- 17:20 12 jun 2019 (dif | hist) . . (+8939) . . N Examen 2
- 15:52 6 jun 2019 (dif | hist) . . (0) . . m Ejercicios
- 16:53 29 may 2019 (dif | hist) . . (+1666) . . Conjuntos, funciones y relaciones (edición actual)
- 10:43 13 may 2019 (dif | hist) . . (0) . . Temas
- 10:43 13 may 2019 (dif | hist) . . (0) . . m Desarrollo de teorías formalizadas con Isabelle/HOL
- 10:43 13 may 2019 (dif | hist) . . (+70) . . N Desarrollo de teor¡as formalizadas con Isabelle/HOL (edición actual) (Etiqueta: Redirección nueva)
- 19:19 12 may 2019 (dif | hist) . . (+20 979) . . N Desarrollo de teorías formalizadas con Isabelle/HOL
- 08:48 9 may 2019 (dif | hist) . . (+938) . . Conjuntos, funciones y relaciones
- 09:49 4 may 2019 (dif | hist) . . (+2171) . . Definiciones inductivas
- 09:00 4 may 2019 (dif | hist) . . (+1792) . . Razonamiento sobre árboles y bosques
- 10:22 2 may 2019 (dif | hist) . . (-2352) . . Razonamiento por casos y por inducci¢n
- 08:40 2 may 2019 (dif | hist) . . (+2406) . . Razonamiento sobre programas en Isabelle/HOL
- 16:45 1 may 2019 (dif | hist) . . (+2819) . . Razonamiento por casos y por inducci¢n
- 16:13 1 may 2019 (dif | hist) . . (+160) . . Razonamiento sobre programas en Isabelle/HOL
- 16:12 1 may 2019 (dif | hist) . . (0) . . m Razonamiento sobre programas en Isabelle/HOL
- 11:26 21 abr 2019 (dif | hist) . . (+39 150) . . N Sol 7b (edición actual)
- 11:25 21 abr 2019 (dif | hist) . . (+132) . . Ejercicios
- 11:22 21 abr 2019 (dif | hist) . . (+14 624) . . Sol 6 (edición actual)
- 14:03 20 abr 2019 (dif | hist) . . (+40 426) . . Sol 7 (edición actual)
- 16:44 11 abr 2019 (dif | hist) . . (0) . . m Relación 3 (edición actual)
- 16:41 11 abr 2019 (dif | hist) . . (0) . . m Página principal (edición actual)
- 14:27 1 abr 2019 (dif | hist) . . (+13 985) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas (edición actual)
- 08:19 26 mar 2019 (dif | hist) . . (+31) . . Deducción natural proposicional con Isabelle/HOL basada en tácticas (edición actual)
- 08:19 26 mar 2019 (dif | hist) . . (+31) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas
- 08:17 26 mar 2019 (dif | hist) . . (+248) . . Deducción natural en lógica de primer orden con Isabelle/HOL basada en tácticas
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).