Acciones

Especial

Páginas nuevas

Páginas nuevas
 
     (bytes)
Ocultar usuarios registrados | Ocultar bots | Mostrar redirecciones
  • 10:19 10 sep 2020 ‎Examen 2C sol (hist) ‎[11 993 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎Examen 2C (hist) ‎[4644 bytes] ‎Mjoseh (discusión | contribuciones) (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…»)
  • 14:32 6 jul 2020 ‎Examen 1C (hist) ‎[5492 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎Examen 1C sol (hist) ‎[11 802 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‹---…»)
  • 17:38 29 jun 2020 ‎Rel 15 (sol) (hist) ‎[18 849 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R15: Definiciones inductivas: clausuras › theory R15_sol imports Main begin section ‹ La clausura reflexiva transitiva › tex…»)
  • 08:53 18 jun 2020 ‎TF sol (hist) ‎[23 644 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎TF (hist) ‎[6947 bytes] ‎Mjoseh (discusión | contribuciones) (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…»)
  • 17:38 17 jun 2020 ‎T5-2 sol (hist) ‎[7497 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T5-2 (hist) ‎[4278 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T5-1 sol (hist) ‎[8066 bytes] ‎Mjoseh (discusión | contribuciones) (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:35 17 jun 2020 ‎T5-1 (hist) ‎[4215 bytes] ‎Mjoseh (discusión | contribuciones) (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:…»)
  • 12:29 1 jun 2020 ‎T4 sol (hist) ‎[8770 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T4 (hist) ‎[2564 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‹-----------…»)
  • 11:39 28 may 2020 ‎T3 sol (hist) ‎[6803 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T3 (hist) ‎[3408 bytes] ‎Mjoseh (discusión | contribuciones) (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:…»)
  • 08:58 28 may 2020 ‎R15 (hist) ‎[9305 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎Rel 14 (sol) (hist) ‎[8575 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> theory R14_sol imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Hilbert publicó u…»)
  • 11:56 21 may 2020 ‎R14 (hist) ‎[4995 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang "isabelle"> chapter ‹R14: Una axiomatización de la Geometría› theory R14 imports Main begin text ‹ -----------------------------------------------…»)
  • 11:54 21 may 2020 ‎Rel 13 (sol) (hist) ‎[26 059 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹R13: Recorridos de árboles› theory R13_sol imports Main begin text ‹---------------------------------------------------------…»)
  • 18:07 18 may 2020 ‎T2 sol (hist) ‎[6993 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T2 (hist) ‎[6994 bytes] ‎Mjoseh (discusión | contribuciones) (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 ⟹ ¬…»)
  • 11:49 14 may 2020 ‎Rel 12 (sol) (hist) ‎[42 691 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹R12: Razonamiento sobre programas en Isabelle/HOL (III)› theory R12_sol imports Main begin text ‹----------------------------…»)
  • 09:53 14 may 2020 ‎R13 (hist) ‎[6924 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹R13: Recorridos de árboles› theory R13 imports Main begin text ‹-------------------------------------------------------------…»)
  • 08:39 7 may 2020 ‎R12 (hist) ‎[9161 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R12: Razonamiento sobre programas en Isabelle/HOL (III)› theory R12 imports Main begin text ‹--------------------------------…»)
  • 08:47 5 may 2020 ‎Rel 11 (sol) (hist) ‎[20 669 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎Rel 10 (sol) (hist) ‎[31 627 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R10: Razonamiento sobre programas en Isabelle/HOL › theory R10_sol imports Main begin text ‹ -------------------------------…»)
  • 11:54 4 may 2020 ‎T1 sol (hist) ‎[5449 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎T1 (hist) ‎[2622 bytes] ‎Mjoseh (discusión | contribuciones) (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: ›…»)
  • 12:12 23 abr 2020 ‎Rel 9 (sol) (hist) ‎[5165 bytes] ‎Mjoseh (discusión | contribuciones) (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 ‎Rel 8 (sol) (hist) ‎[5706 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹R8: Programación funcional en Isabelle› theory R8_sol imports Main begin text ‹----------------------------------------------…»)
  • 12:05 23 abr 2020 ‎R11 (hist) ‎[5695 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R11: Razonamiento sobre programas en Isabelle/HOL (II)› theory R11 imports Main begin text ‹ -------------------------------…»)
  • 19:58 20 abr 2020 ‎R10 (hist) ‎[10 333 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R10: Razonamiento sobre programas en Isabelle/HOL › theory R10 imports Main begin text ‹ -----------------------------------…»)
  • 19:56 20 abr 2020 ‎Rel 9 (rev 1) (hist) ‎[10 210 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9_wiki_rev imports Main begin text ‹ ------------------------…»)
  • 17:45 13 abr 2020 ‎R9 (hist) ‎[4657 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9 imports Main begin text ‹ ----------------------------------…»)
  • 17:16 13 abr 2020 ‎Rel 8 (rev 1) (hist) ‎[13 929 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R8 Programación funcional en Isabelle › theory R8_wiki_rev imports Main begin text ‹ ---------------------------------------…»)
  • 08:32 2 abr 2020 ‎R8 (hist) ‎[5573 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹ R8 Programación funcional en Isabelle › theory R8 imports Main begin text ‹ -------------------------------------------------…»)
  • 08:50 31 mar 2020 ‎Rel 6 (hist) ‎[30 134 bytes] ‎Mjoseh (discusión | contribuciones) (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:48 31 mar 2020 ‎R7 (hist) ‎[12 488 bytes] ‎Mjoseh (discusión | contribuciones) (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…»)
  • 15:47 24 mar 2020 ‎Rel 5 (hist) ‎[44 759 bytes] ‎Mjoseh (discusión | contribuciones) (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…»)
  • 12:57 23 mar 2020 ‎R6 (hist) ‎[24 784 bytes] ‎Mjoseh (discusión | contribuciones) (Página creada con «<source lang = "isabelle"> chapter ‹R6: Formalización y argumentación con Isabelle/HOL (I)› theory R6 imports Main begin text ‹---------------------------------…»)
Obtenido de «https://www.glc.us.es/~jalonso/LMF2020/index.php/Especial:PáginasNuevas»