Wintersemester2017/2018ÜbungsblattNr.8Abgabetermin:07.12.2017,14:15Uhr(inderÜbung) LogischeMethodendesSoftwareEngineerings ÜbungenzurVorlesung
Volltext
ÄHNLICHE DOKUMENTE
FK Informatik LS XIV Software Engineering Prof..
FK Informatik LS XIV Software Engineering Prof..
FK Informatik LS XIV Software Engineering Prof..
10.11.2016 Arbeite Kapitel 1 aus dem Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry- Howard Isomorphism, 1998 soweit durch, dass mindestens die
aus Beispiel 2.1.1 aus Lectures on the Curry-Howard Isomorphism (entspricht Aufgabe 2.7.3 aus Søren- sen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry-Howard
Gemeinsame Abgaben von Gruppen bis zu 4 Personen
Zeigen Sie, wie man mittels Disjunktion die boolschen Werte true und false repräsentieren kann, so dass die Repräsentation semantisch korrekt ist (d.h. die Reduktion entspricht
Zeigen Sie, dass jeder Typ nur linear (in der Typlänge) viele