Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 08:31 14 mar 2013 (dif | hist) . . (+87) . . N Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL (Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL trasladada a Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL) (edición actual)
- 08:31 14 mar 2013 (dif | hist) . . (0) . . m Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL (Tema 4: Deducción natural en lógica de primer orden en Isabelle/HOL trasladada a Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL)
- 08:31 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:30 14 mar 2013 (dif | hist) . . (0) . . m Tema 1: Deducción natural proposicional con Isabelle/HOL (Tema 3: Deducción natural proposicional con Isabelle/HOL trasladada a Tema 1: Deducción natural proposicional con Isabelle/HOL)
- 08:30 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:30 14 mar 2013 (dif | hist) . . (0) . . m Tema 5: Razonamiento sobre programas (Tema 2: Razonamiento sobre programas trasladada a Tema 8: Razonamiento sobre programas)
- 08:29 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:29 14 mar 2013 (dif | hist) . . (0) . . m Tema 4: Programación funcional en Isabelle (Tema 1: Programación funcional en Isabelle trasladada a Tema 7: Programación funcional en Isabelle)
- 08:13 14 mar 2013 (dif | hist) . . (+56 326) . . N GLC T1R1 (Página creada con '<source lang="isar"> header {* T1R1: Deducción natural proposicional *} theory T1R1 imports Main begin text {* ------------------------------------------------------------...')
- 08:10 14 mar 2013 (dif | hist) . . (+25 174) . . N GLC T1 (Página creada con '<source lang="isar"> header {* Tema 1: Deducción natural proposicional con Isabelle/HOL *} theory T1 imports Main begin text {* En esta sección se presentan los ejemplos ...')
- 12:28 7 mar 2013 (dif | hist) . . (+126) . . Documentación (→Lógica computacional)
- 12:24 7 mar 2013 (dif | hist) . . (-1) . . Documentación (→Lógica computacional)
- 09:34 6 mar 2013 (dif | hist) . . (+31) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 09:33 6 mar 2013 (dif | hist) . . (+228) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 21:29 4 mar 2013 (dif | hist) . . (+201) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 21:27 4 mar 2013 (dif | hist) . . (0) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 21:26 4 mar 2013 (dif | hist) . . (-2) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 21:26 4 mar 2013 (dif | hist) . . (+69) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 20:20 4 mar 2013 (dif | hist) . . (0) . . m Rel 3 (Protegió «Rel 3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:20 4 mar 2013 (dif | hist) . . (-41) . . Rel 3
- 19:16 4 mar 2013 (dif | hist) . . (+486) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 21:32 27 feb 2013 (dif | hist) . . (-4) . . Documentación
- 21:31 27 feb 2013 (dif | hist) . . (0) . . Documentación (→Programación funcional)
- 21:30 27 feb 2013 (dif | hist) . . (+2116) . . Documentación
- 21:07 27 feb 2013 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 21:07 27 feb 2013 (dif | hist) . . (+13) . . MediaWiki:Sidebar
- 21:06 27 feb 2013 (dif | hist) . . (+50) . . MediaWiki:Sidebar
- 21:01 27 feb 2013 (dif | hist) . . (+186) . . Documentación
- 18:06 27 feb 2013 (dif | hist) . . (-20) . . Documentación (→Visiones generales de la DAO)
- 23:14 26 feb 2013 (dif | hist) . . (+8775) . . N Rel 4 (Página creada con '<source lang="isar"> header {* Relación 4: Argumentación proposicional *} theory R4 imports Main begin text {* -----------------------------------------------------------...') (edición actual)
- 23:12 26 feb 2013 (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 {* -----------------------------------------------------...')
- 23:11 26 feb 2013 (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 {* --------------------------------...')
- 23:10 26 feb 2013 (dif | hist) . . (+21 159) . . N Tema 6: Razonamiento por casos y por inducción en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 6: Razonamiento por casos y por inducción *} theory T6 imports Main Parity begin section {* Razonamiento por distinción de casos *} subs...')
- 23:08 26 feb 2013 (dif | hist) . . (+4047) . . N Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica (Página creada con '<source lang="isar"> header {* Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica *} theory T5 imports Main begin section {* Sintaxis (simplificada) de Isa...')
- 23:07 26 feb 2013 (dif | hist) . . (+11 928) . . N Tema 2: Deducción natural en lógica de primer orden en Isabelle/HOL (Página creada con '<source lang="isar"> header {* Tema 4: Deducción natural en lógica de primer orden *} theory T4 imports Main begin text {* En esta sección se presentan los ejemplos del ...')
- 23:06 26 feb 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 23:06 26 feb 2013 (dif | hist) . . (+225) . . Temas (→Temas de Demostración asistida por ordenador)
- 23:03 26 feb 2013 (dif | hist) . . (+1) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 23:03 26 feb 2013 (dif | hist) . . (+24 428) . . N Tema 1: Deducción natural proposicional con Isabelle/HOL (Página creada con '<source lang=isar"> header {* Tema 3: Deducción natural proposicional con Isabelle/HOL *} theory T3 imports Main begin text {* En esta sección se presentan los ejemplos d...')
- 23:02 26 feb 2013 (dif | hist) . . (+10 683) . . N Tema 5: Razonamiento sobre programas (Página creada con '<source lang="isar"> header {* Tema 2: Razonamiento sobre programas *} theory T2 imports Main begin text {* En este tema se demuestra con Isabelle las propiedades de los ...')
- 23:01 26 feb 2013 (dif | hist) . . (+9056) . . N Tema 4: 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 {* Esta notas son una introducci...')
- 21:31 26 feb 2013 (dif | hist) . . (+67) . . DAO (Demostración asistida por ordenador) (→Material para el curso)
- 21:24 26 feb 2013 (dif | hist) . . (+2565) . . N Documentación (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al seminario de demostración asistida por ordenador (DAO). == Visiones generales de la DAO == # J.A. Alonso...')
- 21:40 25 feb 2013 (dif | hist) . . (+5363) . . N RA12 Relación 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 {* ----------------------...')
- 20:46 25 feb 2013 (dif | hist) . . (+713) . . N Ejercicios RA2013 (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...')
- 20:42 25 feb 2013 (dif | hist) . . (+215) . . N Temas (Página creada con '== Temas de ''Demostración asistida por ordenador'' == * Tema 1: Programación funcional en Isabelle. * Tema 2: Razonamiento sobre programas. * [[Tema 3: Deducción nat...')
- 20:23 25 feb 2013 (dif | hist) . . (+366) . . N DAO (Demostración asistida por ordenador) (Página creada con '== Demostración asistida por ordenador == Este sitio contiene materiales de cursos sobre la demostración asistida por ordenador usando el sistema [http://www.cl.cam.ac.uk/rese...')
- 20:20 25 feb 2013 (dif | hist) . . (+4) . . MediaWiki:Sidebar
- 20:18 25 feb 2013 (dif | hist) . . (+42) . . N MediaWiki:Mainpage (Página creada con 'DAO (Demostración asistida por ordenador)') (edición actual)
- 20:17 25 feb 2013 (dif | hist) . . (+112) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-descriptions ** recentchanges-url|recentchanges * SEARCH * TOOLBOX * LANGUAGES')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).