Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:51 9 ene 2014 (dif | hist) . . (0) . . m Tema 5a: Verificación de la ordenación por inserción (Protegió «Tema 5a: Verificación de la ordenación por inserción» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:50 9 ene 2014 (dif | hist) . . (+10 635) . . N Tema 5a: Verificación de la ordenación por inserción (Página creada con '<source lang="isar"> header {* T5a: Verificación de la ordenación por inserción *} theory T5a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text {* En es...')
- 13:48 9 ene 2014 (dif | hist) . . (+122) . . Temas (→Temas de Razonamiento automático (2013-14))
- 12:58 20 dic 2013 (dif | hist) . . (-1) . . R7
- 12:57 20 dic 2013 (dif | hist) . . (-1) . . Relación 7
- 08:12 19 dic 2013 (dif | hist) . . (+7053) . . N Relación 7 (Página creada con '<source lang="isar"> header {* R7: Recorridos de árboles *} theory R7 imports Main begin text {* --------------------------------------------------------------------- ...')
- 08:11 19 dic 2013 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:11 19 dic 2013 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:11 19 dic 2013 (dif | hist) . . (+7053) . . N R7 (Página creada con '<source lang="isar"> header {* R7: Recorridos de árboles *} theory R7 imports Main begin text {* --------------------------------------------------------------------- ...')
- 08:10 19 dic 2013 (dif | hist) . . (+109) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:09 19 dic 2013 (dif | hist) . . (+67) . . Tema 4: Razonamiento por casos y por inducción
- 07:14 17 dic 2013 (dif | hist) . . (+181) . . Documentación (→Otros cursos)
- 09:24 15 dic 2013 (dif | hist) . . (+147) . . Documentación (→Otros cursos)
- 09:05 15 dic 2013 (dif | hist) . . (+271) . . Documentación (→Otros cursos)
- 20:09 14 dic 2013 (dif | hist) . . (+189) . . Documentación (→Cursos con Isabelle/HOL)
- 23:28 11 dic 2013 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 23:28 11 dic 2013 (dif | hist) . . (+10 115) . . N Relación 6 (Página creada con '<source lang="isar"> header {* R6: Sustitución, inversión y eliminación *} theory R6 imports Main begin section {* Sustitución, inversión y eliminación *} text {* -...')
- 23:27 11 dic 2013 (dif | hist) . . (+1) . . R6
- 23:27 11 dic 2013 (dif | hist) . . (+10 114) . . N R6 (Página creada con '<source lang="isar> header {* R6: Sustitución, inversión y eliminación *} theory R6 imports Main begin section {* Sustitución, inversión y eliminación *} text {* --...')
- 23:25 11 dic 2013 (dif | hist) . . (+126) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:54 9 dic 2013 (dif | hist) . . (+392) . . Documentación (→Referencias sobre Isabelle/HOL)
- 08:35 9 dic 2013 (dif | hist) . . (+266) . . Documentación (→Referencias sobre Isabelle/HOL)
- 09:57 7 dic 2013 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:56 7 dic 2013 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:56 7 dic 2013 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:56 7 dic 2013 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:22 6 dic 2013 (dif | hist) . . (-4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:22 6 dic 2013 (dif | hist) . . (-2) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:20 6 dic 2013 (dif | hist) . . (0) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:20 6 dic 2013 (dif | hist) . . (+17) . . Documentación (→Referencias sobre Isabelle/HOL)
- 09:14 6 dic 2013 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:27 6 dic 2013 (dif | hist) . . (+115) . . Ejercicios
- 09:32 29 nov 2013 (dif | hist) . . (+116) . . Documentación (→Artículos recientes)
- 20:34 28 nov 2013 (dif | hist) . . (-124) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 20:33 28 nov 2013 (dif | hist) . . (+9) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 12:04 28 nov 2013 (dif | hist) . . (+10 743) . . N Relación 5 (Página creada con '<source lang="isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -------------------------------------------------------------------...')
- 12:03 28 nov 2013 (dif | hist) . . (-2) . . Ejercicios (→Relaciones de ejercicios corregidos)
- 08:33 28 nov 2013 (dif | hist) . . (-1) . . Documentación (→Artículos recientes)
- 08:32 28 nov 2013 (dif | hist) . . (0) . . Documentación (→Artículos recientes)
- 08:31 28 nov 2013 (dif | hist) . . (+3) . . Documentación (→Artículos recientes)
- 08:27 28 nov 2013 (dif | hist) . . (0) . . Documentación (→Artículos recientes)
- 08:25 28 nov 2013 (dif | hist) . . (+210) . . Documentación (→Artículos recientes)
- 08:23 28 nov 2013 (dif | hist) . . (+2) . . Documentación (→Artículos recientes)
- 08:22 28 nov 2013 (dif | hist) . . (-2) . . Documentación (→Artículos recientes)
- 08:22 28 nov 2013 (dif | hist) . . (+5262) . . Documentación (→Artículos recientes)
- 23:10 27 nov 2013 (dif | hist) . . (+10 743) . . N R5 (Página creada con '<source lang="isar"> header {* R5: Cuantificadores sobre listas *} theory R5 imports Main begin text {* -------------------------------------------------------------------...')
- 23:09 27 nov 2013 (dif | hist) . . (+117) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 21:36 27 nov 2013 (dif | hist) . . (+1769) . . N Relación 4 (Página creada con '<source lang="isar"> header {* R4: Cons inverso *} theory R4 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
- 21:35 27 nov 2013 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:35 27 nov 2013 (dif | hist) . . (+1769) . . N R4 (Página creada con '<source lang="isar"> header {* R4: Cons inverso *} theory R4 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).