Acciones

Especial

Contribuciones del usuario

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

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

  • 12:16 21 ene 2021 (dif | hist) . . (0)‎ . . m Ejercicios ‎ (Protegió «Ejercicios» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
  • 12:16 21 ene 2021 (dif | hist) . . (+8)‎ . . Ejercicios ‎
  • 10:20 10 sep 2020 (dif | hist) . . (0)‎ . . m Examen 2C sol ‎ (Protegió «Examen 2C sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 10:19 10 sep 2020 (dif | hist) . . (+11 993)‎ . . N Examen 2C sol ‎ (Página creada con «<source lang = "isabelle"> theory examen_9_sep_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹---…»)
  • 10:18 10 sep 2020 (dif | hist) . . (0)‎ . . m Examen 2C ‎ (Protegió «Examen 2C» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 10:18 10 sep 2020 (dif | hist) . . (+4644)‎ . . N Examen 2C ‎ (Página creada con «<source lang = "isabelle"> text ‹Examen de Lógica Matemática y Fundamentos (9-septiembre-2020)› theory examen_9_sep imports Main begin text ‹ Apellidos: Nomb…»)
  • 10:16 10 sep 2020 (dif | hist) . . (+90)‎ . . Ejercicios ‎
  • 14:32 6 jul 2020 (dif | hist) . . (0)‎ . . m Examen 1C ‎ (Protegió «Examen 1C» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 14:32 6 jul 2020 (dif | hist) . . (+5492)‎ . . N Examen 1C ‎ (Página creada con «<source lang = "isabelle"> text ‹Examen de Lógica Matemática y Fundamentos (2-julio-2020)› theory examen_2_jul imports Main begin text ‹ Apellidos: Nombre:…»)
  • 14:31 6 jul 2020 (dif | hist) . . (0)‎ . . m Examen 1C sol ‎ (Protegió «Examen 1C sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 14:31 6 jul 2020 (dif | hist) . . (+11 802)‎ . . N Examen 1C sol ‎ (Página creada con «<source lang = "isabelle"> theory examen_2_jul_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹---…»)
  • 14:28 6 jul 2020 (dif | hist) . . (+90)‎ . . Ejercicios ‎
  • 17:38 29 jun 2020 (dif | hist) . . (0)‎ . . m Rel 15 (sol) ‎ (Protegió «Rel 15 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:38 29 jun 2020 (dif | hist) . . (+18 849)‎ . . N Rel 15 (sol) ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R15: Definiciones inductivas: clausuras › theory R15_sol imports Main begin section ‹ La clausura reflexiva transitiva › tex…»)
  • 17:37 29 jun 2020 (dif | hist) . . (+36)‎ . . Ejercicios ‎
  • 09:13 18 jun 2020 (dif | hist) . . (-3)‎ . . TF sol ‎ (edición actual)
  • 08:53 18 jun 2020 (dif | hist) . . (0)‎ . . m TF sol ‎ (Protegió «TF sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
  • 08:53 18 jun 2020 (dif | hist) . . (+23 647)‎ . . N TF sol ‎ (Página creada con «<source lang = "isabelle"> chapter ‹Expresiones booleanas y expresiones condicionales› theory Trabajo_final_sol imports Main begin section ‹Expresiones booleanas…»)
  • 08:52 18 jun 2020 (dif | hist) . . (0)‎ . . m TF ‎ (Protegió «TF» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:52 18 jun 2020 (dif | hist) . . (+6947)‎ . . N TF ‎ (Página creada con «<source lang = "isabelle"> chapter ‹Expresiones booleanas y expresiones condicionales› theory Trabajo_final imports Main begin text ‹El objetivo del trabajo es dem…»)
  • 08:49 18 jun 2020 (dif | hist) . . (+71)‎ . . Ejercicios ‎
  • 17:38 17 jun 2020 (dif | hist) . . (0)‎ . . m T5-2 sol ‎ (Protegió «T5-2 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:38 17 jun 2020 (dif | hist) . . (+7497)‎ . . N T5-2 sol ‎ (Página creada con «<source lang = "isabelle"> theory ej_2jun_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹-------…»)
  • 17:37 17 jun 2020 (dif | hist) . . (0)‎ . . m T5-2 ‎ (Protegió «T5-2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:37 17 jun 2020 (dif | hist) . . (+4278)‎ . . N T5-2 ‎ (Página creada con «<source lang = "isabelle"> text ‹Ejercicio 5 de Lógica Matemática y Fundamentos (2-junio-2020)› theory ej_2jun imports Main begin text ‹ Apellidos: Nombre:…»)
  • 17:36 17 jun 2020 (dif | hist) . . (0)‎ . . m T5-1 sol ‎ (Protegió «T5-1 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:36 17 jun 2020 (dif | hist) . . (+8066)‎ . . N T5-1 sol ‎ (Página creada con «<source lang = "isabelle"> theory ej_2_jun_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹------…»)
  • 17:36 17 jun 2020 (dif | hist) . . (0)‎ . . m T5-1 ‎ (Protegió «T5-1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 17:35 17 jun 2020 (dif | hist) . . (+4215)‎ . . N T5-1 ‎ (Página creada con «<source lang = "isabelle"> text ‹Ejercicio 5 de Lógica Matemática y Fundamentos (2-junio-2020)› theory ej_2_jun imports Main begin text ‹ Apellidos: Nombre:…»)
  • 17:34 17 jun 2020 (dif | hist) . . (+152)‎ . . Ejercicios ‎
  • 12:33 1 jun 2020 (dif | hist) . . (0)‎ . . m T4 sol ‎ (Protegió «T4 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 12:33 1 jun 2020 (dif | hist) . . (0)‎ . . m T4 ‎ (Protegió «T4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 12:33 1 jun 2020 (dif | hist) . . (-6205)‎ . . T4 ‎
  • 12:29 1 jun 2020 (dif | hist) . . (+8770)‎ . . N T4 sol ‎ (Página creada con «<source lang = "isabelle"> theory T4_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹-----------…»)
  • 12:28 1 jun 2020 (dif | hist) . . (-3)‎ . . T4 ‎
  • 12:28 1 jun 2020 (dif | hist) . . (+8772)‎ . . N T4 ‎ (Página creada con «<source lang = "isabelle"> theory T4_sol imports Main begin lemma notnotI: "P ⟹ ¬¬ P" by auto lemma mt: "⟦F ⟶ G; ¬G⟧ ⟹ ¬F" by auto text ‹-----------…»)
  • 12:05 1 jun 2020 (dif | hist) . . (+82)‎ . . Ejercicios ‎
  • 11:39 28 may 2020 (dif | hist) . . (0)‎ . . m T3 sol ‎ (Protegió «T3 sol» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 11:39 28 may 2020 (dif | hist) . . (+6803)‎ . . N T3 sol ‎ (Página creada con «<source lang = "isabelle"> text ‹Ejercicio 3 de Lógica Matemática y Fundamentos (19-mayo-2020)› theory uvus_3_sol imports Main begin text ‹ Apellidos: Nombr…»)
  • 11:38 28 may 2020 (dif | hist) . . (0)‎ . . m T3 ‎ (Protegió «T3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 11:38 28 may 2020 (dif | hist) . . (+3408)‎ . . N T3 ‎ (Página creada con «<source lang = "isabelle"> text ‹Ejercicio 3 de Lógica Matemática y Fundamentos (19-mayo-2020)› theory uvus_3 imports Main begin text ‹ Apellidos: Nombre:…»)
  • 11:37 28 may 2020 (dif | hist) . . (+82)‎ . . Ejercicios ‎
  • 08:58 28 may 2020 (dif | hist) . . (0)‎ . . m R15 ‎ (Protegió «R15» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:58 28 may 2020 (dif | hist) . . (+9305)‎ . . N R15 ‎ (Página creada con «<source lang = "isabelle"> chapter ‹ R15: Definiciones inductivas: clausuras › theory R15 imports Main begin section ‹ La clausura reflexiva transitiva › text…»)
  • 08:56 28 may 2020 (dif | hist) . . (0)‎ . . m Rel 14 (sol) ‎ (Protegió «Rel 14 (sol)» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
  • 08:56 28 may 2020 (dif | hist) . . (+8575)‎ . . N Rel 14 (sol) ‎ (Página creada con «<source lang = "isabelle"> theory R14_sol imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Hilbert publicó u…»)
  • 08:54 28 may 2020 (dif | hist) . . (+234)‎ . . Ejercicios ‎
  • 16:47 21 may 2020 (dif | hist) . . (+1)‎ . . R14 ‎ (edición actual)
  • 11:57 21 may 2020 (dif | hist) . . (0)‎ . . m R14 ‎ (Protegió «R14» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
  • 11:56 21 may 2020 (dif | hist) . . (+4994)‎ . . N R14 ‎ (Página creada con «<source lang "isabelle"> chapter ‹R14: Una axiomatización de la Geometría› theory R14 imports Main begin text ‹ -----------------------------------------------…»)

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

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