Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 13:13 16 jul 2018 (dif | hist) . . (-814) . . Ejercicios (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 6a: Verificación de la ordenación por inserción (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 6b: Verificación de la ordenación por mezcla (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 8b: Deducción natural proposicional con Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 4: Razonamiento por casos y por inducción (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 5: Razonamiento sobre árboles y bosques (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 1: Programación funcional en Isabelle (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 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)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Tema 10: Conjuntos, funciones y relaciones (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 7 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 8 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 9 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 5 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 6 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 10 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 2 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 3 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R8 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R9 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m Relación 1 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R5 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R6 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R7 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+8) . . m Documentación (Texto reemplazado: «isar» por «isabelle»)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R10 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R3 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:11 16 jul 2018 (dif | hist) . . (+4) . . m R4 (Texto reemplazado: «isar» por «isabelle») (edición actual)
- 13:07 16 jul 2018 (dif | hist) . . (+4) . . m R2 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:07 16 jul 2018 (dif | hist) . . (+4) . . m Tema 7: Caso de estudio: Compilación de expresiones (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:06 16 jul 2018 (dif | hist) . . (+4) . . m R1 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:05 16 jul 2018 (dif | hist) . . (+4) . . m Relación 4 (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:05 16 jul 2018 (dif | hist) . . (+4) . . m Tema 9b: Deducción natural en lógica de primer orden con Isabelle/HOL (Texto reemplazado: «"isar"» por «"isabelle"») (edición actual)
- 13:03 16 jul 2018 (dif | hist) . . (-41) . . Razonamiento automático (2016-17) (→Razonamiento automático (2016-17)) (edición actual)
- 13:03 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)
- 15:48 15 oct 2016 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 15:48 15 oct 2016 (dif | hist) . . (+20 511) . . N Documentación (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al curso de demostración asistida por ordenador (DAO). == Visiones generales de la DAO == # J.A. Alonso. [h...')
- 15:47 15 oct 2016 (dif | hist) . . (+1615) . . N Ejercicios (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
- 15:45 15 oct 2016 (dif | hist) . . (+1525) . . N Temas (Página creada con '== Temas de ''Razonamiento automático (2014-15)'' == <!-- * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas: ** [http://www.cs.us.es/~ja...')
- 15:44 15 oct 2016 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con 'Razonamiento automático (2016-17)') (edición actual)
- 15:43 15 oct 2016 (dif | hist) . . (+245) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** http://www.glc.us.es/~jalonso/vestigium/tag/ra2014|Diar...')