• 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. 5

Abgabetermin: 7.6.2017 (in der Übung, 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. 27.5.2017

Aufgabe 1 (Ξ

SKI

7→ Λ) (4 Punkte)

Zeigen Sie die folgende Aussage:

Wenn F

w

G gilt, dann folgt (F )

Λβ

(G)

Λ

.

Aufgabe 2 (Kombinatorische Vollständigkeit) (2 + 2 + 2 = 6 Punkte) Zeigen Sie die Gültigkeit des folgenden Satzes:

Satz. Es gilt:

1. ([x]F)G

w

F [x := G]

2. ([x]F)

Λβ

λx.(F )

Λ

3. x ∈ V . F Ξ

SKI

. H Ξ

SKI

. G Ξ

SKI

. HG

w

F [x := G]

Seite 1 von 1

Referenzen

ÄHNLICHE DOKUMENTE

(a) Sie nden die L A TEX-Vorlage für Übungsabgaben im ILIAS-Übungsobjekt oder direkt auf der Veranstaltungs-Website (dort, wo Sie auch dieses Aufgabenblatt herunter- geladen haben).

Dies liegt an einem kleinen, aber gern gemachten Tippfehler: Die while-Schleife führt die erste Anweisung oder den ersten Block solange aus, bis die Bedingung nicht mehr erfüllt

Konstruieren Sie eine probabilistische TM M 0 , die für keine Eingabe mehr Schritte macht als M schlimmstenfalls es tut und in jeder Situation genau zwei verschiedene Möglichkeiten

Gehen Sie davon aus, dass alle Kantengewichte paarweise verschieden voneinander sind..

[r]

Für einen Graphen G sei wie in der Vorlesung L ( G ) die Menge der lokal minimalen Kanten und B ( G ) der Graph, der nach einer Bor ˚uvka-Phase aus G entsteht.. Zeigen Sie im

Oder, in ganz anderen Worten, die Basis SK = {S, K} ist vollständig bezüglich des SKI-Kalküls. Daher spricht man auch

Man beobachtet für den elektronischen Ursprung des ersten Übergangs eine lorentzförmige Absorptionsbande bei 32100 cm -1 mit einer Linienbreite (FWHM) von 4.2 cm -1. a)