Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)- 21:31 15 jul 2018 (dif | hist) . . (+2) . . Rel 12 (e) (edición actual)
- 21:30 15 jul 2018 (dif | hist) . . (+4) . . Rel 11 (e) (edición actual)
- 21:30 15 jul 2018 (dif | hist) . . (+4) . . Rel 10 (e) (edición actual)
- 21:30 15 jul 2018 (dif | hist) . . (+4) . . Rel 9 (e) (edición actual)
- 21:29 15 jul 2018 (dif | hist) . . (+4) . . Rel 8 (e) (edición actual)
- 21:29 15 jul 2018 (dif | hist) . . (+4) . . R7 (edición actual)
- 21:29 15 jul 2018 (dif | hist) . . (+4) . . R6 (edición actual)
- 21:28 15 jul 2018 (dif | hist) . . (+4) . . R5 (edición actual)
- 21:27 15 jul 2018 (dif | hist) . . (+4) . . R4 (edición actual)
- 21:27 15 jul 2018 (dif | hist) . . (+4) . . R3 (edición actual)
- 21:27 15 jul 2018 (dif | hist) . . (-1) . . Ejercicios (→Relaciones de ejercicios propuestos) (edición actual)
- 21:27 15 jul 2018 (dif | hist) . . (+4) . . R2 (edición actual)
- 21:26 15 jul 2018 (dif | hist) . . (+4) . . R1 (edición actual)
- 21:26 15 jul 2018 (dif | hist) . . (-1876) . . Ejercicios (→Relaciones de ejercicios)
- 21:20 15 jul 2018 (dif | hist) . . (+4) . . Tema 15(c): interpretaciones locales. (edición actual)
- 21:19 15 jul 2018 (dif | hist) . . (+4) . . Tema 15(b): sustitución de definiciones. (edición actual)
- 21:19 15 jul 2018 (dif | hist) . . (+4) . . Tema 15(a): sustitución de parámetros. (edición actual)
- 21:19 15 jul 2018 (dif | hist) . . (+4) . . Tema 14: Razonamiento modular (II): Órdenes y retículos. (edición actual)
- 21:19 15 jul 2018 (dif | hist) . . (+4) . . Tema 13: Razonamiento modular (I): Teoría de grupos. (edición actual)
- 21:18 15 jul 2018 (dif | hist) . . (+4) . . Tema 12: Definiciones inductivas en Isabelle/HOL. Caso de estudio: clausura reflexiva transitiva. (edición actual)
- 21:18 15 jul 2018 (dif | hist) . . (+4) . . Tema 11: Métodos de demostración. (edición actual)
- 21:18 15 jul 2018 (dif | hist) . . (+4) . . Tema 10: Conjuntos, funciones y relaciones. (edición actual)
- 21:17 15 jul 2018 (dif | hist) . . (+4) . . Tema 9: Razonamiento por casos e inducción. (edición actual)
- 21:17 15 jul 2018 (dif | hist) . . (+4) . . Tema 8: Razonamiento sobre programas en Isabelle/HOL. (edición actual)
- 21:17 15 jul 2018 (dif | hist) . . (+4) . . Tema 7: Programación funcional en Isabelle/HOL. (edición actual)
- 21:16 15 jul 2018 (dif | hist) . . (+4) . . Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL (edición actual)
- 21:16 15 jul 2018 (dif | hist) . . (+4) . . Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL (edición actual)
- 21:15 15 jul 2018 (dif | hist) . . (-54) . . Demostración automática de teoremas (2014-15) (→Demostración automática de teoremas (2014-15)) (edición actual)
- 21:15 15 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)