Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Informationen zur Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001

Auf dieser Seite und den referenzierten Seiten finden Sie alle Informationen, die im Zusammenhang mit der Organisation der Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001 von Bedeutung sind.

Aktuelles:

Scheine:
Die bei der Nachklausur erworbenen Scheine können ab 2. Mai im Sekretariat (34-417) abgeholt werden.
Foliensatz zu EAA:
Der komplette Foliensatz zur Vorlesung in kompakter Form steht bei Folien zur Verfügung.

Ansprechpartner

Übungsbetrieb

Termine

Literatur

Folien

Übungsblätter

Hinweise zu den praktischen Übungen

Scheinvergabe bzw. Kreditpunktevergabe

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

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

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Informationen zur Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus