Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 21:07 16 jul 2018 (dif | hist) . . (-41) . . Razonamiento automático (2013-14) (edición actual)
- 17:48 16 jul 2018 (dif | hist) . . (-728) . . Ejercicios (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 6b: Deducción natural proposicional con Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 8: Caso de estudio: Compilación de expresiones (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 4: Razonamiento por casos y por inducción (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 5a: Verificación de la ordenación por inserción (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 5b: Verificación de la ordenación por mezcla (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 1: Programación funcional en Isabelle (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 8 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 9 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 6 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 7 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 3 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 4 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 5 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 12 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 2 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 10 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 11 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R7 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R8 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R9 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Relación 1 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R4 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R5 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R6 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R11 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R12 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R2 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R3 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m Documentación (Texto reemplazado: «isar» por «isabelle»)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R1 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:46 16 jul 2018 (dif | hist) . . (+4) . . m R10 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 17:45 16 jul 2018 (dif | hist) . . (-54) . . Temas
- 17:44 16 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)
- 17:48 23 oct 2013 (dif | hist) . . (0) . . m Razonamiento automático (2013-14) (Protegió «Razonamiento automático (2013-14)» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 17:46 23 oct 2013 (dif | hist) . . (-10) . . Razonamiento automático (2013-14) (→Relaciones de ejercicios propuestos)
- 17:42 23 oct 2013 (dif | hist) . . (+142) . . Razonamiento automático (2013-14) (→Relaciones de ejercicios propuestos)
- 17:29 22 oct 2013 (dif | hist) . . (+111) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges * SEARCH * TOOLBOX * LANGUAGES')
- 17:28 22 oct 2013 (dif | hist) . . (+382) . . N Razonamiento automático (2013-14) (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios corregidos === En esta sección se encuentran las relaciones de ejercicios corregidos en las clases. === Relacione...')
- 17:26 22 oct 2013 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2013-14)') (edición actual)