Todos los registros públicos
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.
(últimas | primeras) Ver (100 siguientes | 100 anteriores) (20 | 50 | 100 | 250 | 500).- 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)
- 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
- 22:57 4 mar 2019 Josgutde3 (discusión | contribuciones) subió Archivo:Lema 1.jpg
- 20:19 3 mar 2019 Luiporpir (discusión | contribuciones) subió Archivo:Ej8 rel3.jpg
- 20:19 3 mar 2019 Luiporpir (discusión | contribuciones) subió Archivo:Ej6 rel3.jpg
- 04:46 2 mar 2019 Migtromol (discusión | contribuciones) subió Archivo:Ejercicio3.1.PNG
- 04:19 2 mar 2019 Migtromol (discusión | contribuciones) subió Archivo:Ejercicio2.5.PNG
- 04:01 2 mar 2019 Migtromol (discusión | contribuciones) subió Archivo:Ejercicio2.8.PNG
- 01:54 2 mar 2019 Migtromol (discusión | contribuciones) subió Archivo:Ejercicio2.4.PNG
- 01:22 2 mar 2019 Migtromol (discusión | contribuciones) subió Archivo:Ejercicio2.3.PNG
- 15:38 1 mar 2019 Antmorlop (discusión | contribuciones) subió Archivo:Ej08rel03.jpg
- 15:35 1 mar 2019 Antmorlop (discusión | contribuciones) subió Archivo:Ej8rel3.jpeg
- 13:57 1 mar 2019 Josgutde3 (discusión | contribuciones) subió Archivo:Ej8rel2.jpg
- 14:50 28 feb 2019 Marpercas13 (discusión | contribuciones) subió Archivo:Ej3.png
- 20:02 27 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej5rel3.png
- 20:02 27 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej4rel3.png
- 20:01 27 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej3rel3.png
- 20:01 27 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej2rel3.png
- 20:01 27 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej1rel3.png
- 18:54 26 feb 2019 Luiporpir (discusión | contribuciones) subió Archivo:Ej5 rel2.png
- 18:51 26 feb 2019 Luiporpir (discusión | contribuciones) subió Archivo:Ej3 rel2.jpg
- 18:13 26 feb 2019 Mjoseh (discusión | contribuciones) protegió la página R4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 18:08 26 feb 2019 Mjoseh (discusión | contribuciones) protegió la página R3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 19:14 24 feb 2019 Danstomen (discusión | contribuciones) subió Archivo:Ej3-R2-2.png
- 14:57 24 feb 2019 Carespher (discusión | contribuciones) subió Archivo:Ejercicio 5.png
- 01:21 24 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej7rel2.png
- 01:21 24 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej6rel2.png
- 01:20 24 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej4rel2.png
- 01:18 24 feb 2019 Sofsanfer (discusión | contribuciones) subió Archivo:Ej3rel2.png
- 22:13 21 feb 2019 Fravilval (discusión | contribuciones) subió Archivo:Ej4-R2.png
- 22:05 21 feb 2019 Fravilval (discusión | contribuciones) subió Archivo:Ej3-R2.png
- 21:57 21 feb 2019 Fravilval (discusión | contribuciones) subió Archivo:Ej2-R2.png
- 19:15 21 feb 2019 Fravilval (discusión | contribuciones) subió Archivo:Ej1-R2a.png
- 19:04 21 feb 2019 Jalonso (discusión | contribuciones) subió Archivo:Ej1-R2.png
- 14:15 21 feb 2019 Mjoseh (discusión | contribuciones) subió Archivo:R2-ej1.png
- 14:05 21 feb 2019 Mjoseh (discusión | contribuciones) protegió la página R2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 12:49 20 feb 2019 Se ha creado la cuenta de usuario Antmorlop (discusión | contribuciones)
- 21:04 19 feb 2019 Se ha creado la cuenta de usuario Lidmungar11 (discusión | contribuciones)
- 19:40 18 feb 2019 Se ha creado la cuenta de usuario AntrammarLMF (discusión | contribuciones)
- 17:44 12 feb 2019 Mjoseh (discusión | contribuciones) protegió la página R1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 14:33 7 feb 2019 Jalonso (discusión | contribuciones) modificó los grupos a los que pertenece Mjoseh: de (ninguno) a bot, administrador y burócrata
- 13:15 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Ejercicios [Crear=Solo administradores] (indefinido) (hist)
- 13:15 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Definiciones inductivas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)
- 13:14 7 feb 2019 Jalonso (discusión | contribuciones) protegió la página Conjuntos, funciones y relaciones [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist)