Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Termine zur Vorlesung Theorembeweisen im Wintersemester 2001/2002

Die Termine und der Raum der Vorlesung sind:
- Montags, 8:15-9:45, 34-420 (induktive Theorie)
- Mittwochs, 8:15-9:45, 46-260 (PL1)
Der Termin und Raum der Übungsgruppe ist:
- Neu: Dienstags, 13:45-15:15, 34-420 (induktive Theorie)
- Dienstags, 15:30-17:00, 32-439 (PL1)
Die Übungen zu den beiden Teilvorlesungen finden im Wechsel alle zwei Wochen statt.
Der Übungsbetrieb beginnt am 13.11.2001 (PL1) bzw. am 20.11.2001 (induktive Theorie).

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de