Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (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 | 50 anteriores) (20 | 50 | 100 | 250 | 500).