Acciones

Especial

Contribuciones del usuario

Para Mjoseh (discusión | registro de bloqueos | subidas | registros)
Buscar contribuciones
 
 
      
 
   

(últimas | primeras) Ver ( | 50 anteriores) (20 | 50 | 100 | 250 | 500).

  • 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 ‹ ------------------------…»)
  • 19:55 20 abr 2020 (dif | hist) . . (+249)‎ . . Ejercicios ‎
  • 17:46 13 abr 2020 (dif | hist) . . (0)‎ . . m R9 ‎ (Protegió «R9» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:45 13 abr 2020 (dif | hist) . . (+4657)‎ . . N R9 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9 imports Main begin text ‹ ----------------------------------…»)
  • 17:44 13 abr 2020 (dif | hist) . . (+204)‎ . . Ejercicios ‎
  • 17:16 13 abr 2020 (dif | hist) . . (0)‎ . . m Rel 8 (rev 1) ‎ (Protegió «Rel 8 (rev 1)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:16 13 abr 2020 (dif | hist) . . (+13 929)‎ . . N Rel 8 (rev 1) ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R8 Programación funcional en Isabelle › theory R8_wiki_rev imports Main begin text ‹ ---------------------------------------…»)
  • 17:15 13 abr 2020 (dif | hist) . . (+43)‎ . . Ejercicios ‎
  • 08:32 2 abr 2020 (dif | hist) . . (0)‎ . . m R8 ‎ (Protegió «R8» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:32 2 abr 2020 (dif | hist) . . (+5573)‎ . . N R8 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R8 Programación funcional en Isabelle › theory R8 imports Main begin text ‹ -------------------------------------------------…»)
  • 08:30 2 abr 2020 (dif | hist) . . (+199)‎ . . Ejercicios ‎
  • 08:51 31 mar 2020 (dif | hist) . . (0)‎ . . m Rel 6 ‎ (Protegió «Rel 6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:50 31 mar 2020 (dif | hist) . . (+30 134)‎ . . N Rel 6 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹R6: Formalización y argumentación con Isabelle/HOL› theory R6_sol imports Main begin text ‹----------------------------------…»)
  • 08:49 31 mar 2020 (dif | hist) . . (0)‎ . . m R7 ‎ (Protegió «R7» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:48 31 mar 2020 (dif | hist) . . (+12 488)‎ . . N R7 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹R7: Lógica de de primer orden con igualdad: deducción natural, formalización y argumentación con Isabelle/HOL › t…»)
  • 08:47 31 mar 2020 (dif | hist) . . (-34)‎ . . Ejercicios ‎
  • 08:46 31 mar 2020 (dif | hist) . . (+303)‎ . . Ejercicios ‎
  • 19:30 25 mar 2020 (dif | hist) . . (+95)‎ . . Ejercicios ‎
  • 15:50 24 mar 2020 (dif | hist) . . (0)‎ . . m Rel 5 ‎ (Protegió «Rel 5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 15:47 24 mar 2020 (dif | hist) . . (+44 759)‎ . . N Rel 5 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹R5: Deducción natural de primer orden› theory R5_sol imports Main begin text ‹Demostrar o refutar los siguientes lemas usando…»)
  • 15:46 24 mar 2020 (dif | hist) . . (+26)‎ . . Ejercicios ‎
  • 12:58 23 mar 2020 (dif | hist) . . (0)‎ . . m R6 ‎ (Protegió «R6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 12:58 23 mar 2020 (dif | hist) . . (+4)‎ . . R6 ‎
  • 12:57 23 mar 2020 (dif | hist) . . (+24 780)‎ . . N R6 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹R6: Formalización y argumentación con Isabelle/HOL (I)› theory R6 imports Main begin text ‹---------------------------------…»)
  • 12:35 23 mar 2020 (dif | hist) . . (+284)‎ . . Ejercicios ‎
  • 18:08 18 mar 2020 (dif | hist) . . (0)‎ . . Ejercicios ‎
  • 18:07 18 mar 2020 (dif | hist) . . (-1)‎ . . Ejercicios ‎
  • 18:06 18 mar 2020 (dif | hist) . . (+93)‎ . . Ejercicios ‎
  • 18:14 17 mar 2020 (dif | hist) . . (0)‎ . . m Rel 3 ‎ (Protegió «Rel 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 18:14 17 mar 2020 (dif | hist) . . (+31 026)‎ . . N Rel 3 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R3: Deducción natural proposicional(II) › theory R3_sol imports Main begin text ‹--------------------------------------------…»)
  • 18:12 17 mar 2020 (dif | hist) . . (0)‎ . . m Rel 2 ‎ (Protegió «Rel 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 18:12 17 mar 2020 (dif | hist) . . (+22 805)‎ . . N Rel 2 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R2: Deducción natural proposicional(I) › theory R2_sol imports Main begin text ‹ -------------------------------------…»)
  • 18:10 17 mar 2020 (dif | hist) . . (+52)‎ . . Ejercicios ‎
  • 17:50 17 mar 2020 (dif | hist) . . (+3)‎ . . R5 ‎ (edición actual)
  • 09:31 12 mar 2020 (dif | hist) . . (0)‎ . . m R5 ‎ (Protegió «R5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
  • 09:31 12 mar 2020 (dif | hist) . . (+11 338)‎ . . N R5 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R5: Deducción natural en lógica de primer orden › theory R5 imports Main begin text ‹ Demostrar o refutar los siguientes l…»)
  • 09:30 12 mar 2020 (dif | hist) . . (+203)‎ . . Ejercicios ‎
  • 19:39 4 mar 2020 (dif | hist) . . (0)‎ . . m R4 ‎ (Protegió «R4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 19:39 4 mar 2020 (dif | hist) . . (+4867)‎ . . N R4 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹R4: Sintaxis y semántica de la Lógica de primer orden› theory R4 imports Main begin text ‹----------------------------------…»)
  • 19:38 4 mar 2020 (dif | hist) . . (+211)‎ . . Ejercicios ‎
  • 14:19 26 feb 2020 (dif | hist) . . (0)‎ . . m R3 ‎ (Protegió «R3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 14:19 26 feb 2020 (dif | hist) . . (+10 957)‎ . . N R3 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R3: Deducción natural proposicional(II) › theory R3 imports Main begin text ‹-----------------------------------------------…»)
  • 14:18 26 feb 2020 (dif | hist) . . (+208)‎ . . Ejercicios ‎
  • 10:22 20 feb 2020 (dif | hist) . . (0)‎ . . Ejercicios ‎
  • 10:19 20 feb 2020 (dif | hist) . . (0)‎ . . m R2 ‎ (Protegió «R2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 10:19 20 feb 2020 (dif | hist) . . (+8398)‎ . . N R2 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R2: Deducción natural proposicional(I) › theory R2 imports Main begin text ‹ ----------------------------------------------…»)
  • 10:18 20 feb 2020 (dif | hist) . . (+203)‎ . . Ejercicios ‎
  • 14:42 12 feb 2020 (dif | hist) . . (0)‎ . . m R1 ‎ (Protegió «R1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 14:42 12 feb 2020 (dif | hist) . . (+4365)‎ . . N R1 ‎ (Página creada con «=== Relación 1: Sintaxis y semántica de la lógica proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x e…»)
  • 14:41 12 feb 2020 (dif | hist) . . (+2)‎ . . Ejercicios ‎

(últimas | primeras) Ver ( | 50 anteriores) (20 | 50 | 100 | 250 | 500).

Obtenido de «https://www.glc.us.es/~jalonso/LMF2020/index.php/Especial:Contribuciones/Mjoseh»