Übungen im Wintersemester 2009/2010


Übungen
Logik

zur Vorlesung von PD Dr. D. Kirsten

und

Übungen
Syntax, Semantik, Spezifikation - Algebraische Grundlagen der Informatik

zur Vorlesung von Dr. R. Hartwig


Wer sich noch für meine Übungen aus dem vergangenen Semester interessiert, kann hier klicken.

Bei Rückfragen scheuen Sie sich nicht davor, mit mir Kontakt aufzunehmen!


rhartwig@informatik.uni-leipzig.de


[home]


Seite erstellt von Dr. Rolf Hartwig
Letzte Änderung: 12.10.2009