BuK/IIm11/Studenten/simawiel/ue3

Wiki-Quelltext dieser Seite.

Aufgabe 3: ÜA: Zeigen Sie, dass die Menge der geraden Zahlen G eine aufzählbare Menge ist. 

Gegeben:

aufzählbar: abzählbar + berechenbar
abzählbar: $\exists f$: $\N \mapsto G$, G sei die Menge der geraden Zahlen
$f$: surjektiv
berechenbar: Es gibt einen Algorithmus für $f$

Funktion:



Algorithmus:
<code>
(define geradezahl
  (lambda (n)
    (if (equal? (modulo n 2) 0)
      (displayln n)
      (displayln (* (+ n 1) -1))
    )
  )
)
</code>