Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Informationen zur Vorlesung Grundlagen der Programmierung im Sommersemester 2000

Auf dieser Seite und den referenzierten Seiten finden Sie alle Informationen, die im Zusammenhang mit der Organisation der Vorlesung Grundlagen der Programmierung im Sommersemester 2000 von Bedeutung sind.

Aktuelles:

Scheine:
Die Scheine sind im Sekretariat (34-417) von Montag bis Donnerstag vormittags erhältlich.
Übungsblätter:
Hier ist eine Sammlung aller Übungsblätter zu der Vorlesung Grundlagen der Programmierung aus dem Sommersemester 2000 zu finden.

Ansprechpartner

Antworten zu häufig gestellten Fragen

Übungsbetrieb

Termine

Literatur

Lösungshinweise:

1. schriftliche Überprüfung
2. schriftliche Überprüfung
3. schriftliche Überprüfung

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 Grundlagen der Programmierung im Sommersemester 2000

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus