Loesungsversuche fuer alte Klausuren !

Bachelor Parallele und funktionale Programmierung
1

reup

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

2

Loesungsversuche fuer alte Klausuren !
Auf anfrage :

fuer alle die alte Klausuren zum abgleichen haben wollen, reuppe ich nochma die von mir gemachten klausuren aussem WinterSemester.

Kein Anspruch auf Richtigkeit, d.h es kann sein dass Fehler drin sind, daher genau durchgucken und mit Vorsicht “geniessen” :smiley:

http://www.speedyshare.com/files/23627441/fuersforum.rar

Viel spass! ^^

3

???
es gibt nichtssss!!!

4

Wie meinen?

5

Habe ihm bereits ne Mail geschrieben.
Vllt hat er ja noch ein paar Loesungen.

Das nächste Mal ruhig mehr Satzzeichen reinstreuen…

6

Ich will ja jetzt keine Kritik an spezifischen Personen üben, aber es ist ja nicht so, als hätte nicht jemand mal erwähnt, dass $billig-klick-download-hoster die Dateien nicht ewig vorhält und das Forum keine eigene Dateianhang-Funktion hätte…

7

soweit ich mich erinnere sind meine annotierten klausuren auch noch irgendwo im forum. als dateianhang.

8

Hallo,

ich hab mal eine Frage zur Aufgabe 6 b KLausur Februar 2009.

Es geht ums Lambda-Kalkül. Ist die richtige Lösung

Lambda B’ . B B’ oder Lambda B’. B ?

ich bin mir nämlich nicht sicher, wie man den Term
(Lambda E’.B)(EB’) richtig auswertet.

Vielen Dank für die Hilfe

9

Also ohne die Aufgabe zu kennen, wenn wirklich nur der Ausdruck da steht, dann sollte da B rauskommen. Denn (EB’) ist der Paramater und E’ die Variable, da im Ausdruck aber kein E’ vorkommt, bleibt nur das B uebrig.

10

(λ E’ . B)(EB’) → B

Es kommt E’ im Körper des λ-Ausdurcks ja nicht vor.

11

ok vielen dank

12

Nochmal eine Aufgabe des Lambda Kalküls

6b vom August 2010

Ist dies korrekt?

(λ z z’ f x. z f ( z’ f x)) (λ f x . f x) (λ f x . f x)
→α: (λ z z’ f’ x. z f’ ( z’ f’ x)) (λ f x . f x) (λ f x . f x)
→α: (λ z z’ f’ x’. z f’ ( z’ f’ x’)) (λ f x . f x) (λ f x . f x)
→β: (λ z’ f’ x’. (λ f x . f x) f’ ( z’ f’ x’)) (λ f x . f x)
→β: (λ f’ x’. (λ f x . f x) f’ ( (λ f x . f x) f’ x’))
→β: (λ f’ x’. (λ f x . f x) f’ ( f’ x’))
→β: (λ f’ x’. f’ f’ x’)

13

ich glaube dass du es richtig gemacht hast !
das ist meine Loesung
(λ z z’ fx. z f ( z’ f x)) (λ f x . f x) (λ f x . f x)
(λ z’ fx. (λ f x . f x) f ( z’ f x)) (λ f x . f x)
(λ fx. (λ f x . f x) f ( (λ f x . f x)f x))
(λ fx. (λ f x . f x) f ( f x)
(λ fx. ( f ( f x)))

14

(λ z z’ f x. z f ( z’ f x)) (λ f x . f x) (λ f x . f x)
→β:(λ z’ f x. (λ f x . f x) f ( z’ f x)) (λ f x . f x)
→β:(λ f x.(λ f x . f x) f ((λ f x . f x) f x))
→β:(λ f x.(λ x.fx)((λ f x . f x) f x))
→β:(λ f x.(f((λ f x . f x) f x)))
→β:(λ f x.(f((λ x.f x) x)))
→β:(λ f x.(f(f x)))

alphakonversion ist da gar nicht nötig, glaub bei dir fehlen aber paar klammern