BuK-Übung05 G2

Aus ProgrammingWiki

Archivierte Version vom 2011-04-27T14:30:21+00:00. Aktuelle Version

Inhaltsverzeichnis

1 Prozedur stoppt-collatz-bis?
- 1.1 Aufgabe
- 1.2 Lösung
2 Beweis
- 2.1 Aufgabe
- 2.2 Lösung
3 Turingmaschine (TM) und RADOsche Funktion
- 3.1 Aufgabe
- 3.2 Lösung
4 Beweis
- 4.1 Aufgabe
- 4.2 Lösung

Prozedur `stoppt-collatz-bis?`

Aufgabe

Schreiben Sie eine Scheme-Prozedur stoppt-collatz-bis?, die eine Zahl n als Eingabe erwartet und feststellt, ob die endlichen Collatzfolgen für i = 2, 3, ..., n existieren.

Lösung

(define collatz
  (lambda (n)
    (cond
      ((= n 1) 1)
      ((= (modulo n 2) 0) (collatz (/ n 2)))
      (else (collatz (+ 1 (* 3 n))))
)))

(define stoppt-collatz-bis?
  (lambda (start)
    (if (= 1 (collatz start))
    #t
    #f
)))

(collatz 5)

(stoppt-collatz-bis? 7)

BuK-Übung05 G2

Inhaltsverzeichnis

Prozedur stoppt-collatz-bis?

Aufgabe

Lösung

Beweis

Aufgabe

Lösung

Turingmaschine (TM) und RADOsche Funktion

Aufgabe

Lösung

Beweis

Aufgabe

Lösung

Suche

Prozedur `stoppt-collatz-bis?`