FK Informatik LS XIV Software Engineering Prof. Dr. Jakob Rehof Dr. Boris Düdder
Übungen zur Vorlesung
Komponenten- und Service-orientiere Softwarekonstruktion
Sommersemester 2015 Übungsblatt Nr. 4
Abgabetermin: 18.05.2015, 12:00 Uhr Aufgaben(teile) mit der Markierung ? sind Zusatzaufgaben.
Gemeinsame Abgaben von Gruppen bis zu 3 Personen sind möglich. 11.05.2015
Aufgabe 1 (ΞSKI7→Λ) (3 Punkte)
Zeigen Sie die folgende Aussage per Induktion über die Länge von F wG: WennF w Ggilt, dann folgt (F)Λβ (G)Λ.
Aufgabe 2 (Kombinatorische Vollständigkeit) (2 + 2 + 2 = 6Punkte) Zeigen Sie die Gültigkeit des folgenden Satzes:
Satz. Es gilt:
1. ([x]F)GwF[x:=G]
2. ([x]F)Λβ λx.(F)Λ
3. ∀x∈ V.∀F ∈ΞSKI.∃H∈ΞSKI.∀G∈ΞSKI. HGw F[x:=G]
Aufgabe 3 (Λ7→ΞSKI) (6 Punkte)
Zeigen Sie die Gültigkeit der folgenden Aussage:
Für alleM ∈Λ gilt((M)Ξ)Λβ M.
Seite 1 von 1