Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:52 10 ene 2019 (dif | hist) . . (0) . . Colaboraciones (edición actual)
- 21:08 9 ene 2019 (dif | hist) . . (0) . . m Colaboraciones (Protegió «Colaboraciones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 21:08 9 ene 2019 (dif | hist) . . (+539) . . N Colaboraciones (Página creada con «=== Colaboraciones en todas la relaciones === <source lang="text"> | 69 | pabalagon | | 69 | cammonagu | | 64 | benber | | 64 | alfmarcua | | 63 | josgomro…»)
- 20:39 9 ene 2019 (dif | hist) . . (+17 747) . . N Relación 6 (Página creada con «<source lang="isabelle"> chapter {* R6: Deducción natural proposicional *} theory R6_Deduccion_natural_proposicional imports Main begin text {* ----------------------…»)
- 20:39 9 ene 2019 (dif | hist) . . (0) . . m R6 (Protegió «R6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:39 9 ene 2019 (dif | hist) . . (+17 747) . . N R6 (Página creada con «<source lang="isabelle"> chapter {* R6: Deducción natural proposicional *} theory R6_Deduccion_natural_proposicional imports Main begin text {* ----------------------…»)
- 20:37 9 ene 2019 (dif | hist) . . (+2) . . Ejercicios
- 20:24 9 ene 2019 (dif | hist) . . (+25 608) . . N Tema 7b: Deducción natural proposicional con Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* Tema 7b: Deducción natural proposicional con Isabelle/HOL *} theory T7b_Deduccion_natural_en_logica_proposicional_con_Isabelle imports…») (edición actual)
- 20:16 9 ene 2019 (dif | hist) . . (0) . . Temas
- 16:46 20 dic 2018 (dif | hist) . . (0) . . Temas
- 08:59 14 dic 2018 (dif | hist) . . (+7077) . . N Relación 5 (Página creada con «<source lang="isabelle"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ---------------------------------------…»)
- 08:59 14 dic 2018 (dif | hist) . . (0) . . m R5 (Protegió «R5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 08:59 14 dic 2018 (dif | hist) . . (+7077) . . N R5 (Página creada con «<source lang="isabelle"> chapter {* R5: Recorridos de árboles *} theory R5_Recorridos_de_arboles imports Main begin text {* ---------------------------------------…»)
- 08:57 14 dic 2018 (dif | hist) . . (0) . . Ejercicios
- 08:57 14 dic 2018 (dif | hist) . . (0) . . Temas
- 15:35 13 dic 2018 (dif | hist) . . (+7292) . . N Tema 6b: Verificación de la ordenación por mezcla (Página creada con «<source lang="isabelle"> chapter {* T6b: Verificación de la ordenación por mezcla *} theory T6b_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text {* En…») (edición actual)
- 15:28 13 dic 2018 (dif | hist) . . (+3) . . Tema 6a: Verificación de la ordenación por inserción (edición actual)
- 15:28 13 dic 2018 (dif | hist) . . (+10 709) . . N Tema 6a: Verificación de la ordenación por inserción (Página creada con «<source lang="isabelle"> chapter {* T6a: Verificación de la ordenación por inserción *} theory T6a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text…»)
- 15:21 13 dic 2018 (dif | hist) . . (+8470) . . N Tema 5: Razonamiento sobre árboles y bosques (Página creada con «<source lang="isabelle"> chapter {* Tema 5: Razonamiento sobre árboles *} theory T5_Razonamiento_sobre_arboles imports Main HOL.Parity begin text {* En este tema se es…») (edición actual)
- 13:03 13 dic 2018 (dif | hist) . . (-125) . . Temas
- 17:17 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 16:29 29 nov 2018 (dif | hist) . . (+8) . . Documentación (→Artículos recientes)
- 16:28 29 nov 2018 (dif | hist) . . (-3) . . Documentación (→Artículos recientes)
- 15:05 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 15:04 29 nov 2018 (dif | hist) . . (+7365) . . N Relación 4 (Página creada con «<source lang="isabelle"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* ----------------------------…»)
- 15:04 29 nov 2018 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:04 29 nov 2018 (dif | hist) . . (+7365) . . N R4 (Página creada con «<source lang="isabelle"> chapter {* R4: Cuantificadores sobre listas *} theory R4_Cuantificadores_sobre_listas imports Main begin text {* ----------------------------…»)
- 14:38 29 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 14:38 29 nov 2018 (dif | hist) . . (+17 523) . . N Tema 4: Razonamiento por casos y por inducción (Página creada con «<source lang="isabelle"> chapter {* Tema 4: Razonamiento por casos y por inducción *} theory T4_Razonamiento_por_casos_y_por_induccion imports Main Parity begin text {*…») (edición actual)
- 14:37 29 nov 2018 (dif | hist) . . (-1) . . Temas
- 14:18 29 nov 2018 (dif | hist) . . (-4) . . Relación 3
- 13:46 29 nov 2018 (dif | hist) . . (0) . . m Relación 3 (Eliminó la protección de «Relación 3»)
- 13:46 29 nov 2018 (dif | hist) . . (+115) . . Relación 3
- 12:59 29 nov 2018 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 14:27 23 nov 2018 (dif | hist) . . (0) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Protegió «Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 14:27 23 nov 2018 (dif | hist) . . (+27) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 23:58 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 11:33 22 nov 2018 (dif | hist) . . (+5269) . . N Relación 3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:32 22 nov 2018 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:32 22 nov 2018 (dif | hist) . . (+5269) . . N R3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:30 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:29 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Eliminó la protección de «Relación 2»)
- 11:29 22 nov 2018 (dif | hist) . . (+17 745) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 11:28 22 nov 2018 (dif | hist) . . (+6061) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare na…»)
- 11:27 22 nov 2018 (dif | hist) . . (0) . . Temas
- 11:17 22 nov 2018 (dif | hist) . . (+102) . . Relación 2
- 11:06 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 09:09 16 nov 2018 (dif | hist) . . (+40) . . Documentación (→Artículos recientes)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).