Contribuciones del usuario
- 19:31 8 feb 2022 difs. hist. −162 Sistemas →Editores de pruebas por secuentes última
- 19:31 8 feb 2022 difs. hist. −188 Sistemas →Editores de pruebas por deducción natural
- 19:08 8 feb 2022 difs. hist. +23 Documentación →Ofertas de trabajo última
- 19:08 8 feb 2022 difs. hist. −11 Documentación →Ofertas de trabajo Etiqueta: Reversión manual
- 19:07 8 feb 2022 difs. hist. +11 Documentación →Ofertas de trabajo Etiqueta: Revertido
- 19:06 8 feb 2022 difs. hist. −341 Documentación →Bibliotecas de ejemplos de verificación
- 19:05 8 feb 2022 difs. hist. −136 Documentación →Otros cursos
- 19:03 8 feb 2022 difs. hist. +3 Documentación →Otros cursos
- 19:01 8 feb 2022 difs. hist. −267 Documentación →Cursos con Isabelle/HOL
- 18:59 8 feb 2022 difs. hist. −170 Documentación →Cursos con Isabelle/HOL
- 18:58 8 feb 2022 difs. hist. −135 Documentación →Cursos con Isabelle/HOL
- 18:58 8 feb 2022 difs. hist. −115 Documentación →Cursos con Isabelle/HOL
- 18:57 8 feb 2022 difs. hist. −21 Documentación →Lógica computacional
- 18:56 8 feb 2022 difs. hist. −126 Documentación →Lógica computacional
- 17:51 8 feb 2022 difs. hist. +3 Documentación →Programación funcional
- 17:50 8 feb 2022 difs. hist. −392 Documentación →Referencias sobre Isabelle/HOL
- 15:24 8 feb 2022 difs. hist. +17 Documentación →Referencias sobre Isabelle/HOL
- 15:21 8 feb 2022 difs. hist. −21 Documentación →Visiones generales de la DAO
- 15:17 8 feb 2022 difs. hist. +10 Documentación →Visiones generales de la DAO
- 15:15 8 feb 2022 difs. hist. +77 Documentación →Visiones generales de la DAO
- 15:04 8 feb 2022 difs. hist. 0 Documentación →Visiones generales de la DAO
- 15:01 8 feb 2022 difs. hist. −21 Documentación →Visiones generales de la DAO
- 19:55 13 sep 2021 difs. hist. +1 R3 última
- 16:46 24 jul 2021 difs. hist. −389 Ejercicios última
- 16:44 24 jul 2021 difs. hist. −43 Ejercicios
- 21:42 5 mar 2020 difs. hist. −90 Ejercicios
- 16:19 13 feb 2020 difs. hist. 0 m Tema 11: Verificación de la ordenación por inserción Protegió «Tema 11: Verificación de la ordenación por inserción» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 16:19 13 feb 2020 difs. hist. +1 Tema 11: Verificación de la ordenación por inserción
- 16:18 13 feb 2020 difs. hist. +12 368 N Tema 11: Verificación de la ordenación por inserción Página creada con «<soure lang="isabelle"> chapter ‹T11: Verificación de la ordenación por inserción› theory T11_Verificacion_de_la_ordenacion_por_insercion imports Main begin text…»
- 16:17 13 feb 2020 difs. hist. 0 m Tema 10: Caso de estudio: Compilación de expresiones Protegió «Tema 10: Caso de estudio: Compilación de expresiones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 16:17 13 feb 2020 difs. hist. +9221 N Tema 10: Caso de estudio: Compilación de expresiones Página creada con «<source lang="isabelle"> chapter ‹Tema 10: Caso de estudio: Compilación de expresiones› theory T10_Caso_de_estudio_Compilacion_de_expresiones imports Main begin dec…»
- 16:16 13 feb 2020 difs. hist. −21 Temas última
- 16:14 13 feb 2020 difs. hist. 0 m R10 Protegió «R10» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última
- 16:13 13 feb 2020 difs. hist. +5962 N R10 Página creada con «<source lang="isabelle"> chapter ‹R10: Verificación de la ordenación por mezcla› theory R10_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text ‹En e…»
- 16:12 13 feb 2020 difs. hist. +133 Ejercicios
- 13:09 6 feb 2020 difs. hist. +19 Reducción de SAT a Clique en Haskell última
- 12:59 6 feb 2020 difs. hist. +13 El problema Clique en Haskel última
- 12:30 6 feb 2020 difs. hist. 0 Temas
- 12:27 6 feb 2020 difs. hist. +1409 N Comparaciones de algoritmos de SAT Página creada con «<source lang="haskell"> -- SAT_DP_Clique.hs -- Comparación de algoritmos de satisfacibilidad. -- José A. Alonso Jiménez -- Sevilla, 6 de febrero de 2020 -- -------------…» última
- 12:26 6 feb 2020 difs. hist. +6464 N Reducción de SAT a Clique en Haskell Página creada con «<source lang="haskell"> -- SAT_Clique.hs -- Reducción de SAT a Clique. -- José A. Alonso Jiménez -- Sevilla, 6 de febrero de 2020 -- ------------------------------------…»
- 12:25 6 feb 2020 difs. hist. +5372 N El problema Clique en Haskel Página creada con «<source lang="haskell"> -- Cliques.hs -- El problema del clique. -- José A. Alonso Jiménez -- Sevilla, 6 de febrero de 2020 -- -------------------------------------------…»
- 12:24 6 feb 2020 difs. hist. +12 233 N El algoritmo de Davis-Putnam en Haskell Página creada con «<source lang="haskell"> -- DavisPutnam.hs -- El procedimiento de Davis y Putnam para SAT -- José A. Alonso Jiménez <jalonso@us,es> -- Sevilla, 4 de febrero de 2020 -- ---…» última
- 12:23 6 feb 2020 difs. hist. +12 372 N El problema SAT en Haskell Página creada con «<source lang="haskell"> -- SAT.hs -- El problema SAT para fóemulas en FNC. -- José A. Alonso Jiménez <jalonso@us,es> -- Sevilla, 4 de febrero de 2020 -- ----------------…» última
- 12:22 6 feb 2020 difs. hist. +27 Temas
- 12:18 6 feb 2020 difs. hist. +429 Temas
- 07:50 21 ene 2020 difs. hist. +2 Temas →RA y SAT
- 07:49 21 ene 2020 difs. hist. +8 Temas
- 07:47 21 ene 2020 difs. hist. −1 Temas
- 07:46 21 ene 2020 difs. hist. +121 Temas
- 15:04 16 ene 2020 difs. hist. 0 m R9 Protegió «R9» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)) última