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