Registro de borrados

A continuación se muestra una lista de los borrados más recientes.

• 13:59 26 jul 2021 Jalonso discusión contribs. borró la página Relación 9 (el contenido era: «<source lang="isabelle"> chapter ‹9: Deducción natural de primer orden› theory R9_Deduccion_natural_de_primer_orden imports Main begin text ‹Demostrar o refutar los siguientes lemas usando sólo las reglas básicas de deducción natural de la lógica proposicional, de los cuantificadores y de la igualdad: · conjI: ⟦P; Q⟧ ⟹ P ∧ Q · conjunct1: P ∧ Q ⟹ P · conjunct2: P ∧ Q ⟹ Q · notnotD: ¬¬ P ⟹ P · mp:…»)
• 13:58 26 jul 2021 Jalonso discusión contribs. borró la página Relación 8 (el contenido era: «<source lang="isabelle"> chapter ‹R8: Formalización y argumentación con Isabelle/HOL› theory R8_Formalizacion_y_argmentacion imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta es relación formalizar y decidir automáticamente (con auto, blast, metis, meson o quickcheck) la corrección de los argumentos. Para comprobar las formalizaciones, en cada ejercicios se indica su posición en APLI2…»)
• 13:58 26 jul 2021 Jalonso discusión contribs. borró la página Relación 7 (el contenido era: «<source lang="isabelle"> chapter ‹R7: Deducción natural proposicional› theory R7_Deduccion_natural_proposicional_2 imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta relación es demostrar cada uno de los ejercicios usando sólo las reglas básicas de deducción natural de la lógica proposicional (sin usar los método simp ni auto). Para cada ejercicio dar una demostración estructurada y o…»)
• 13:58 26 jul 2021 Jalonso discusión contribs. borró la página Relación 6 (el contenido era: «<source lang="isabelle"> chapter ‹R6: Deducción natural proposicional› theory R6_Deduccion_natural_proposicional_1 imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta relación es demostrar cada uno de los ejercicios usando sólo las reglas básicas de deducción natural de la lógica proposicional (sin usar los método simp ni auto). Las reglas básicas de la deducción natural son las sigui…»)
• 13:57 26 jul 2021 Jalonso discusión contribs. borró la página Relación 5 (el contenido era: «<pre lang="isabelle"> chapter ‹R5: Recorridos de árboles› theory R5_Recorridos_de_arboles imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Definir el tipo de datos arbol para representar los árboles binarios que tiene información en los nodos y en las hojas. Por ejemplo, el árbol e / \ / \ c g / \ / \ a d f h se representa por "N e (N…»)
• 13:57 26 jul 2021 Jalonso discusión contribs. borró la página Relación 4 (el contenido era: «<source lang="haskell"> chapter ‹R4: Cuantificadores sobre listas› theory R4_Cuantificadores_sobre_listas imports Main begin text ‹------------------------------------------------------------------ Ejercicio 1. Definir la función todos :: ('a ⇒ bool) ⇒ 'a list ⇒ 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 (λx. 1<length x) [[2,1,4],[1,3]] ¬todo…»)
• 13:57 26 jul 2021 Jalonso discusión contribs. borró la página Relación 3 (el contenido era: «<source lang=isabelle> chapter ‹R3: Razonamiento estructurado sobre programas› theory R3_Razonamiento_estructurado_sobre_programas imports Main begin text ‹--------------------------------------------------------------- Ejercicio 1.1. Definir la función sumaImpares :: nat ⇒ nat tal que (sumaImpares n) es la suma de los n primeros números impares. Por ejemplo, sumaImpares 5 = 25 ------------------------------------------------------------…»)
• 13:57 26 jul 2021 Jalonso discusión contribs. borró la página Relación 2 (el contenido era: «<source lang="isabelle"> chapter ‹R2: Razonamiento sobre programas en Isabelle/HOL› theory R2_Razonamiento_sobre_programas imports Main begin declare names_short text ‹--------------------------------------------------------------- Ejercicio 1.1. Definir la función sumaImpares :: nat ⇒ nat tal que (sumaImpares n) es la suma de los n primeros números impares. Por ejemplo, sumaImpares 5 = 25 -------------------------------------------…»)
• 13:56 26 jul 2021 Jalonso discusión contribs. borró la página Relación 10 (el contenido era: «<source lang="isabelle"> chapter ‹R10: Verificación de la ordenación por mezcla› theory R10_Verificacion_de_la_ordenacion_por_mezcla imports Main begin text ‹En esta relación de ejercicios se define el algoritmo de ordenación de listas por mezcla y se demuestra que es correcto.› section ‹Ordenación de listas› text ‹----------------------------------------------------------------- Ejercicio 1. Definir la función menor :: int ⇒ int list…»)
• 13:56 26 jul 2021 Jalonso discusión contribs. borró la página Relación 1 (el contenido era: «<source lang="haskell"> chapter ‹ R1: Programación funcional en Isabelle › theory R1_Programacion_funcional_en_Isabelle imports Main begin text ‹ ---------------------------------------------------------------- Ejercicio 1. Definir, por recursión, la función longitud :: 'a list ⇒ nat tal que (longitud xs) es la longitud de la listas xs. Por ejemplo, longitud [a,b,c] = 3 ------------------------------------------------------------------- ›…»)
• 13:54 26 jul 2021 Jalonso discusión contribs. borró la página Colaboraciones (el contenido era: «= Colaboraciones ponderadas en las relaciones = <source pre=txt> |------------+------+-----+----+----+----+----+----+----| | UVUS | SP | R7 | R6 | R5 | R4 | R3 | R2 | R1 | |------------+------+-----+----+----+----+----+----+----| | gerrovpar | 1256 | 127 | 24 | 16 | 22 | 6 | 13 | 11 | | kaoel5 | 939 | 74 | 41 | 16 | 19 | 0 | 5 | 9 | | serperzar |…», y el único autor fue «Jalonso» (discusión))
• 13:54 26 jul 2021 Jalonso discusión contribs. borró la página Estadísticas (el contenido era: «= Colaboraciones en la relación 2 = <source lang="text"> | 13 | serperzar | | 13 | natcalgon | | 13 | gerrovpar | | 13 | davpacmar | | 13 | arndar | | 12 | palcarfer | | 12 | pabrodsas | | 12 | osclargua | | 12 | maybarmar | | 12 | maucastri | | 12 | leacansan | | 12 | juanavsan2 | | 12 | javcasdel | | 12 | ernmantav | | 1…», y el único autor fue «Jalonso» (discusión))