Vista combinada de todos los registros de Lógica matemática y fundamentos (2018-19). 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.

• 14:10 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 *} theory R9 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 0. Definir, por recursión, la fu…»)
• 14:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 8 (el contenido era: «<source lang = "isabelle"> chapter {* R8: Argumentación en lógica de primer orden *} theory R8 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relació…»)
• 14:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 7 (el contenido era: «<source lang = "isabelle"> theory R7 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relación es escribir demostraciones usando sólo las reglas bási…»)
• 14:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 5 (el contenido era: «=== Relación 5: Sintaxis y semántica de la Lógica de primer orden === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento (ejercicio 5 de LPO de APPLI2), verificando la corrección de la solución: * Todo aquel que ent…»)
• 14:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 4 (el contenido era: «<source lang="isabelle"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relación es demost…»)
• 14:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 2 (el contenido era: « === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : p ⊧ q → p ---- '''Solución:''' fravilval, roccorcor, sofsanfer, carespher, paurinara, anac…»)
• 14:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 14 (el contenido era: «<source lang = "isabelle"> theory R14 imports Main begin text {* -------------------------------------------------------------------------------------------------- Ejercicio 1. Hilbert publicó una axiomatización de la geom…»)
• 14:07 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 13 (el contenido era: «<source lang = "isabelle"> chapter {* R13: Definiciones inductivas: clausuras *} theory R13 imports Main begin section {* La clausura reflexiva transitiva *} text {* · Las definiciones inductivas aceptan parámetros; por tan…»)
• 14:07 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 12 (el contenido era: «<source lang = "isabelle"> chapter {* R12: Recorridos de árboles *} theory R12 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1. Definir el tipo de datos arbo…»)
• 14:07 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 *} theory R11 imports Main begin text {* --------------------------------------------------------------- En toda la relación de ejerc…»)
• 14:06 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 10 (el contenido era: «<source lang = "isabelle"> chapter {* R10: Programación funcional en Isabelle/HOL *} theory R10 imports Main begin text {* --------------------------------------------------------------- Ejercicio 1. Definir la…»)
• 14:06 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 0…»)
• 14:06 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación (el contenido era: «<source lang = "isabelle"> chapter {* R6: Deducción natural en lógica de primer orden *} theory R6 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las reglas básicas de deducción natural…»)
• 17:19 20 may 2020 Jalonso (discusión | contribuciones) protegió la página Desarrollo de teorías formalizadas con Isabelle/HOL [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:39 8 jul 2019 Jalonso (discusión | contribuciones) protegió la página Examen 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 18:02 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 13 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 18:02 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 14 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:59 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 11 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:59 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 10 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 17:58 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 9 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)