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:50 14 mar 2013 (dif | hist) . . (+11) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 08:49 14 mar 2013 (dif | hist) . . (0) . . m RA12 Relación 1 (Rel 1 trasladada a RA12 Relación 1)
- 08:45 14 mar 2013 (dif | hist) . . (+12 902) . . RA12 Relación 1
- 08:41 14 mar 2013 (dif | hist) . . (-559) . . Ejercicios RA2013 (→Ejercicios de Demostración asistida por ordenador)
- 08:37 14 mar 2013 (dif | hist) . . (+11) . . Tema 1: Deducción natural proposicional con Isabelle/HOL
- 08:36 14 mar 2013 (dif | hist) . . (+10) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:34 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:34 14 mar 2013 (dif | hist) . . (0) . . m Tema 5: Razonamiento sobre programas (Tema 8: Razonamiento sobre programas trasladada a Tema 5: Razonamiento sobre programas)
- 08:33 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:33 14 mar 2013 (dif | hist) . . (0) . . m Tema 4: Programación funcional en Isabelle (Tema 7: Programación funcional en Isabelle trasladada a Tema 4: Programación funcional en Isabelle)
- 08:32 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 08:32 14 mar 2013 (dif | hist) . . (0) . . m Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica (Tema 5: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica trasladada a Tema 3: Resumen del lenguaje Isabelle/Isar y las reglas de la lógica)
- 08:31 14 mar 2013 (dif | hist) . . (0) . . Temas (→Temas de Demostración asistida por ordenador)
- 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) . . (+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) . . 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)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).