Todos los registros públicos

Vista combinada de todos los registros de Lógica matemática y fundamentos [Curso 2019-20]. Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 11:58 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Temas (el contenido era: «En esta página se encuentra el material (transparencias y teorías) del curso ''Lógica matemática y fundamentos''. * Tema…», y el único autor fue «Jalonso» (discusión))
• 11:56 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Colaboraciones (el contenido era: «=== Colaboraciones en todas la relaciones === <source lang="text"> | 25 | marcabalv1 | | 24 | edumergom | | 24 | dessan…», y el único autor fue «Jalonso» (discusión))
• 11:56 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 15 (el contenido era: «<source lang = "isabelle"> chapter ‹ R15: Definiciones inductivas: clausuras › theory R15 imports Main begin section ‹ L…», y el único autor fue «Mjoseh» (discusión))
• 11:55 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 14 (el contenido era: «<source lang ="isabelle"> chapter ‹R14: Una axiomatización de la Geometría› theory R14 imports Main begin text ‹ -------------------------------------------------------------------------------------------------- Ej…»)
• 11:54 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 13 (el contenido era: «<source lang = "isabelle"> chapter ‹R13: Recorridos de árboles› theory R13 imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Definir el tipo de datos arbol para…»)
• 11:54 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 12 (el contenido era: «<source lang = "isabelle"> chapter ‹ R12: Razonamiento sobre programas en Isabelle/HOL (III)› theory R12 imports Main begin text ‹------------------------------------------------------------------ En toda la relació…»)
• 11:54 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 11 (el contenido era: «<source lang = "isabelle"> chapter ‹ R11: Razonamiento sobre programas en Isabelle/HOL (II)› theory R11 imports Main begin text ‹ --------------------------------------------------------------- En toda la relación…»)
• 11:54 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 10 (el contenido era: «<source lang = "isabelle"> chapter ‹ R10: Razonamiento sobre programas en Isabelle/HOL › theory R10 imports Main begin text ‹ --------------------------------------------------------------- En toda la relación de e…»)
• 11:53 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 9 (el contenido era: «<source lang = "isabelle"> chapter ‹ R9: Programación funcional en Isabelle/HOL (II) › theory R9 imports Main begin text ‹ --------------------------------------------------------------- Ejercicio 1. Definir la f…»)
• 11:53 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 8 (el contenido era: «<source lang = "isabelle"> chapter ‹ R8 Programación funcional en Isabelle › theory R8 imports Main begin text ‹ ---------------------------------------------------------------- Ejercicio 0. Definir, por recursión, la…»)
• 11:53 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 7 (el contenido era: «<source lang = "isabelle"> chapter ‹R7: Lógica de de primer orden con igualdad: deducción natural, formalización y argumentación con Isabelle/HOL › theory R7 imports Main begin text ‹ Demostrar o ref…»)
• 11:52 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 6 (el contenido era: «<source lang = "isabelle"> chapter ‹R6: Formalización y argumentación con Isabelle/HOL (I)› theory R6 imports Main begin text ‹--------------------------------------------------------------------- El objetivo de est…»)
• 11:52 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 5 (el contenido era: «<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 lemas usando sólo las reglas básicas de deducción natu…»)
• 11:52 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 4 (el contenido era: «<source lang = "isabelle"> chapter ‹R4: Sintaxis y semántica de la Lógica de primer orden› theory R4 imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. (a) Forma…»)
• 11:52 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 3 (el contenido era: «<source lang = "isabelle"> chapter ‹ R3: Deducción natural proposicional(II) › theory R3 imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta relación es de…»)
• 11:51 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 2 (el contenido era: «<source lang="isabelle"> chapter ‹R2: Deducción natural proposicional(I)› theory R2 imports Main begin text ‹-------------------------------------------------------------------- El objetivo de esta relación es demost…»)
• 11:51 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 1 (el contenido era: « === 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 es divisible por 10, acaba en 0. El número x no acaba en…»)
• 12:16 21 ene 2021 Mjoseh (discusión | contribuciones) protegió la página Ejercicios [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 10:20 10 sep 2020 Mjoseh (discusión | contribuciones) protegió la página Examen 2C sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 10:18 10 sep 2020 Mjoseh (discusión | contribuciones) protegió la página Examen 2C [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 14:32 6 jul 2020 Mjoseh (discusión | contribuciones) protegió la página Examen 1C [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 14:31 6 jul 2020 Mjoseh (discusión | contribuciones) protegió la página Examen 1C sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:38 29 jun 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 15 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:53 18 jun 2020 Mjoseh (discusión | contribuciones) protegió la página TF sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:52 18 jun 2020 Mjoseh (discusión | contribuciones) protegió la página TF [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:38 17 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T5-2 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:37 17 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T5-2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:36 17 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T5-1 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:36 17 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T5-1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:33 1 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T4 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:33 1 jun 2020 Mjoseh (discusión | contribuciones) protegió la página T4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:39 28 may 2020 Mjoseh (discusión | contribuciones) protegió la página T3 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:38 28 may 2020 Mjoseh (discusión | contribuciones) protegió la página T3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:58 28 may 2020 Mjoseh (discusión | contribuciones) protegió la página R15 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:56 28 may 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 14 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:57 21 may 2020 Mjoseh (discusión | contribuciones) protegió la página R14 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:55 21 may 2020 Mjoseh (discusión | contribuciones) protegió la página Relación 13 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:54 21 may 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 13 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 18:07 18 may 2020 Mjoseh (discusión | contribuciones) protegió la página T2 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 18:06 18 may 2020 Mjoseh (discusión | contribuciones) protegió la página T2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:50 14 may 2020 Mjoseh (discusión | contribuciones) protegió la página Relación 12 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:49 14 may 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 12 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 09:53 14 may 2020 Mjoseh (discusión | contribuciones) protegió la página R13 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:39 7 may 2020 Mjoseh (discusión | contribuciones) protegió la página R12 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:47 5 may 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 11 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:46 5 may 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 10 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:54 4 may 2020 Mjoseh (discusión | contribuciones) protegió la página T1 sol [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:53 4 may 2020 Mjoseh (discusión | contribuciones) protegió la página T1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:12 23 abr 2020 Mjoseh (discusión | contribuciones) protegió la página Rel 9 (sol) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:11 23 abr 2020 Mjoseh (discusión | contribuciones) protegió la página Relación 8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)