Páginas protegidas
Esta página enumera las páginas existentes que actualmente están protegidas. Para obtener una lista de títulos que están protegidos desde su creación, véase Títulos protegidos.
Fecha y hora | Página | Expira | Protección de usuario | Parámetros de protección | Motivo |
---|---|---|---|---|---|
11:32 22 nov 2018 | R3 (5269 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
11:33 22 nov 2018 | Ejercicios (845 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
14:27 23 nov 2018 | Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (23 833 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
15:04 29 nov 2018 | R4 (7365 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
08:59 14 dic 2018 | R5 (7077 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:39 9 ene 2019 | R6 (17 747 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
21:08 9 ene 2019 | Colaboraciones (539 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
11:40 24 ene 2019 | R7 (6868 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
18:54 30 ene 2019 | Tema 10: Caso de estudio: Compilación de expresiones (8576 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
10:02 9 feb 2019 | R8 (3945 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:35 14 feb 2019 | Temas (2617 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:36 14 feb 2019 | Tema 2: Demostraciones por inducción sobre los números naturales en Coq (4617 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:36 14 feb 2019 | Tema 3: Datos estructurados en Coq (28 608 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:36 14 feb 2019 | Tema 4: Polimorfismo y funciones de orden superior en Coq (22 702 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:37 14 feb 2019 | Tema 5: Tácticas básicas de Coq (52 599 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:37 14 feb 2019 | Tema 12: Conjuntos, funciones y relaciones (15 598 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
09:37 14 feb 2019 | Tema 11: Definiciones inductivas (6880 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
15:08 14 feb 2019 | Tema 7: Definiciones inductivas en Coq (18 128 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
15:08 14 feb 2019 | Tema 6: Lógica en Coq (80 060 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:48 6 mar 2019 | Relación 1 (12 608 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:48 6 mar 2019 | Relación 2 (7479 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:49 6 mar 2019 | Relación 3 (16 015 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:49 6 mar 2019 | Relación 4 (33 649 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:50 6 mar 2019 | Relación 5 (20 678 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:50 6 mar 2019 | Relación 6 (57 589 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:50 6 mar 2019 | Relación 7 (28 792 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida | |
20:51 6 mar 2019 | Relación 8 (26 545 bytes) | infinito | Jalonso (discusión | contribuciones) | completamente protegida |