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''


Wolfram Kahl