![Lógica matemática y fundamentos [Curso 2019-20]](/~jalonso/imagenes/logoUS.jpg)
Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:54 21 may 2020 (dif | hist) . . (0) . . m Rel 13 (sol) (Protegió «Rel 13 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:54 21 may 2020 (dif | hist) . . (+26 059) . . N Rel 13 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹R13: Recorridos de árboles› theory R13_sol imports Main begin text ‹---------------------------------------------------------…»)
- 11:54 21 may 2020 (dif | hist) . . (+235) . . Ejercicios
- 13:31 20 may 2020 (dif | hist) . . (-81) . . Ejercicios
- 13:28 20 may 2020 (dif | hist) . . (+82) . . Ejercicios
- 18:07 18 may 2020 (dif | hist) . . (0) . . m T2 sol (Protegió «T2 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 18:07 18 may 2020 (dif | hist) . . (+6993) . . N T2 sol (Página creada con «<source lang ="isabelle"> text ‹Ejercicio 2 de Lógica Matemática y Fundamentos (12-mayo-2020)› theory Ejercicio_2_sol imports Main begin lemma notnotI: "P ⟹ ¬¬…»)
- 18:06 18 may 2020 (dif | hist) . . (0) . . m T2 (Protegió «T2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 18:06 18 may 2020 (dif | hist) . . (+6994) . . N T2 (Página creada con «<source lang = "isabelle"> text ‹Ejercicio 2 de Lógica Matemática y Fundamentos (12-mayo-2020)› theory Ejercicio_2_sol imports Main begin lemma notnotI: "P ⟹ ¬…»)
- 18:04 18 may 2020 (dif | hist) . . (+82) . . Ejercicios
- 11:52 14 may 2020 (dif | hist) . . (+17) . . Ejercicios
- 11:51 14 may 2020 (dif | hist) . . (+2) . . T1 sol (edición actual)
- 11:49 14 may 2020 (dif | hist) . . (0) . . m Rel 12 (sol) (Protegió «Rel 12 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:49 14 may 2020 (dif | hist) . . (+42 691) . . N Rel 12 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹R12: Razonamiento sobre programas en Isabelle/HOL (III)› theory R12_sol imports Main begin text ‹----------------------------…»)
- 11:47 14 may 2020 (dif | hist) . . (+36) . . Ejercicios
- 09:53 14 may 2020 (dif | hist) . . (0) . . m R13 (Protegió «R13» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:53 14 may 2020 (dif | hist) . . (+6924) . . N R13 (Página creada con «<source lang = "isabelle"> chapter ‹R13: Recorridos de árboles› theory R13 imports Main begin text ‹-------------------------------------------------------------…»)
- 09:52 14 may 2020 (dif | hist) . . (+185) . . Ejercicios
- 11:55 10 may 2020 (dif | hist) . . (0) . . T1 sol
- 09:31 7 may 2020 (dif | hist) . . (+1551) . . R12
- 09:17 7 may 2020 (dif | hist) . . (-40) . . R12
- 09:16 7 may 2020 (dif | hist) . . (-9) . . Ejercicios
- 09:03 7 may 2020 (dif | hist) . . (+9) . . Ejercicios
- 08:39 7 may 2020 (dif | hist) . . (0) . . m R12 (Protegió «R12» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 08:39 7 may 2020 (dif | hist) . . (+7649) . . N R12 (Página creada con «<source lang = "isabelle"> chapter ‹ R12: Razonamiento sobre programas en Isabelle/HOL (III)› theory R12 imports Main begin text ‹--------------------------------…»)
- 08:38 7 may 2020 (dif | hist) . . (+212) . . Ejercicios
- 08:47 5 may 2020 (dif | hist) . . (0) . . m Rel 11 (sol) (Protegió «Rel 11 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 08:47 5 may 2020 (dif | hist) . . (+20 675) . . N Rel 11 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹ R11: Razonamiento sobre programas en Isabelle/HOL (II)› theory R11_sol imports Main begin text ‹ ---------------------------…»)
- 08:46 5 may 2020 (dif | hist) . . (0) . . m Rel 10 (sol) (Protegió «Rel 10 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 08:46 5 may 2020 (dif | hist) . . (+31 627) . . N Rel 10 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹ R10: Razonamiento sobre programas en Isabelle/HOL › theory R10_sol imports Main begin text ‹ -------------------------------…»)
- 08:44 5 may 2020 (dif | hist) . . (+72) . . Ejercicios
- 11:54 4 may 2020 (dif | hist) . . (0) . . m T1 sol (Protegió «T1 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 11:54 4 may 2020 (dif | hist) . . (+5447) . . N T1 sol (Página creada con «<source lang = "isabelle"> text ‹Tarea 1 de Lógica Matemática y Fundamentos (24-abril-2020)› theory Tarea_1_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P"…»)
- 11:53 4 may 2020 (dif | hist) . . (0) . . m T1 (Protegió «T1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 11:53 4 may 2020 (dif | hist) . . (+2622) . . N T1 (Página creada con «<source lang = "isabelle"> text ‹Tarea 1 de Lógica Matemática y Fundamentos (24-abril-2020)› theory Tarea1 imports Main begin text ‹ Apellidos: Nombre: ›…»)
- 11:52 4 may 2020 (dif | hist) . . (+65) . . Ejercicios
- 09:23 4 may 2020 (dif | hist) . . (+214) . . R11 (edición actual)
- 12:12 23 abr 2020 (dif | hist) . . (0) . . m Rel 9 (sol) (Protegió «Rel 9 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 12:12 23 abr 2020 (dif | hist) . . (+5165) . . N Rel 9 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9_sol imports Main begin text ‹ ---------------------------…»)
- 12:10 23 abr 2020 (dif | hist) . . (0) . . m Rel 8 (sol) (Protegió «Rel 8 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 12:10 23 abr 2020 (dif | hist) . . (+5706) . . N Rel 8 (sol) (Página creada con «<source lang = "isabelle"> chapter ‹R8: Programación funcional en Isabelle› theory R8_sol imports Main begin text ‹----------------------------------------------…»)
- 12:09 23 abr 2020 (dif | hist) . . (+70) . . Ejercicios
- 12:05 23 abr 2020 (dif | hist) . . (0) . . m R11 (Protegió «R11» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
- 12:05 23 abr 2020 (dif | hist) . . (+5481) . . N R11 (Página creada con «<source lang = "isabelle"> chapter ‹ R11: Razonamiento sobre programas en Isabelle/HOL (II)› theory R11 imports Main begin text ‹ -------------------------------…»)
- 12:04 23 abr 2020 (dif | hist) . . (+211) . . Ejercicios
- 19:58 20 abr 2020 (dif | hist) . . (0) . . m R10 (Protegió «R10» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 19:58 20 abr 2020 (dif | hist) . . (+10 333) . . N R10 (Página creada con «<source lang = "isabelle"> chapter ‹ R10: Razonamiento sobre programas en Isabelle/HOL › theory R10 imports Main begin text ‹ -----------------------------------…»)
- 19:57 20 abr 2020 (dif | hist) . . (+1) . . Ejercicios
- 19:57 20 abr 2020 (dif | hist) . . (0) . . m Rel 9 (rev 1) (Protegió «Rel 9 (rev 1)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 19:56 20 abr 2020 (dif | hist) . . (+10 210) . . N Rel 9 (rev 1) (Página creada con «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9_wiki_rev imports Main begin text ‹ ------------------------…»)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).