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:28 8 feb 2022 (dif | hist) . . (-116) . . Sistemas (→Sistemas utilizados en Razonamiento automático (2017-18)) (edición actual)
- 19:23 8 feb 2022 (dif | hist) . . (+122) . . Documentación (edición actual)
- 14:57 8 feb 2022 (dif | hist) . . (-11 224) . . Documentación
- 16:52 24 jul 2021 (dif | hist) . . (-695) . . Ejercicios (edición actual)
- 20:42 14 jul 2018 (dif | hist) . . (+4) . . Relación 7 (edición actual)
- 20:42 14 jul 2018 (dif | hist) . . (+4) . . R7 (edición actual)
- 20:42 14 jul 2018 (dif | hist) . . (+4) . . Relación 6 (edición actual)
- 20:41 14 jul 2018 (dif | hist) . . (+4) . . R6 (edición actual)
- 20:41 14 jul 2018 (dif | hist) . . (+4) . . Relación 5 (edición actual)
- 20:41 14 jul 2018 (dif | hist) . . (+4) . . R5 (edición actual)
- 20:40 14 jul 2018 (dif | hist) . . (+4) . . Relación 4 (edición actual)
- 20:40 14 jul 2018 (dif | hist) . . (+4) . . R4 (edición actual)
- 20:40 14 jul 2018 (dif | hist) . . (+4) . . Relación 3 (edición actual)
- 20:38 14 jul 2018 (dif | hist) . . (+4) . . R3 (edición actual)
- 20:38 14 jul 2018 (dif | hist) . . (+4) . . Relación 2 (edición actual)
- 20:38 14 jul 2018 (dif | hist) . . (+4) . . R2 (edición actual)
- 20:37 14 jul 2018 (dif | hist) . . (+4) . . Relación 1 (edición actual)
- 20:37 14 jul 2018 (dif | hist) . . (+4) . . R1 (edición actual)
- 20:37 14 jul 2018 (dif | hist) . . (-77) . . Ejercicios
- 20:36 14 jul 2018 (dif | hist) . . (+4) . . Tema 9: Caso de estudio: Compilación de expresiones (edición actual)
- 20:36 14 jul 2018 (dif | hist) . . (+4) . . Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (edición actual)
- 20:35 14 jul 2018 (dif | hist) . . (+4) . . Tema 7b: Deducción natural proposicional con Isabelle/HOL (edición actual)
- 20:35 14 jul 2018 (dif | hist) . . (+4) . . Tema 6b: Verificación de la ordenación por mezcla (edición actual)
- 20:35 14 jul 2018 (dif | hist) . . (+4) . . Tema 6a: Verificación de la ordenación por inserción (edición actual)
- 20:34 14 jul 2018 (dif | hist) . . (+4) . . Tema 5: Razonamiento sobre árboles y bosques (edición actual)
- 20:34 14 jul 2018 (dif | hist) . . (+4) . . Tema 4: Razonamiento por casos y por inducción (edición actual)
- 20:33 14 jul 2018 (dif | hist) . . (+4) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (edición actual)
- 20:33 14 jul 2018 (dif | hist) . . (+4) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (edición actual)
- 20:32 14 jul 2018 (dif | hist) . . (+1) . . Tema 1: Programación funcional en Isabelle (edición actual)
- 20:32 14 jul 2018 (dif | hist) . . (+19) . . Tema 1: Programación funcional en Isabelle
- 20:31 14 jul 2018 (dif | hist) . . (+16) . . Tema 1: Programación funcional en Isabelle
- 20:31 14 jul 2018 (dif | hist) . . (-1) . . Tema 1: Programación funcional en Isabelle
- 20:23 14 jul 2018 (dif | hist) . . (+4) . . Tema 1: Programación funcional en Isabelle
- 20:18 14 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
- 20:16 14 jul 2018 (dif | hist) . . (-41) . . Razonamiento automático (2017-18) (edición actual)
- 07:42 10 feb 2018 (dif | hist) . . (0) . . m Relación 5 (Desprotegió «Relación 5»)
- 07:42 10 feb 2018 (dif | hist) . . (0) . . m Relación 4 (Desprotegió «Relación 4»)
- 07:41 10 feb 2018 (dif | hist) . . (0) . . m Relación 2 (Desprotegió «Relación 2»)
- 07:40 10 feb 2018 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 07:39 8 feb 2018 (dif | hist) . . (0) . . Tema 9: Caso de estudio: Compilación de expresiones
- 07:39 8 feb 2018 (dif | hist) . . (+8564) . . N Tema 9: Caso de estudio: Compilación de expresiones (Página creada con '<source lang="isar"> chapter {* Tema 9: Caso de estudio: Compilación de expresiones *} theory T7_Caso_de_estudio_Compilacion_de_expresiones imports Main begin declare [[name...')
- 07:37 8 feb 2018 (dif | hist) . . (0) . . Temas (edición actual)
- 07:36 8 feb 2018 (dif | hist) . . (+16 091) . . N Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL (Página creada con '<source lang="isar"> chapter {* Tema 8: Deducción natural en lógica de primer orden *} theory T8b_Deduccion_natural_en_logica_de_primer_orden imports Main begin text {* E...')
- 07:34 8 feb 2018 (dif | hist) . . (0) . . Temas
- 07:33 8 feb 2018 (dif | hist) . . (0) . . Temas
- 20:09 17 ene 2018 (dif | hist) . . (0) . . R7
- 20:09 17 ene 2018 (dif | hist) . . (0) . . Relación 7
- 20:07 17 ene 2018 (dif | hist) . . (+2790) . . N Relación 7 (Página creada con '<source lang="isar"> chapter {* R7: Deducción natural proposicional en Isabelle/HOL *} theory R8_Deduccion_natural_proposicional imports Main begin text {* Demostrar o ref...')
- 20:06 17 ene 2018 (dif | hist) . . (0) . . m R7 (Protegió «R7» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:06 17 ene 2018 (dif | hist) . . (+2790) . . N R7 (Página creada con '<source lang="isar"> chapter {* R7: Deducción natural proposicional en Isabelle/HOL *} theory R8_Deduccion_natural_proposicional imports Main begin text {* Demostrar o ref...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).