Advertencia: no has iniciado sesión. Tu dirección IP se hará pública si haces cualquier edición. Si
inicias sesión o
creas una cuenta, tus ediciones se atribuirán a tu nombre de usuario, además de otros beneficios.
Puedes deshacer la edición.
Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual |
Tu texto |
Línea 128: |
Línea 128: |
|
| |
|
| == Ejercicio 3 == | | == Ejercicio 3 == |
|
| |
| === a ===
| |
|
| |
| agregarTodos: α x conj(conj(α)) → conj(conj(α))
| |
|
| |
| agregarTodos(n,c) ≡ if ∅?(c) then Ag(Ag(n,∅),∅) else Ag(Ag(n,dameUno(c)),agregarTodos(n,sinUno(c))) fi
| |
|
| |
| partesDe: conj(nat) → conj(conj(nat))
| |
|
| |
| partesDe(c) ≡ if ∅?(c) then c else agregarTodos(dameUno(c),partesDe(sinUno(c))) ∪ partesDe(sinUno(c)) fi
| |
|
| |
| === b ===
| |
|
| |
| combinacionesDeK: conj(α) x nat → conj(conj(α))
| |
|
| |
| combinacionesDeK(∅, k) ≡ ∅
| |
|
| |
| combinacionesDeK(Ag(e,c), k) ≡ if k = 0 ∨ #(Ag(e,c)) < k then ∅ else agregarTodos(e,combinacionesDeK(c,k-1)) ∪ combinacionesDeK(c,k) fi
| |
|
| |
|
| == Ejercicio 4 == | | == Ejercicio 4 == |