FK Informatik LS XIV Software Engineering Prof. Dr. Jakob Rehof MSc. Jan Bessai, MSc. Andrej Dudenhefner, Dr. Boris Düdder
Volltext
ÄHNLICHE DOKUMENTE
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,
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
Aufgabe 3 (Kontroll Operatoren) (3 Punkte) Leiten Sie die Reduktionsschritte für die folgenden Kontrolloperatorreduktionen
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
10.11.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
17.11.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