Resultado de la API de MediaWiki
This is the HTML representation of the JSON format. HTML is good for debugging, but is unsuitable for application use.
Specify the format parameter to change the output format. To see the non-HTML representation of the JSON format, set format=json.
See the complete documentation, or the API help for more information.
{
"batchcomplete": "",
"continue": {
"lecontinue": "20210726115428|35",
"continue": "-||"
},
"query": {
"logevents": [
{
"logid": 45,
"ns": 0,
"title": "Relaci\u00f3n 9",
"pageid": 0,
"logpage": 36,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:59:12Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u20399: Deducci\u00f3n natural de primer orden\u203a theory R9_Deduccion_natural_de_primer_orden imports Main begin text \u2039Demostrar o refutar los siguientes lemas usando s\u00f3lo las reglas b\u00e1sicas de deducci\u00f3n natural de la l\u00f3gica proposicional, de los cuantificadores y de la igualdad: \u00b7 conjI: \u27e6P; Q\u27e7 \u27f9 P \u2227 Q \u00b7 conjunct1: P \u2227 Q \u27f9 P \u00b7 conjunct2: P \u2227 Q \u27f9 Q \u00b7 notnotD: \u00ac\u00ac P \u27f9 P \u00b7 mp:\u2026\u00bb"
},
{
"logid": 44,
"ns": 0,
"title": "Relaci\u00f3n 8",
"pageid": 0,
"logpage": 34,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:58:54Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u2039R8: Formalizaci\u00f3n y argumentaci\u00f3n con Isabelle/HOL\u203a theory R8_Formalizacion_y_argmentacion imports Main begin text \u2039------------------------------------------------------------------ El objetivo de esta es relaci\u00f3n formalizar y decidir autom\u00e1ticamente (con auto, blast, metis, meson o quickcheck) la correcci\u00f3n de los argumentos. Para comprobar las formalizaciones, en cada ejercicios se indica su posici\u00f3n en APLI2\u2026\u00bb"
},
{
"logid": 43,
"ns": 0,
"title": "Relaci\u00f3n 7",
"pageid": 0,
"logpage": 31,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:58:38Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u2039R7: Deducci\u00f3n natural proposicional\u203a theory R7_Deduccion_natural_proposicional_2 imports Main begin text \u2039------------------------------------------------------------------ El objetivo de esta relaci\u00f3n es demostrar cada uno de los ejercicios usando s\u00f3lo las reglas b\u00e1sicas de deducci\u00f3n natural de la l\u00f3gica proposicional (sin usar los m\u00e9todo simp ni auto). Para cada ejercicio dar una demostraci\u00f3n estructurada y o\u2026\u00bb"
},
{
"logid": 42,
"ns": 0,
"title": "Relaci\u00f3n 6",
"pageid": 0,
"logpage": 29,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:58:21Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u2039R6: Deducci\u00f3n natural proposicional\u203a theory R6_Deduccion_natural_proposicional_1 imports Main begin text \u2039------------------------------------------------------------------ El objetivo de esta relaci\u00f3n es demostrar cada uno de los ejercicios usando s\u00f3lo las reglas b\u00e1sicas de deducci\u00f3n natural de la l\u00f3gica proposicional (sin usar los m\u00e9todo simp ni auto). Las reglas b\u00e1sicas de la deducci\u00f3n natural son las sigui\u2026\u00bb"
},
{
"logid": 41,
"ns": 0,
"title": "Relaci\u00f3n 5",
"pageid": 0,
"logpage": 26,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:57:57Z",
"comment": "el contenido era: \u00ab<pre lang=\"isabelle\"> chapter \u2039R5: Recorridos de \u00e1rboles\u203a theory R5_Recorridos_de_arboles imports Main begin text \u2039------------------------------------------------------------------ Ejercicio 1. Definir el tipo de datos arbol para representar los \u00e1rboles binarios que tiene informaci\u00f3n en los nodos y en las hojas. Por ejemplo, el \u00e1rbol e / \\ / \\ c g / \\ / \\ a d f h se representa por \"N e (N\u2026\u00bb"
},
{
"logid": 40,
"ns": 0,
"title": "Relaci\u00f3n 4",
"pageid": 0,
"logpage": 22,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:57:36Z",
"comment": "el contenido era: \u00ab<source lang=\"haskell\"> chapter \u2039R4: Cuantificadores sobre listas\u203a theory R4_Cuantificadores_sobre_listas imports Main begin text \u2039------------------------------------------------------------------ Ejercicio 1. Definir la funci\u00f3n todos :: ('a \u21d2 bool) \u21d2 'a list \u21d2 bool tal que (todos p xs) se verifica si todos los elementos de la lista xs cumplen la propiedad p. Por ejemplo, se verifica todos (\u03bbx. 1<length x) [[2,1,4],[1,3]] \u00actodo\u2026\u00bb"
},
{
"logid": 39,
"ns": 0,
"title": "Relaci\u00f3n 3",
"pageid": 0,
"logpage": 19,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:57:20Z",
"comment": "el contenido era: \u00ab<source lang=isabelle> chapter \u2039R3: Razonamiento estructurado sobre programas\u203a theory R3_Razonamiento_estructurado_sobre_programas imports Main begin text \u2039--------------------------------------------------------------- Ejercicio 1.1. Definir la funci\u00f3n sumaImpares :: nat \u21d2 nat tal que (sumaImpares n) es la suma de los n primeros n\u00fameros impares. Por ejemplo, sumaImpares 5 = 25 ------------------------------------------------------------\u2026\u00bb"
},
{
"logid": 38,
"ns": 0,
"title": "Relaci\u00f3n 2",
"pageid": 0,
"logpage": 15,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:57:05Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u2039R2: Razonamiento sobre programas en Isabelle/HOL\u203a theory R2_Razonamiento_sobre_programas imports Main begin declare [[names_short]] text \u2039--------------------------------------------------------------- Ejercicio 1.1. Definir la funci\u00f3n sumaImpares :: nat \u21d2 nat tal que (sumaImpares n) es la suma de los n primeros n\u00fameros impares. Por ejemplo, sumaImpares 5 = 25 -------------------------------------------\u2026\u00bb"
},
{
"logid": 37,
"ns": 0,
"title": "Relaci\u00f3n 10",
"pageid": 0,
"logpage": 43,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:56:49Z",
"comment": "el contenido era: \u00ab<source lang=\"isabelle\"> chapter \u2039R10: Verificaci\u00f3n de la ordenaci\u00f3n por mezcla\u203a theory R10_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text \u2039En esta relaci\u00f3n de ejercicios se define el algoritmo de ordenaci\u00f3n de listas por mezcla y se demuestra que es correcto.\u203a section \u2039Ordenaci\u00f3n de listas\u203a text \u2039----------------------------------------------------------------- Ejercicio 1. Definir la funci\u00f3n menor :: int \u21d2 int list\u2026\u00bb"
},
{
"logid": 36,
"ns": 0,
"title": "Relaci\u00f3n 1",
"pageid": 0,
"logpage": 10,
"params": {},
"type": "delete",
"action": "delete",
"user": "Jalonso",
"timestamp": "2021-07-26T11:56:33Z",
"comment": "el contenido era: \u00ab<source lang=\"haskell\"> chapter \u2039 R1: Programaci\u00f3n funcional en Isabelle \u203a theory R1_Programacion_funcional_en_Isabelle imports Main begin text \u2039 ---------------------------------------------------------------- Ejercicio 1. Definir, por recursi\u00f3n, la funci\u00f3n longitud :: 'a list \u21d2 nat tal que (longitud xs) es la longitud de la listas xs. Por ejemplo, longitud [a,b,c] = 3 ------------------------------------------------------------------- \u203a\u2026\u00bb"
}
]
}
}