13.05.2013

LDS: Übung entfällt

Keine Übungen am 20. und 22. Mai

Mehr...

10.05.2013

LDS: UniworX Format Probleme

Hausaufgaben werden nur in PDF und TXT akzeptiert

Mehr...

26.04.2013

LDS: Übung entfällt

Keine Übungen am 29.04. und 1.5.

Mehr...

25.02.2013

EFP: UniworX Anmeldung eröffnet

Anmeldung bei UniworX erforderlich

Mehr...

25.07.2012

LDS: Ergebnis Erstklausur

Mehr...

11.07.2012

LDS: Stoffwiederholung zur Klausurvorbereitung

Sondertermin der LDS Vorlesung

Mehr...

05.07.2012

FP: Abgabe8 verlängert

Blatt 08 Abgabe bis 12.07. 16h

Mehr...

29.05.2012

Amortized Analysis at ICFP'12

Arbeit über Amortisierte Analyse Funktionaler Programme mit verzörgerter Auswertung wird bei der ICFP 2012 in Kopenhagen, Dänemark, vorgestellt

Mehr...

09.05.2012

LDS: Blatt 03 Hinweise zur Notation

Punkt-Quantor-Notation

Mehr...

07.05.2012

LDS: Abgabe 1. Übung

Abgabe per UniworX nun möglich

Mehr...

17.04.2012

LDS: UniworX Anmeldung (UPDATE)

Anmeldung zur Vorlesung "Logik und Diskrete Strukturen" erforderlich

Mehr...

16.04.2012

FP: UniworX Anmeldung

Anmeldung zur Vorlesung "Funktionale Programmierung"

Mehr...

25.07.2013

LDS: Klausur

Klausur zur Vorlesung Logik und Diskrete Strukturen

Mehr...