Forschungsgruppe Theoretische Informatik

Lehrangebot Wintersemester 2003/2004

Grundstudium

• Logik I für IF 03
• Logik für CV 03, WIF 03 und ING-IF 03
• Theoretische Informatik I für IF 02 und berufsbegleitendes Studium Gymnasialschullehrer Matr. 02

Hauptstudium

• Algebraische Spezifikation
• Textalgorithmen für IF, CSM, ING-IF
• Theoretische Informatik I für Fernstudium Matr. 00

Das Lehrangebot des vorigen Semesters finden Sie hier.
Das Lehrangebot des nächsten Semesters finden Sie hier.

Zurück zur Homepage der Forschungsgruppe Theoretische Informatik