Praktikum Formale Methoden

Wintertrimester 2001

Dr. Wolfram Kahl

Organisatorisches

• Hörer: dieses Praktikum ist gedacht für Hörer im 8. Trimester. Bei Bereitschaft, selbst ggf. Grundlagen der Logik beschleunigt zu erwerben, können auch hochmotivierte Studenten im 5. Trimester teilnehmen.
• Mangels Beteiligung fällt das Praktikum dieses Trimester aus.
• Kontakt: kahl@ist.unibw-muenchen.de

Inhalt: ``A Practical Course on KIV''

• KIV Homepage