BuK-Übung02 G2

Aus ProgrammingWiki

Archivierte Version vom 2011-03-28T16:00:26+00:00. Aktuelle Version

Inhaltsverzeichnis

1 Halteproblem
- 1.1 Aufgabe
- 1.2 Lösung
2 Beweise
3 Kreativität
4 Bijektive Funktion
- 4.1 Aufgabe
- 4.2 Lösung

Halteproblem

Aufgabe

Lösung

(define haelt-fuer-n?
  (lambda (f n)
    (if (integer? (f n))
        #t
        #f)))

(define haelt?
  (lambda (f)
    (haelt-fuer-n? f 0)))

(define crazy
  (lambda (n)
    (if (haelt? crazy n)
        (crazy n)
        n)))

(define haelt-tricky?
  (lambda (f timeout)
    (letrec 
        ([ft (thread f)]
         [helper
          (lambda (timeLeft)
            (if (thread-running? ft)
                (if (= timeLeft 0)
                    #f
                    (begin (sleep 1) (helper (- timeLeft 1))))
                #t))])
      (helper timeout))))

(define test1
  (lambda ()
    (print "hallo")))

(define test2
  (lambda ()
    (test2)))

(haelt-tricky? test1 10)

(haelt-tricky? test2 10)

Beweise

Kreativität

Schauen Sie sich das Video http://www.youtube.com/watch?v=oyo_oGUEH-I an, um den Begriﬀ der Kreativität besser zu verstehen.

Bijektive Funktion

Aufgabe

Lösung

(define f
  (λ (n)
    (cond
      [(= n 1) 1]
      [(= (modulo n 2) 0) (+ (f (/ n 2)) 1)]
      [else (/ 1 (f (- n 1)))])))

(f 3)

BuK-Übung02 G2

Inhaltsverzeichnis

Halteproblem

Aufgabe

Lösung

Beweise

Kreativität

Bijektive Funktion

Aufgabe

Lösung

Suche