Páginas nuevas

09: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 ‹---…»)
09: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…»)
13: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:…»)
13: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 ‹---…»)
16: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…»)
07: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…»)
07: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…»)
16: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 ‹-------…»)
16: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:…»)
16: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 ‹------…»)
16: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:…»)
11: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 ‹-----------…»)
11: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 ‹-----------…»)
10: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…»)
10: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:…»)
07: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…»)
07: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…»)
10: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 ‹ -----------------------------------------------…»)
10: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 ‹---------------------------------------------------------…»)
17: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 ⟹ ¬¬…»)
17: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 ⟹ ¬…»)
10: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 ‹----------------------------…»)
08: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 ‹-------------------------------------------------------------…»)
07: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 ‹--------------------------------…»)
07: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 ‹ ---------------------------…»)
07: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 ‹ -------------------------------…»)
10: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"…»)
10: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: ›…»)
11: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 ‹ ---------------------------…»)
11: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 ‹----------------------------------------------…»)
11: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 ‹ -------------------------------…»)
18: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 ‹ -----------------------------------…»)
18: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 ‹ ------------------------…»)
16: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 ‹ ----------------------------------…»)
16: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 ‹ ---------------------------------------…»)
07: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 ‹ -------------------------------------------------…»)
07: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 ‹----------------------------------…»)
07: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…»)
14: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…»)
11: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 ‹---------------------------------…»)

Espacio de nombres:
	Invertir selección
Filtro de etiquetas:
Nombre de usuario:
	Tamaño mínimo Tamaño máximo: (bytes)

Especial

Páginas nuevas