• Keine Ergebnisse gefunden

Übungen zur Vorlesung

N/A
N/A
Protected

Academic year: 2021

Aktie "Übungen zur Vorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Informatik LS XIV – Software Engineering – Prof. Dr. Jakob Rehof Jan Bessai

Übungen zur Vorlesung

Komponenten- und Service-orientiere Softwarekonstruktion

Sommersemester 2017 Übungsblatt Nr. 1

Abgabetermin: 3.5.2017 (vorher per Mail oder in der Vorlesung) Aufgaben(teile) mit der Markierung

? sind Zusatzaufgaben.

Gemeinsame Abgaben von Gruppen bis zu 3 Personen sind möglich. 26.4.2017

Aufgabe 1 (Combinatory Logic) (5 Punkte)

Gegeben sei die Typumgebung

Γ ={S: (α→

β

γ

)→(α→

β)

α

γ, C

:

α

β

α}

mit den aus dem Papier „Über die Bausteine der mathematischen Logik“ bekannten Kombinatoren S und C.

1. Zeigen Sie, dass der Inhabitant I

=

SCC den Typen α

α hat, indem Sie genau beschrei- ben, welche Reglen der kombinatorischen Logik (Foliensatz 1, Folie 2) man anwenden muss, um ihn zu formen. Geben Sie insbesondere beim Verwenden der

(var)-Regel die Substitutionen an

und benutzen Sie zur Vermeidung von Verwechslungen einen anderen Buchstaben als S für die Substitutionsfunktion.

2. Finden Sie einen anderen Inhabitanten des Types α

α und beschreiben Sie die Regelanwen- dungen und Substitutionen wie in Aufgabe 1.

Aufgabe 2 (Taxonomische Struktur) (5 Punkte)

Stellen Sie die folgende taxonomische Beschreibung wie auf Folie 5 als Baum da, wobei gestrichelte Kanten „besteht-aus“ ausdrücken und durchgezogene Kanten Spezialisierung.

Ein Roboter besteht aus einem Aktuator und einem Sensor. Antriebe und Signalgeber sind Aktuatoren.

Beine und Rollen sind Antriebe, wobei Beine aus einem linken und einem rechten Bein bestehen und Rollen aus einem Vorder- und einem Hinterrad. Ein Signalgeber kann eine Lampe oder ein Lautsprecher sein. Ein Sensor ist entweder ein Berührungssensor, oder ein Lichtsensor.

Seite 1 von 1

Referenzen

ÄHNLICHE DOKUMENTE

Man benötigt ein Sandsäckchen oder Kissen, welches das Kind auf die, vom Trainer genannte Körperstelle legen soll. „Lege das Säckchen auf deine

Kann eine Ersatzperson gestellt werden oder jemand von einer Warteliste nachrücken, entstehen keine Kosten.

Auch die BN-Kreisgruppe Freyung-Grafenau engagiert sich seit langem für den Erhalt und die Verbesserung der Moorlebensräume im Landkreis, der für die hier vorkommenden Hoch-

Entspannt sich der Muskel, lässt auch der Druck auf die tiefen Venen nach und es entsteht ein Sog, der Blut aus den oberflächlichen Venen in die Tiefe saugt.. In

brikant hat 1996, als Querein- steiger, das Unternehmen Fritz Scheller gemeinsam mit sei- ner Frau übernommen und mit dem Kräuterlikör ReichsPost Bitter 2008 eine alte Tradition

Wenn aber das Blut aus den tiefen Venen in die Venulen ge- drückt wird, werden sie durch die Druckerhöhung durchlässig, sodass immer mehr Wasser, der Hauptbestandteil des Blutplas-

k Bequeme Schuhe aus weichem, hochwertigem Material schützen die Füße vor Druck und über- mäßiger Verhornung. Schuhe mit niedrigen Absätzen entlasten die Fußballen. Bei Schwielen

So können beim Diabetes mellitus Beinschmerzen sowohl durch die dia- betische Neuropathie selbst als auch durch eine Makro- oder Mikroangiopathie verursacht werden.. Auch