Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 21:35 27 nov 2013 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:35 27 nov 2013 (dif | hist) . . (+1769) . . N R4 (Página creada con '<source lang="isar"> header {* R4: Cons inverso *} theory R4 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1...')
- 21:33 27 nov 2013 (dif | hist) . . (+99) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 21:14 27 nov 2013 (dif | hist) . . (0) . . m Tema 4: Razonamiento por casos y por inducción (Protegió «Tema 4: Razonamiento por casos y por inducción» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:14 27 nov 2013 (dif | hist) . . (-39) . . Tema 4: Razonamiento por casos y por inducción
- 21:14 27 nov 2013 (dif | hist) . . (+25 163) . . N Tema 4: Razonamiento por casos y por inducción (Página creada con '<source lang="isar"> header {* Tema 4: Razonamiento por casos y por inducción *} theory T4_Razonamiento_por_casos_y_por_induccion imports Main Parity begin text {* En este ...')
- 21:12 27 nov 2013 (dif | hist) . . (+55) . . Temas (→Temas de Razonamiento automático (2013-14))
- 18:27 27 nov 2013 (dif | hist) . . (+56) . . Relación 3
- 13:29 21 nov 2013 (dif | hist) . . (+5028) . . N Relación 3 (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
- 13:29 21 nov 2013 (dif | hist) . . (+5028) . . N R3 (Página creada con '<source lang="isar"> header {* R3: Razonamiento sobre programas en Isabelle/HOL *} theory R3 imports Main begin text {* ------------------------------------------------------...')
- 13:27 21 nov 2013 (dif | hist) . . (+144) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 13:22 21 nov 2013 (dif | hist) . . (+22 981) . . N Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 3: Razonamiento sobre programas *} theory T3_Razonamiento_sobre_programas imports Main begin text {* En este tema se demuestra con Isab...')
- 13:17 21 nov 2013 (dif | hist) . . (+73) . . Temas
- 08:38 14 nov 2013 (dif | hist) . . (+5028) . . N Relación 2 (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
- 08:37 14 nov 2013 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:37 14 nov 2013 (dif | hist) . . (+5028) . . N R2 (Página creada con '<source lang="isar"> header {* R2: Razonamiento sobre programas en Isabelle/HOL *} theory R2 imports Main begin text {* ------------------------------------------------------...')
- 08:35 14 nov 2013 (dif | hist) . . (+143) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 08:34 14 nov 2013 (dif | hist) . . (+28) . . Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL
- 08:33 14 nov 2013 (dif | hist) . . (0) . . m Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Protegió «Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:33 14 nov 2013 (dif | hist) . . (+12 537) . . N Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 2: Razonamiento sobre programas *} theory T2_Razonamiento_sobre_programas imports Main begin text {* En este tema se demuestra con Isab...')
- 08:30 14 nov 2013 (dif | hist) . . (+2) . . Temas (→Temas de Razonamiento automático (2013-14))
- 08:30 14 nov 2013 (dif | hist) . . (-1) . . Temas (→Temas de Razonamiento automático (2013-14))
- 08:30 14 nov 2013 (dif | hist) . . (+180) . . Temas (→Temas de Razonamiento automático (2013-14))
- 18:53 9 nov 2013 (dif | hist) . . (+15) . . Relación 1
- 18:50 9 nov 2013 (dif | hist) . . (+37) . . Relación 1
- 18:45 9 nov 2013 (dif | hist) . . (-136) . . Relación 1
- 18:37 9 nov 2013 (dif | hist) . . (-49) . . R1
- 18:35 9 nov 2013 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 08:43 9 nov 2013 (dif | hist) . . (+2) . . R1
- 08:42 9 nov 2013 (dif | hist) . . (+405) . . R1
- 08:34 9 nov 2013 (dif | hist) . . (+994) . . Relación 1
- 19:34 7 nov 2013 (dif | hist) . . (+5322) . . N Relación 1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 19:32 7 nov 2013 (dif | hist) . . (+5322) . . N R1 (Página creada con '<source lang="isar"> header {* R1: Programación funcional en Isabelle *} theory R1 imports Main begin text {* ---------------------------------------------------------------...')
- 21:29 6 nov 2013 (dif | hist) . . (0) . . m Documentación (Protegió «Documentación» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:29 6 nov 2013 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:28 6 nov 2013 (dif | hist) . . (0) . . m Ejercicios (Protegió «Ejercicios» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 21:27 6 nov 2013 (dif | hist) . . (+2) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 21:26 6 nov 2013 (dif | hist) . . (+124) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 10:06 28 oct 2013 (dif | hist) . . (-132) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 10:04 28 oct 2013 (dif | hist) . . (+211) . . N Sistemas (Página creada con '== Temas utilizados en ''Razonamiento automático (2013-14)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk/re...') (edición actual)
- 10:02 28 oct 2013 (dif | hist) . . (+37) . . Razonamiento automático (2013-14) (→Material para el curso)
- 08:28 24 oct 2013 (dif | hist) . . (-754) . . Tema 1: Programación funcional en Isabelle
- 08:22 24 oct 2013 (dif | hist) . . (+31) . . Razonamiento automático (2013-14)
- 08:05 24 oct 2013 (dif | hist) . . (+31) . . MediaWiki:Sidebar (edición actual)
- 08:04 24 oct 2013 (dif | hist) . . (+13 187) . . 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...')
- 08:02 24 oct 2013 (dif | hist) . . (+8902) . . N Tema 1: Programación funcional en Isabelle (Página creada con '<source lang="isar"> header {* Tema 1: Programación funcional en Isabelle *} theory T1 imports Main begin section {* Introducción *} text {* En este tema se presenta el...')
- 08:00 24 oct 2013 (dif | hist) . . (+104) . . N Temas (Página creada con '== Temas de ''Razonamiento automático (2013-14)'' == * Tema 1: Programación funcional en Isabelle.')
- 07:58 24 oct 2013 (dif | hist) . . (+42) . . Razonamiento automático (2013-14)
- 07:54 24 oct 2013 (dif | hist) . . (+514) . . N Ejercicios (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...')
- 07:53 24 oct 2013 (dif | hist) . . (+103) . . MediaWiki:Sidebar
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).