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…»)