Wintersemester2018/2019ÜbungsblattNr.1Abgabetermin:keineAbgabe LogischeMethodendesSoftwareEngineerings ÜbungenzurVorlesung
Volltext
ÄHNLICHE DOKUMENTE
(Aufgabe entspricht 1.7.17 im Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry-Howard Isomorphism, 1998.). Aufgabe 4 (Negation) (
Es kann die Weboberäche 2 oder eine lokale Installation 3 (mit der VSCode oder Emacs Einbindung) benutzt werden.. Die Aufgaben sind in der Datei lmse1718_09_blatt.lean als
Zeigen Sie, dass jeder Typ nur linear (in der Typlänge) viele
2.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
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
Geben sie formale Beweise (Deduktionen) für die drei Aussagen aus Beispiel 3.1.2 aus dem Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry-Howard Isomorphism,
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
03.10.2015 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