Todos los registros públicos
Vista combinada de todos los registros de Razonamiento automático (2019-20). 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.
- 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))
- 18:16 3 mar 2020 Jalonso discusión contribs. protegió la página Relación 10 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 16:19 13 feb 2020 Jalonso discusión contribs. protegió la página Tema 11: Verificación de la ordenación por inserción [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 16:17 13 feb 2020 Jalonso discusión contribs. protegió la página Tema 10: Caso de estudio: Compilación de expresiones [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 16:14 13 feb 2020 Jalonso discusión contribs. protegió la página Relación 9 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 16:14 13 feb 2020 Jalonso discusión contribs. protegió la página R10 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 15:04 16 ene 2020 Jalonso discusión contribs. protegió la página R9 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 10:51 16 ene 2020 Jalonso discusión contribs. protegió la página Relación 8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 13:49 9 ene 2020 Jalonso discusión contribs. protegió la página Relación 7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 13:48 9 ene 2020 Jalonso discusión contribs. protegió la página R8 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:16 19 dic 2019 Jalonso discusión contribs. protegió la página R7 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 09:09 19 dic 2019 Jalonso discusión contribs. protegió la página Relación 6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 12:38 12 dic 2019 Jalonso discusión contribs. protegió la página R6 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 09:08 12 dic 2019 Jalonso discusión contribs. protegió la página Relación 5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 09:57 5 dic 2019 Jalonso discusión contribs. protegió la página Relación 4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 09:57 5 dic 2019 Jalonso discusión contribs. protegió la página R5 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 21:30 4 dic 2019 Jalonso discusión contribs. protegió la página Tema 5: Razonamiento sobre árboles y bosques [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 07:11 29 nov 2019 Jalonso discusión contribs. protegió la página Relación 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 20:40 28 nov 2019 Jalonso discusión contribs. eliminó la protección de Relación 3
- 07:50 28 nov 2019 Jalonso discusión contribs. protegió la página Relación 3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 07:49 28 nov 2019 Jalonso discusión contribs. protegió la página R4 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 16:17 14 nov 2019 Jalonso discusión contribs. protegió la página R3 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 12:11 14 nov 2019 Jalonso discusión contribs. protegió la página Relación 2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 12:57 7 nov 2019 Jalonso discusión contribs. protegió la página Relación 1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 12:49 7 nov 2019 Jalonso discusión contribs. protegió la página R2 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:07 4 nov 2019 Jalonso discusión contribs. eliminó la protección de Relación 1
- 11:06 4 nov 2019 Jalonso discusión contribs. protegió la página Relación 1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)
- 11:49 15 oct 2019 Jalonso discusión contribs. protegió la página Sistemas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:48 15 oct 2019 Jalonso discusión contribs. protegió la página Documentación [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:46 15 oct 2019 Jalonso discusión contribs. protegió la página Ejercicios [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:46 15 oct 2019 Jalonso discusión contribs. protegió la página Temas [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:45 15 oct 2019 Jalonso discusión contribs. protegió la página Tema 1: Programación funcional en Isabelle [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:45 15 oct 2019 Jalonso discusión contribs. protegió la página Razonamiento automático (2019-20) [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)
- 11:45 15 oct 2019 Jalonso discusión contribs. protegió la página R1 [Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido) (hist.)