Theorie des Logikentwurfs SS 1999

Inhalt

Eine Übersicht über die Kapitel der Vorlesung mit Literaturhinweisen ist hier zu finden.

Übungen

finden ab dem 12.4.1999 zu folgenden Zeiten statt.

Dienstag, 12:15 - 14:00 Uhr, GB IV / SR 318