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:23 8 feb 2022 (dif | hist) . . (+122) . . Documentación (edición actual)
- 14:54 8 feb 2022 (dif | hist) . . (-11 088) . . Documentación
- 20:41 8 feb 2017 (dif | hist) . . (+126) . . Temas (edición actual)
- 16:39 2 feb 2017 (dif | hist) . . (-5904) . . Tema 10: Conjuntos, funciones y relaciones
- 16:12 26 ene 2017 (dif | hist) . . (+87) . . Sistemas (→Sistemas utilizados en Razonamiento automático (2016-17)) (edición actual)
- 09:29 26 ene 2017 (dif | hist) . . (+5061) . . N Relación 10 (Página creada con '<source lang="isar"> chapter {* R10: Formalización y argumentación con Isabelle/HOL *} theory R10_Formalizacion_y_argmentacion imports Main begin text {* ----------------...')
- 09:29 26 ene 2017 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:29 26 ene 2017 (dif | hist) . . (+5061) . . N R10 (Página creada con '<source lang="isar"> chapter {* R10: Formalización y argumentación con Isabelle/HOL *} theory R10_Formalizacion_y_argmentacion imports Main begin text {* ----------------...')
- 09:28 26 ene 2017 (dif | hist) . . (0) . . Ejercicios
- 09:05 26 ene 2017 (dif | hist) . . (0) . . m Tema 10: Conjuntos, funciones y relaciones (Protegió «Tema 10: Conjuntos, funciones y relaciones» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 09:05 26 ene 2017 (dif | hist) . . (+21 352) . . N Tema 10: Conjuntos, funciones y relaciones (Página creada con '<source lang="isar"> chapter {* Tema 10: Conjuntos, funciones y relaciones *} theory T10_Conjuntos_funciones_y_relaciones imports Main begin section {* Conjuntos *} subsecti...')
- 08:10 26 ene 2017 (dif | hist) . . (+1) . . Temas
- 07:52 26 ene 2017 (dif | hist) . . (0) . . m Relación 9 (Desprotegió «Relación 9»)
- 21:21 25 ene 2017 (dif | hist) . . (+187) . . Relación 9
- 21:02 25 ene 2017 (dif | hist) . . (0) . . m Relación 9 (Protegió «Relación 9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:07 19 ene 2017 (dif | hist) . . (+3172) . . N Relación 9 (Página creada con '<source lang="isar"> chapter {* R9: Deducción natural LPO en Isabelle/HOL *} theory R9_Deduccion_natural_LPO imports Main begin text {* Demostrar o refutar los siguientes ...')
- 14:07 19 ene 2017 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:07 19 ene 2017 (dif | hist) . . (+3172) . . N R9 (Página creada con '<source lang="isar"> chapter {* R9: Deducción natural LPO en Isabelle/HOL *} theory R9_Deduccion_natural_LPO imports Main begin text {* Demostrar o refutar los siguientes ...')
- 14:06 19 ene 2017 (dif | hist) . . (+125) . . Ejercicios
- 13:14 19 ene 2017 (dif | hist) . . (+454) . . Relación 8
- 12:27 19 ene 2017 (dif | hist) . . (0) . . m Relación 8 (Protegió «Relación 8» ([edit=sysop] (caduca el 10:27 20 ene 2017 (UTC)) [move=sysop] (caduca el 10:27 20 ene 2017 (UTC))))
- 21:33 12 ene 2017 (dif | hist) . . (0) . . m Relación 8 (Desprotegió «Relación 8»)
- 13:00 12 ene 2017 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:00 12 ene 2017 (dif | hist) . . (0) . . m Relación 8 (Protegió «Relación 8» ([edit=sysop] (caduca el 11:00 13 ene 2017 (UTC)) [move=sysop] (caduca el 11:00 13 ene 2017 (UTC))))
- 12:58 12 ene 2017 (dif | hist) . . (+2790) . . N Relación 8 (Página creada con '<source lang="isar"> chapter {* R8: Deducción natural proposicional en Isabelle/HOL *} theory R8_Deduccion_natural_proposicional imports Main begin text {* Demostrar o ref...')
- 12:58 12 ene 2017 (dif | hist) . . (+2790) . . N R8 (Página creada con '<source lang="isar"> chapter {* R8: Deducción natural proposicional en Isabelle/HOL *} theory R8_Deduccion_natural_proposicional imports Main begin text {* Demostrar o ref...')
- 12:57 12 ene 2017 (dif | hist) . . (+13) . . Ejercicios
- 08:53 12 ene 2017 (dif | hist) . . (+16 091) . . N Tema 9b: Deducción natural en lógica de primer orden con Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 9: Deducción natural en lógica de primer orden *} theory T9b_Deduccion_natural_en_logica_de_primer_orden imports Main begin text {* E...')
- 08:51 12 ene 2017 (dif | hist) . . (0) . . Tema 8b: Deducción natural proposicional con Isabelle/HOL
- 08:50 12 ene 2017 (dif | hist) . . (+25 249) . . N Tema 8b: 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...')
- 08:46 12 ene 2017 (dif | hist) . . (-2) . . Temas
- 08:45 12 ene 2017 (dif | hist) . . (0) . . Temas
- 09:17 3 ene 2017 (dif | hist) . . (0) . . m Relación 7 (Desprotegió «Relación 7»)
- 13:37 22 dic 2016 (dif | hist) . . (0) . . m Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Protegió «Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:36 22 dic 2016 (dif | hist) . . (0) . . m Tema 5: Razonamiento sobre árboles y bosques (Protegió «Tema 5: Razonamiento sobre árboles y bosques» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:36 22 dic 2016 (dif | hist) . . (0) . . m Tema 6a: Verificación de la ordenación por inserción (Protegió «Tema 6a: Verificación de la ordenación por inserción» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:36 22 dic 2016 (dif | hist) . . (0) . . m Tema 6b: Verificación de la ordenación por mezcla (Protegió «Tema 6b: Verificación de la ordenación por mezcla» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:35 22 dic 2016 (dif | hist) . . (0) . . m Tema 7: Caso de estudio: Compilación de expresiones (Protegió «Tema 7: Caso de estudio: Compilación de expresiones» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:35 22 dic 2016 (dif | hist) . . (+8564) . . N Tema 7: Caso de estudio: Compilación de expresiones (Página creada con '<source lang="isar"> chapter {* Tema 7: Caso de estudio: Compilación de expresiones *} theory T7_Caso_de_estudio_Compilacion_de_expresiones imports Main begin declare [[name...')
- 13:34 22 dic 2016 (dif | hist) . . (0) . . Temas
- 10:26 22 dic 2016 (dif | hist) . . (+272) . . Relación 7
- 10:00 22 dic 2016 (dif | hist) . . (0) . . m Relación 7 (Protegió «Relación 7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:54 18 dic 2016 (dif | hist) . . (0) . . m Relación 6 (Desprotegió «Relación 6»)
- 12:10 18 dic 2016 (dif | hist) . . (+5382) . . N Relación 7 (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:10 18 dic 2016 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:10 18 dic 2016 (dif | hist) . . (+5382) . . N R7 (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:09 18 dic 2016 (dif | hist) . . (-126) . . Ejercicios
- 14:09 15 dic 2016 (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...')
- 13:57 15 dic 2016 (dif | hist) . . (-4) . . Tema 6a: Verificación de la ordenación por inserción
- 13:56 15 dic 2016 (dif | hist) . . (+10 657) . . N Tema 6a: Verificación de la ordenación por inserción (Página creada con '<source language="isar"> chapter {* T6a: Verificación de la ordenación por inserción *} theory T6a_Verificacion_de_la_ordenacion_por_insercion imports Main begin text {* ...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).