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:05 17 ene 2018 (dif | hist) . . (-72) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 20:04 17 ene 2018 (dif | hist) . . (0) . . Tema 7b: Deducción natural proposicional con Isabelle/HOL
- 20:04 17 ene 2018 (dif | hist) . . (0) . . m Tema 7b: Deducción natural proposicional con Isabelle/HOL (Protegió «Tema 7b: Deducción natural proposicional con Isabelle/HOL» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:03 17 ene 2018 (dif | hist) . . (+25 249) . . N Tema 7b: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 7b: Deducción natural proposicional con Isabelle/HOL *} theory T8b_Deduccion_natural_en_logica_proposicional_con_Isabelle imports Main be...')
- 20:02 17 ene 2018 (dif | hist) . . (0) . . Temas
- 12:28 11 ene 2018 (dif | hist) . . (+5382) . . N Relación 6 (Página creada con '<source lang="isar"> chapter {* R7: Árboles binarios completos *} theory R7_Arboles_binarios_completos imports Main begin text {* En esta relación se piden demostracio...')
- 12:28 11 ene 2018 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:28 11 ene 2018 (dif | hist) . . (+5382) . . N R6 (Página creada con '<source lang="isar"> chapter {* R6: Árboles binarios completos *} theory R6_Arboles_binarios_completos imports Main begin text {* En esta relación se piden demostracio...')
- 12:25 11 ene 2018 (dif | hist) . . (-4) . . Ejercicios
- 12:24 11 ene 2018 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:23 11 ene 2018 (dif | hist) . . (+7293) . . N Tema 6b: Verificación de la ordenación por mezcla (Página creada con '<source lang="isar"> chapter {* T6b: Verificación de la ordenación por mezcla *} theory T6b_Verificacion_de_la_ordenacion_por_mezcla_sol imports Main begin text {* En esta...')
- 12:22 11 ene 2018 (dif | hist) . . (+10 653) . . N Tema 6a: Verificación de la ordenación por inserción (Página creada con '<source lang="isar"> chapter {* T6a: Verificación de la ordenación por inserción *} theory T6a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text {* En e...')
- 12:21 11 ene 2018 (dif | hist) . . (0) . . Temas
- 13:02 21 dic 2017 (dif | hist) . . (-1) . . Temas (→Temas de Razonamiento automático (2017-18))
- 13:01 21 dic 2017 (dif | hist) . . (+126) . . Temas
- 13:38 14 dic 2017 (dif | hist) . . (+742) . . Colaboraciones (edición actual)
- 10:11 14 dic 2017 (dif | hist) . . (+316) . . Relación 4
- 09:50 14 dic 2017 (dif | hist) . . (+7073) . . N Relación 5 (Página creada con '<source lang="isar"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ------------------------------------------------...')
- 09:50 14 dic 2017 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:49 14 dic 2017 (dif | hist) . . (+7073) . . N R5 (Página creada con '<source lang="isar"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ------------------------------------------------...')
- 09:48 14 dic 2017 (dif | hist) . . (-189) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 09:39 14 dic 2017 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:38 14 dic 2017 (dif | hist) . . (+8364) . . N Tema 5: Razonamiento sobre árboles y bosques (Página creada con '<source lang="isar"> chapter {* Tema 5: Razonamiento sobre árboles *} theory T5_Razonamiento_sobre_arboles imports Main Parity begin text {* En este tema se estudia razonam...')
- 09:37 14 dic 2017 (dif | hist) . . (0) . . Temas
- 09:57 2 dic 2017 (dif | hist) . . (+1) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:24 30 nov 2017 (dif | hist) . . (+75) . . Relación 3
- 08:10 30 nov 2017 (dif | hist) . . (+7361) . . N Relación 4 (Página creada con '<source lang="isar"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* -------------------------------------...')
- 08:09 30 nov 2017 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:09 30 nov 2017 (dif | hist) . . (+7361) . . N R4 (Página creada con '<source lang="isar"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* -------------------------------------...')
- 08:08 30 nov 2017 (dif | hist) . . (0) . . Ejercicios
- 08:06 30 nov 2017 (dif | hist) . . (0) . . m Tema 4: Razonamiento por casos y por inducción (Protegió «Tema 4: Razonamiento por casos y por inducción» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:06 30 nov 2017 (dif | hist) . . (+17 469) . . N Tema 4: Razonamiento por casos y por inducción (Página creada con '<source lang="isar"> chapter {* Tema 4: Razonamiento por casos y por inducción *} theory T4_Razonamiento_por_casos_y_por_induccion imports Main Parity begin text {* En este...')
- 08:05 30 nov 2017 (dif | hist) . . (0) . . Temas
- 14:12 23 nov 2017 (dif | hist) . . (0) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 11:07 9 nov 2017 (dif | hist) . . (+681) . . Colaboraciones
- 11:05 9 nov 2017 (dif | hist) . . (+120) . . Relación 2
- 10:53 9 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:59 9 nov 2017 (dif | hist) . . (-1) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:58 9 nov 2017 (dif | hist) . . (+5265) . . N Relación 3 (Página creada con '<source lang="isar"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* ----------------------------------------...')
- 08:58 9 nov 2017 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:57 9 nov 2017 (dif | hist) . . (+5265) . . N R3 (Página creada con '<source lang="isar"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* ----------------------------------------...')
- 08:56 9 nov 2017 (dif | hist) . . (+77) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:50 9 nov 2017 (dif | hist) . . (+23 802) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 3: Razonamiento estructurado sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demu...')
- 08:50 9 nov 2017 (dif | hist) . . (0) . . Temas
- 19:53 4 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 19:52 4 nov 2017 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([edit=sysop] (caduca el 18:52 4 nov 2017 (UTC)) [move=sysop] (caduca el 18:52 4 nov 2017 (UTC))))
- 19:51 4 nov 2017 (dif | hist) . . (0) . . m Documentación (Protegió «Documentación» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:51 4 nov 2017 (dif | hist) . . (0) . . m Razonamiento automático (2017-18) (Protegió «Razonamiento automático (2017-18)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 16:56 2 nov 2017 (dif | hist) . . (+35) . . Relación 1
- 16:41 2 nov 2017 (dif | hist) . . (0) . . Colaboraciones (→Colaboraciones en la relación 1)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).