Acciones

Especial

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.

Registros      

 

Mostrar registro de verificación | Ocultar registro de etiquetas

  • 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…»)
  • 10:51 10 feb 2020 Jalonso (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot, administrador y burócrata