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: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…»)