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: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)
• 17:58 26 jun 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 12 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:52 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Ejercicios [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) [en cascada] (hist)
• 15:51 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 9 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:51 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 10 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:50 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 11 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:50 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 12 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:50 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 13 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 15:50 6 jun 2019 Jalonso (discusión | contribuciones) protegió la página Relación 14 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:51 28 may 2019 Mjoseh (discusión | contribuciones) protegió la página R14 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 08:48 21 may 2019 Mjoseh (discusión | contribuciones) protegió la página R13 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 13:17 16 may 2019 Mjoseh (discusión | contribuciones) protegió la página R12 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 10:43 13 may 2019 Jalonso (discusión | contribuciones) trasladó la página Desarrollo de teor¡as formalizadas con Isabelle/HOL a Desarrollo de teorías formalizadas con Isabelle/HOL
• 16:12 1 may 2019 Jalonso (discusión | contribuciones) protegió la página Razonamiento sobre programas en Isabelle/HOL [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:59 30 abr 2019 Mjoseh (discusión | contribuciones) protegió la página R11 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:50 25 abr 2019 Mjoseh (discusión | contribuciones) protegió la página R10 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 13:48 23 abr 2019 Mjoseh (discusión | contribuciones) protegió la página R9 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:45 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:44 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:44 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:44 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:44 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:43 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:43 11 abr 2019 Jalonso (discusión | contribuciones) protegió la página Relación 8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 16:41 11 abr 2019 Jalonso (discusión | contribuciones) cambió el nivel de protección de Página principal [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) [en cascada] (hist)
• 12:53 9 abr 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:52 9 abr 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:51 9 abr 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 12:50 9 abr 2019 Mjoseh (discusión | contribuciones) protegió la página Sol 4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 20:04 3 abr 2019 Mjoseh (discusión | contribuciones) protegió la página R8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 13:07 28 mar 2019 Mjoseh (discusión | contribuciones) protegió la página R7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 11:10 19 mar 2019 Mjoseh (discusión | contribuciones) protegió la página R6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 21:38 14 mar 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej7rel3sofsanfer.png
• 14:53 13 mar 2019 Mjoseh (discusión | contribuciones) protegió la página R5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
• 10:12 5 mar 2019 Antmorlop (discusión | contribuciones) subió Archivo:Ejercicio8.jpg
• 23:19 4 mar 2019 Josgutde3 (discusión | contribuciones) subió Archivo:Ej7rel3 2.jpg
• 23:16 4 mar 2019 Josgutde3 (discusión | contribuciones) subió una nueva versión de Archivo:Ej7rel3.jpg
• 22:58 4 mar 2019 Josgutde3 (discusión | contribuciones) subió Archivo:Ej7rel3.jpg
• 22:57 4 mar 2019 Josgutde3 (discusión | contribuciones) subió Archivo:Lema 2.jpg