Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 12:59 29 nov 2018 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 14:27 23 nov 2018 (dif | hist) . . (0) . . m Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Protegió «Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 14:27 23 nov 2018 (dif | hist) . . (+27) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 23:58 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:33 22 nov 2018 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 11:33 22 nov 2018 (dif | hist) . . (+5269) . . N Relación 3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:32 22 nov 2018 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:32 22 nov 2018 (dif | hist) . . (+5269) . . N R3 (Página creada con «<source lang="isabelle"> chapter {* R3: Razonamiento sobre programas *} theory R3_Razonamiento_sobre_programas imports Main begin text {* -------------------------------…»)
- 11:30 22 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 11:29 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Eliminó la protección de «Relación 2»)
- 11:29 22 nov 2018 (dif | hist) . . (+17 745) . . Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL
- 11:28 22 nov 2018 (dif | hist) . . (+6061) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare na…»)
- 11:27 22 nov 2018 (dif | hist) . . (0) . . Temas
- 11:17 22 nov 2018 (dif | hist) . . (+102) . . Relación 2
- 11:06 22 nov 2018 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 09:09 16 nov 2018 (dif | hist) . . (+40) . . Documentación (→Artículos recientes)
- 15:38 15 nov 2018 (dif | hist) . . (+23) . . Relación 1
- 09:17 15 nov 2018 (dif | hist) . . (+3525) . . N R2 (Página creada con «<source lang="isabelle"> chapter {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2_Razonamiento_automatico_sobre_programas imports Main begin declare na…») (edición actual)
- 09:15 15 nov 2018 (dif | hist) . . (0) . . Ejercicios
- 09:15 15 nov 2018 (dif | hist) . . (0) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (edición actual)
- 09:14 15 nov 2018 (dif | hist) . . (+13 938) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con «<source lang="isabelle"> chapter {* Tema 2: Razonamiento automático sobre programas en Isabelle/HOL *} theory T2b_Razonamiento_automatico_sobre_programas_en_IsabelleHOL i…»)
- 09:05 15 nov 2018 (dif | hist) . . (0) . . Temas
- 09:04 15 nov 2018 (dif | hist) . . (+8) . . Relación 1
- 20:45 11 nov 2018 (dif | hist) . . (-4) . . Relación 1
- 20:45 11 nov 2018 (dif | hist) . . (-313) . . Relación 1
- 20:07 8 nov 2018 (dif | hist) . . (0) . . Relación 1
- 20:06 8 nov 2018 (dif | hist) . . (+5225) . . N Relación 1 (Página creada con «<source lanh="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…»)
- 20:58 7 nov 2018 (dif | hist) . . (+5176) . . N R1 (Página creada con «<source lang="isabelle"> chapter {* R1: Programación funcional en Isabelle *} theory R1_Programacion_funcional_en_Isabelle imports Main begin text {* ------------------…») (edición actual)
- 20:57 7 nov 2018 (dif | hist) . . (+1281) . . Ejercicios
- 20:55 7 nov 2018 (dif | hist) . . (+4) . . Tema 1: Programación funcional en Isabelle (edición actual)
- 20:54 7 nov 2018 (dif | hist) . . (+9095) . . N Tema 1: Programación funcional en Isabelle (Página creada con «<source lang="isar"> chapter {* Tema 1: Programación funcional en Isabelle *} theory T1_Programacion_funcional_en_Isabelle imports Main begin section {* Introducción *…»)
- 20:48 7 nov 2018 (dif | hist) . . (+1779) . . Temas
- 08:53 27 oct 2018 (dif | hist) . . (+475) . . Documentación
- 15:58 20 oct 2018 (dif | hist) . . (+146) . . Documentación (→Artículos recientes)
- 15:46 20 oct 2018 (dif | hist) . . (-8522) . . Documentación (→Artículos recientes)
- 15:41 20 oct 2018 (dif | hist) . . (-8569) . . Documentación" (→Artículos recientes) (edición actual)
- 15:32 20 oct 2018 (dif | hist) . . (+19 796) . . N Documentación" (Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Visiones generales de la DAO == # J.A. Alonso. [http://goo.gl…»)
- 15:30 20 oct 2018 (dif | hist) . . (+16) . . Razonamiento automático (2018-19) (edición actual)
- 13:34 20 oct 2018 (dif | hist) . . (+16) . . MediaWiki:Sidebar
- 12:54 20 oct 2018 (dif | hist) . . (+75) . . Sistemas
- 22:23 15 oct 2018 (dif | hist) . . (+325) . . 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/ra2018…»)
- 22:22 15 oct 2018 (dif | hist) . . (+81) . . N Sistemas (Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso»)
- 22:21 15 oct 2018 (dif | hist) . . (+19 796) . . N Documentación (Página creada con «En esta página se recogen en enlaces que sirven de documentación al curso de "Razonamiento automático" == Visiones generales de la DAO == # J.A. Alonso. [http://goo.gl…»)
- 22:20 15 oct 2018 (dif | hist) . . (+173) . . N Ejercicios (Página creada con «En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por los alumnos del curso y no deben tomarse como definitivas.»)
- 22:20 15 oct 2018 (dif | hist) . . (+75) . . N Temas (Página creada con «En esta página se irán publicando los temas conforme se vayan estudiando.»)
- 22:19 15 oct 2018 (dif | hist) . . (+2) . . Razonamiento automático (2018-19)
- 22:18 15 oct 2018 (dif | hist) . . (+583) . . N Razonamiento automático (2018-19) (Página creada con «Este sitio contiene materiales del curso ''Razonamiento automático'' del [http://master.cs.us.es/Máster_Universitario_en_Lógica,_Computación_e_Inteligencia_Artificial M…»)
- 22:16 15 oct 2018 (dif | hist) . . (+34) . . N MediaWiki:Mainpage (Página creada con «Razonamiento automático (2018-19)») (edición actual)
- 22:13 15 oct 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)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).