Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 20:47 22 mar 2015 (dif | hist) . . (0) . . m Tema 7: Programación funcional en Isabelle/HOL. (Protegió «Tema 7: Programación funcional en Isabelle/HOL.» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:47 22 mar 2015 (dif | hist) . . (0) . . m R4 (Protegió «R4» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:46 22 mar 2015 (dif | hist) . . (0) . . m R3 (Protegió «R3» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:46 22 mar 2015 (dif | hist) . . (+5031) . . N Relación 4 (Página creada con '<source lang = "isar"> header {* R4: Razonamiento sobre programas en Isabelle/HOL *} theory R4 imports Main begin text {* ----------------------------------------------------...')
- 20:46 22 mar 2015 (dif | hist) . . (+5031) . . N R4 (Página creada con '<source lang = "isar"> header {* R4: Razonamiento sobre programas en Isabelle/HOL *} theory R4 imports Main begin text {* ----------------------------------------------------...')
- 20:43 22 mar 2015 (dif | hist) . . (+5730) . . N Relación 3 (Página creada con '<source lang = "isar"> header {* R3 Programación funcional en Isabelle *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 20:43 22 mar 2015 (dif | hist) . . (+5730) . . N R3 (Página creada con '<source lang = "isar"> header {* R3 Programación funcional en Isabelle *} theory R3 imports Main begin text {* --------------------------------------------------------------...')
- 20:42 22 mar 2015 (dif | hist) . . (+345) . . Ejercicios (→Relaciones de ejercicios propuestos)
- 20:40 22 mar 2015 (dif | hist) . . (+22 545) . . N Tema 8: Razonamiento sobre programas en Isabelle/HOL. (Página creada con '<source lang = "isar"> header {* Tema 8: Razonamiento sobre programas *} theory T8 imports Main begin text {* En este tema se demuestra con Isabelle las propiedades de los...')
- 20:39 22 mar 2015 (dif | hist) . . (+8124) . . N Tema 7: Programación funcional en Isabelle/HOL. (Página creada con '<source lang = "isar"> header {* Tema 7: Programación funcional en Isabelle *} theory T7 imports Main begin section {* Introducción *} text {* En este tema se presenta el ...')
- 20:38 22 mar 2015 (dif | hist) . . (+96) . . Temas
- 12:16 16 mar 2015 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 12:16 16 mar 2015 (dif | hist) . . (+13 906) . . N Relación 2 (Página creada con '<source lang = "isar"> header {* R2: Deducción natural de primer orden *} theory R2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 12:16 16 mar 2015 (dif | hist) . . (+13 906) . . N R2 (Página creada con '<source lang = "isar"> header {* R2: Deducción natural de primer orden *} theory R2 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las re...')
- 12:15 16 mar 2015 (dif | hist) . . (+192) . . Ejercicios
- 20:17 11 mar 2015 (dif | hist) . . (+15 985) . . N Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL (Página creada con '<source lang = "isar"> header {* Tema 6: Deducción natural en lógica de primer orden *} theory T6 imports Main begin text {* El objetivo de este tema es presentar la ded...')
- 20:12 11 mar 2015 (dif | hist) . . (+47) . . Temas
- 14:53 2 mar 2015 (dif | hist) . . (+17 716) . . N Relación 1 (Página creada con '<source lang = "isar"> header {* R1: Deducción natural proposicional *} theory Rel_1 imports Main begin text {* -----------------------------------------------------------...')
- 14:53 2 mar 2015 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 14:53 2 mar 2015 (dif | hist) . . (+1) . . R1
- 14:52 2 mar 2015 (dif | hist) . . (+17 715) . . N R1 (Página creada con '<source lang = "isar" header {* R1: Deducción natural proposicional *} theory Rel_1 imports Main begin text {* ------------------------------------------------------------...')
- 14:50 2 mar 2015 (dif | hist) . . (+136) . . Ejercicios
- 10:36 27 feb 2015 (dif | hist) . . (-4645) . . Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL
- 10:35 27 feb 2015 (dif | hist) . . (+4678) . . Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL
- 10:32 27 feb 2015 (dif | hist) . . (+25 148) . . N Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL (Página creada con 'header {* Tema 3: Deducción natural proposicional con Isabelle/HOL *} theory T3 imports Main begin text {* En este tema se presentan los ejemplos del tema de deducción na...')
- 10:31 27 feb 2015 (dif | hist) . . (+4) . . Temas
- 12:50 20 feb 2015 (dif | hist) . . (0) . . Temas
- 12:48 20 feb 2015 (dif | hist) . . (-15) . . Documentación (→Visiones generales)
- 11:47 20 feb 2015 (dif | hist) . . (+40) . . Temas
- 11:46 20 feb 2015 (dif | hist) . . (+304) . . Documentación (→Visiones generales)
- 11:36 20 feb 2015 (dif | hist) . . (+9) . . Documentación
- 11:35 20 feb 2015 (dif | hist) . . (-85) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 11:31 20 feb 2015 (dif | hist) . . (-183) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 11:28 20 feb 2015 (dif | hist) . . (-28) . . Documentación (→Cursos relacionados)
- 11:27 20 feb 2015 (dif | hist) . . (-1) . . Documentación (→Cursos con Isabelle/HOL)
- 11:26 20 feb 2015 (dif | hist) . . (-2525) . . Documentación (→Cursos con Isabelle/HOL)
- 11:11 20 feb 2015 (dif | hist) . . (+9) . . Documentación
- 11:10 20 feb 2015 (dif | hist) . . (-115) . . Documentación (→Referencias sobre Isabelle/HOL)
- 11:08 20 feb 2015 (dif | hist) . . (-1158) . . Documentación (→Visiones generales)
- 10:31 20 feb 2015 (dif | hist) . . (+17) . . Temas
- 10:28 20 feb 2015 (dif | hist) . . (+559) . . Temas
- 23:43 19 feb 2015 (dif | hist) . . (+316) . . Temas
- 23:41 19 feb 2015 (dif | hist) . . (+108) . . Temas
- 21:48 19 feb 2015 (dif | hist) . . (-129) . . Documentación
- 21:28 19 feb 2015 (dif | hist) . . (+1) . . Documentación
- 21:26 19 feb 2015 (dif | hist) . . (+66) . . N Temas (Página creada con '== Temas de ''Demostración automática de teoremas (2014-15)'' ==')
- 21:24 19 feb 2015 (dif | hist) . . (+250) . . N Ejercicios (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
- 21:03 19 feb 2015 (dif | hist) . . (+227) . . N Sistemas (Página creada con '== Sistemas utilizados en ''Demostración automática de teoremas (2014-15)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www...') (edición actual)
- 21:02 19 feb 2015 (dif | hist) . . (-401) . . Documentación
- 20:59 19 feb 2015 (dif | hist) . . (+19 860) . . 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 automática de teoremas (DAT). == Visiones generales == # J. Avigad. [http://www.a...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).