Posiciones de conjuntos finitos de naturales

En un ejercicio anterior se mostró que los conjuntos finitos de números naturales se pueden enumerar como sigue

en la que los elementos están ordenados de manera decreciente.

Además, se definió la constante

tal que sus elementos son los conjuntos de los números naturales con la ordenación descrita anteriormente. Por ejemplo,

Definir la función

tal que (posicion xs) es la posición del conjunto finito de números naturales xs, representado por una lista decreciente, en enumeracionCFN. Por ejemplo,

Comprobar con QuickCheck que para todo número natural n,

Soluciones

Pensamiento

¡Volar sin alas donde todo es cielo!

Antonio Machado

4 Comentarios

  1. No sé si es así la propiedad porque supongo que debe de dar para todas las listas, la vacía incluida

    1. Propiedad corregida y comprobada

Escribe tu solución