Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:55 15 jul 2018 (dif | hist) . . (+4) . . Rel 4 (edición actual)
- 20:55 15 jul 2018 (dif | hist) . . (+4) . . Rel 3 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (+4) . . Rel 2 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (+4) . . Rel 1 (edición actual)
- 20:54 15 jul 2018 (dif | hist) . . (-168) . . Ejercicios (edición actual)
- 20:53 15 jul 2018 (dif | hist) . . (+4) . . Tema 4: Deducción natural proposicional con Isabelle/HOL (edición actual)
- 20:52 15 jul 2018 (dif | hist) . . (+4) . . Tema 3: Razonamiento sobre programas (edición actual)
- 20:52 15 jul 2018 (dif | hist) . . (+4) . . Tema 2: Programación funcional en Isabelle (edición actual)
- 20:52 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)
- 12:33 7 mar 2013 (dif | hist) . . (+228) . . Relación 3
- 10:01 27 dic 2012 (dif | hist) . . (+183) . . Documentación (→Visiones generales de la DAO) (edición actual)
- 12:20 26 dic 2012 (dif | hist) . . (0) . . Documentación (→Visiones generales de la DAO)
- 12:20 26 dic 2012 (dif | hist) . . (+733) . . Documentación (→Visiones generales de la DAO)
- 12:11 26 dic 2012 (dif | hist) . . (+15) . . Documentación (→Visiones generales de la DAO)
- 12:11 26 dic 2012 (dif | hist) . . (+148) . . Documentación (→Visiones generales de la DAO)
- 18:08 19 dic 2012 (dif | hist) . . (+1) . . Relación 3
- 16:33 19 dic 2012 (dif | hist) . . (+23 350) . . N Tema 4: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural proposicional con Isabelle/HOL *} theory DNLP imports Main begin text {* En esta sección se presentan los ejemplo...')
- 16:32 19 dic 2012 (dif | hist) . . (+65) . . Temas (edición actual)
- 23:55 18 dic 2012 (dif | hist) . . (0) . . m Rel 4 (Protegió «Rel 4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 23:55 18 dic 2012 (dif | hist) . . (+8775) . . N Relación 4 (Página creada con '<source lang="isar"> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* -----------------------------------------------------------...')
- 23:54 18 dic 2012 (dif | hist) . . (+1) . . Rel 4
- 23:54 18 dic 2012 (dif | hist) . . (+8774) . . N Rel 4 (Página creada con '<source lang="isar> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* ------------------------------------------------------------...')
- 23:52 18 dic 2012 (dif | hist) . . (+117) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 19:48 18 dic 2012 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 19:48 18 dic 2012 (dif | hist) . . (+17 754) . . N Relación 3 (Página creada con '<source lang="isar"> header {* Relación 3: Deducción natural proposicional *} theory DNLP imports Main begin text {* -----------------------------------------------------...')
- 19:47 18 dic 2012 (dif | hist) . . (+17 755) . . N Rel 3 (Página creada con '<source lang="isar"> header {* Relación 3: Deducción natural proposicional *} theory DNLP imports Main begin text {* -----------------------------------------------------...')
- 19:46 18 dic 2012 (dif | hist) . . (+121) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 19:07 18 dic 2012 (dif | hist) . . (-11) . . Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL (edición actual)
- 19:03 18 dic 2012 (dif | hist) . . (+23 361) . . N Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural en lógica proposicional con Isabelle/HOL *} theory DNLP imports Main begin text {* En esta sección se presentan ...')
- 18:56 28 nov 2012 (dif | hist) . . (-4) . . Relación 1
- 18:51 27 nov 2012 (dif | hist) . . (+5050) . . N Relación 2 (Página creada con '<source lang="isar"> header {* Relación 2: Razonamiento sobre programas *} theory R2_Razonamiento_sobre_programas imports Main begin text {* --------------------------------...')
- 18:51 27 nov 2012 (dif | hist) . . (0) . . m Rel 2 (Protegió «Rel 2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:50 27 nov 2012 (dif | hist) . . (+5050) . . N Rel 2 (Página creada con '<source lang="isar"> header {* Relación 2: Razonamiento sobre programas *} theory R2_Razonamiento_sobre_programas imports Main begin text {* --------------------------------...')
- 18:36 27 nov 2012 (dif | hist) . . (+117) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 18:34 27 nov 2012 (dif | hist) . . (0) . . m Tema 3: Razonamiento sobre programas (Protegió «Tema 3: Razonamiento sobre programas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:34 27 nov 2012 (dif | hist) . . (+8) . . Tema 3: Razonamiento sobre programas
- 18:34 27 nov 2012 (dif | hist) . . (+10 754) . . N Tema 3: Razonamiento sobre programas (Página creada con '<source lang="isar"> header {* Razonamiento sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demuestra con Isabelle las...')
- 18:27 27 nov 2012 (dif | hist) . . (+3) . . Tema 2: Programación funcional en Isabelle
- 18:22 27 nov 2012 (dif | hist) . . (0) . . m Tema 2: Programación funcional en Isabelle (Protegió «Tema 2: Programación funcional en Isabelle» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:18 27 nov 2012 (dif | hist) . . (0) . . m Rel 1 (Protegió «Rel 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:18 27 nov 2012 (dif | hist) . . (+5363) . . N Rel 1 (Página creada con '<source lang="isar"> header {* Relación 1: Programación funcional en Isabelle *} theory Programacion_funcional_en_Isabelle imports Main begin text {* ----------------------...')
- 18:16 27 nov 2012 (dif | hist) . . (-28) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 18:12 27 nov 2012 (dif | hist) . . (+5328) . . N Relación 1 (Página creada con '<source lang="isar"> header {* Definición de funciones *} theory Definicion_de_funciones imports Main begin text {* ---------------------------------------------------------...')
- 18:10 27 nov 2012 (dif | hist) . . (+18) . . Ejercicios (→Ejercicios de Demostración asistida por ordenador)
- 18:07 27 nov 2012 (dif | hist) . . (+368) . . N Ejercicios (Página creada con '== Ejercicios de ''Demostración asistida por ordenador'' == En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma colaborativa por l...')
- 18:04 27 nov 2012 (dif | hist) . . (-152) . . Tema 2: Programación funcional en Isabelle
- 18:02 27 nov 2012 (dif | hist) . . (+31) . . Tema 2: Programación funcional en Isabelle
- 18:01 27 nov 2012 (dif | hist) . . (+9209) . . N Tema 2: Programación funcional en Isabelle (Página creada con 'header {* Tema 2: Programación funcional en Isabelle *} theory Programacion_funcional_en_Isabelle imports Main begin section {* Introducción *} text {* Esta notas son una ...')
- 17:59 27 nov 2012 (dif | hist) . . (-165) . . Temas (→Temas de Demostración asistida por ordenador)
- 00:01 24 nov 2012 (dif | hist) . . (+2) . . Documentación (→Visiones generales del DAO)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).