ue3

Aus ProgrammingWiki

Archivierte Version vom 2012-04-03T13:23:30+00:00. Aktuelle Version

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:

(define geradezahl
  (lambda (n)
    (if (equal? (modulo n 2) 0)
      (displayln n)
      (displayln (* (+ n 1) -1))
    )
  )
)

(geradezahl 11)