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 |
|---|---|---|---|---|---|
| Desconocido | Temas (1706 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Ejercicios (1004 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R1 (5734 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Razonamiento automático (2016-17) (648 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 1: Programación funcional en Isabelle (9181 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Documentación (8694 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R2 (3745 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Colaboraciones (617 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (23 559 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R3 (5269 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 4: Razonamiento por casos y por inducción (17 471 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R4 (7365 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R5 (4632 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R6 (7077 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R7 (5386 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 7: Caso de estudio: Compilación de expresiones (8568 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 6b: Verificación de la ordenación por mezcla (7297 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 6a: Verificación de la ordenación por inserción (10 657 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 5: Razonamiento sobre árboles y bosques (8301 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (13 859 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R8 (2794 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R9 (3176 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | Tema 10: Conjuntos, funciones y relaciones (15 452 bytes) | infinito | Usuario desconocido | completamente protegida | — |
| Desconocido | R10 (5065 bytes) | infinito | Usuario desconocido | completamente protegida | — |