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:20 8 feb 2022 (dif | hist) . . (+122) . . Documentación (edición actual)
- 19:20 8 feb 2022 (dif | hist) . . (+12) . . m Documentación (Revertidos los cambios de Jalonso (disc.) a la última edición de WikiSysop) (Etiqueta: Reversión)
- 19:19 8 feb 2022 (dif | hist) . . (+11 654) . . Documentación (Se ha deshecho la revisión 698 de Jalonso (disc.)) (Etiqueta: Deshacer)
- 12:57 8 feb 2022 (dif | hist) . . (-11 654) . . Documentación
- 21:19 27 ene 2022 (dif | hist) . . (-95) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:18 27 ene 2022 (dif | hist) . . (-4) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:17 27 ene 2022 (dif | hist) . . (+1) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:16 27 ene 2022 (dif | hist) . . (+17) . . Documentación (→Referencias sobre Isabelle/HOL)
- 21:15 27 ene 2022 (dif | hist) . . (-9) . . Documentación (→Visiones generales de la DAO)
- 21:14 27 ene 2022 (dif | hist) . . (+63) . . Documentación (→Visiones generales de la DAO)
- 21:03 27 ene 2022 (dif | hist) . . (+15) . . Documentación (→Visiones generales de la DAO)
- 12:53 16 mar 2020 (dif | hist) . . (+19) . . Temas (edición actual)
- 12:51 16 mar 2020 (dif | hist) . . (0) . . Temas
- 12:50 16 mar 2020 (dif | hist) . . (+997) . . Temas
- 11:27 13 feb 2014 (dif | hist) . . (+125) . . Temas (→Temas de Razonamiento automático (2013-14))
- 06:51 7 feb 2014 (dif | hist) . . (0) . . m R12 (Protegió «R12» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 06:50 7 feb 2014 (dif | hist) . . (+10 551) . . N Relación 12 (Página creada con '<source lang="isar"> header {* R12: Representación de fórmulas proposicionales mediante polinomios *} theory R12 imports Main begin text {* El objetivo de esta relaci...')
- 06:49 7 feb 2014 (dif | hist) . . (+10 551) . . N R12 (Página creada con '<source lang="isar"> header {* R12: Representación de fórmulas proposicionales mediante polinomios *} theory R12 imports Main begin text {* El objetivo de esta relaci...')
- 06:46 7 feb 2014 (dif | hist) . . (+154) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 21:30 5 feb 2014 (dif | hist) . . (+8441) . . N Tema 8: Caso de estudio: Compilación de expresiones (Página creada con '<source lang="isar"> header {* Tema 8: Caso de estudio: Compilación de expresiones *} theory T8 imports Main begin text {* El objetivo de este tema es contruir un compilado...')
- 21:29 5 feb 2014 (dif | hist) . . (+60) . . Temas
- 19:10 31 ene 2014 (dif | hist) . . (+6830) . . N Relación 11 (Página creada con '<source lang="isar"> header {* R11: Deducción natural de primer orden *} theory R11 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 19:09 31 ene 2014 (dif | hist) . . (0) . . m R11 (Protegió «R11» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:08 31 ene 2014 (dif | hist) . . (+6830) . . N R11 (Página creada con '<source lang="isar"> header {* R11: Deducción natural de primer orden *} theory R11 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 19:07 31 ene 2014 (dif | hist) . . (+138) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:03 24 ene 2014 (dif | hist) . . (+3697) . . N Relación 10 (Página creada con '<source lang="isar"> header {* R10: Deducción natural proposicional *} theory R10 imports Main begin text {* --------------------------------------------------------------...')
- 08:03 24 ene 2014 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:03 24 ene 2014 (dif | hist) . . (+3697) . . N R10 (Página creada con '<source lang="isar"> header {* R10: Deducción natural proposicional *} theory R10 imports Main begin text {* --------------------------------------------------------------...')
- 08:01 24 ene 2014 (dif | hist) . . (+126) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:00 24 ene 2014 (dif | hist) . . (0) . . Temas
- 08:00 24 ene 2014 (dif | hist) . . (0) . . m Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL trasladada a Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL)
- 20:25 22 ene 2014 (dif | hist) . . (0) . . m Relación 5 (Desprotegió «Relación 5»)
- 20:24 22 ene 2014 (dif | hist) . . (0) . . m Relación 3 (Desprotegió «Relación 3»)
- 20:23 22 ene 2014 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 20:23 22 ene 2014 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 17:33 22 ene 2014 (dif | hist) . . (0) . . m Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (Protegió «Tema 6b: Deducción natural en lógica de primer orden con Isabelle/HOL» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:33 22 ene 2014 (dif | hist) . . (+16 090) . . N Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 7: Deducción natural en lógica de primer orden *} theory T7b_Deduccion_natural_en_logica_de_primer_orden imports Main begin text {* El...')
- 17:27 22 ene 2014 (dif | hist) . . (0) . . Temas (→Temas de Razonamiento automático (2013-14))
- 17:27 22 ene 2014 (dif | hist) . . (+196) . . Temas (→Temas de Razonamiento automático (2013-14))
- 21:03 16 ene 2014 (dif | hist) . . (0) . . m R9 (Protegió «R9» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:03 16 ene 2014 (dif | hist) . . (+3317) . . N Relación 9 (Página creada con '<source lang="isar"> header {* R9: Deducción natural proposicional (1) *} theory R9 imports Main begin text {* ------------------------------------------------------------...')
- 21:02 16 ene 2014 (dif | hist) . . (+3317) . . N R9 (Página creada con '<source lang="isar"> header {* R9: Deducción natural proposicional (1) *} theory R9 imports Main begin text {* ------------------------------------------------------------...')
- 21:01 16 ene 2014 (dif | hist) . . (+123) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 10:00 16 ene 2014 (dif | hist) . . (+25 187) . . N Tema 6b: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 6b: Deducción natural proposicional con Isabelle/HOL *} theory T6b imports Main begin text {* En este tema se presentan los ejemplos de...')
- 09:59 16 ene 2014 (dif | hist) . . (+170) . . Temas (→Temas de Razonamiento automático (2013-14))
- 13:55 9 ene 2014 (dif | hist) . . (+5120) . . N Relación 8 (Página creada con '<source lang="isar"> header {* R8: Árboles binarios completos *} theory R8_Arboles_binarios_completos imports Main begin text {* ---------------------------------------...')
- 13:55 9 ene 2014 (dif | hist) . . (0) . . m R8 (Protegió «R8» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 13:55 9 ene 2014 (dif | hist) . . (+5120) . . N R8 (Página creada con '<source lang="isar"> header {* R8: Árboles binarios completos *} theory R8_Arboles_binarios_completos imports Main begin text {* ---------------------------------------...')
- 13:53 9 ene 2014 (dif | hist) . . (+114) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 13:52 9 ene 2014 (dif | hist) . . (+7422) . . N Tema 5b: Verificación de la ordenación por mezcla (Página creada con '<source lang="isar"> header {* T5b: Verificación de la ordenación por mezcla *} theory T5b_Verificacion_de_la_ordenacion_por_mezcla_sol imports Main begin text {* En esta ...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).