• Keine Ergebnisse gefunden

Wintersemester2017/2018ÜbungsblattNr.8Abgabetermin:13.12.2017,14:15Uhr LogischeMethodendesSoftwareEngineerings ÜbungenzurVorlesung

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Wintersemester2017/2018ÜbungsblattNr.8Abgabetermin:13.12.2017,14:15Uhr LogischeMethodendesSoftwareEngineerings ÜbungenzurVorlesung"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

FK Informatik LS XIV Software Engineering Prof. Dr. Jakob Rehof M. Sc. Andrej Dudenhefner

Übungen zur Vorlesung

Logische Methoden des Software Engineerings

Wintersemester 2017/2018 Übungsblatt Nr. 8

Abgabetermin: 13.12.2017, 14:15 Uhr

Gemeinsame Abgaben von Gruppen bis zu 4 Personen sind möglich. 06.12.2017 Für dieses Blatt wird Lean1 benötigt. Es kann die Weboberäche2 oder eine lokale Installation3 (mit der VSCode oder Emacs Einbindung) benutzt werden.

Die Aufgaben sind in der Datei lmse1718_09_blatt.lean als Kommentare (beginnend mit ) formu- liert.

Aufgabe 1 (Implikatives Fragment) (3Punkte)

Siehe lmse1718_09_blatt.lean.

Aufgabe 2 (Intuitionistische Logik) (3Punkte)

Siehe lmse1718_09_blatt.lean.

1https://leanprover.github.io/

2https://leanprover.github.io/live/

3https://leanprover.github.io/download/

Seite 1 von 1

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 78.26 KB )

ÄHNLICHE DOKUMENTE

() () 2 2 ()= 3 5 − 12 2 2 12 12 12 2 − − 1 − = 15 − 3 3

In dieser Situation liegen der Mittelpunkt dieses dritten Kreises und die beiden Schnitt- punkte der ersten beiden Kreise im Verhältnis des goldenen Schnittes. Der längere Abschnitt,

3 W 14/12

In dem versicherten Gebäude befinden sich vier Wohnungen, von denen zum Zeit- punkt des Schadenseintritts zwei an Dritte vermietet waren. Eine Wohnung bewohnte

2 U 14/12

Aus all dem folgt, dass mit Rücksicht auf diese enge Verklammerung zwischen dem Ursprungsschuldverhältnis und dem Prozessvergleich für die Frage, worauf sich die

Übungsaufgabe 3 Programmierung mit Emacs-Lisp

Aufgabe 9 Implementieren Sie in einer Datei binom.el eine Funktion zur Berechnung der Fakultät einer natürlichen Zahl n, sowie eine darauf aufbauend Funktion zur Bestimmung

1 2 3 4 5 6 7 8 9 1011 12 13 14 1617

[r]

Wintersemester2017/2018ÜbungsblattNr.10Abgabetermin:10.01.2018,14:15Uhr LogischeMethodendesSoftwareEngineerings ÜbungenzurVorlesung

Zeigen Sie, dass jeder Typ nur linear (in der Typlänge) viele

3. Lean Production .

Dies wird in einem ersten Schritt über eine systematische Ermittlung, Relati- vierung und Kontrolle aller qualitätsbezogenen Kosten geschehen, sowie deren Heranziehen für

2+3 2017

Es wird nicht (mehr) darauf vertraut, dass die Wissenschaft und die Hochschulen quasi von selbst Studierende in adäquater Weise für ihre späteren Berufe vorbereiten