Forschungsgruppe Theoretische Informatik

Lehrangebot Sommersemester 2006

Grundstudium

• Logik II für IF 05
• Theoretische Informatik II für IF 04 und berufsbegleitendes Studium Gymnasialschullehrer Matr. 04
• Theoretische Informatik I für CV 05
• Theoretische Informatik für IngIF 05 und berufsbegleitendes Studium Berufsschullehrer Matr. 04 und Sekundarschullehrer Matr. 05

Hauptstudium

• Formalsprachliche Modelle biologischer Prozesse
• Algebraische Spezifikation

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