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>
<run>(n 11)</run>