Hauptseite
Aus LVA Wiki Arbeitsgruppe Theoretische Informatik und Logik
Lehrveranstaltungswiki der Arbeitsgruppe Theoretische Informatik und Logik.
Inhaltsverzeichnis |
Sommersemester 2012
6.0/4.0 VU Logic and Computability (Agata Ciabattoni, Uwe Egly, Christian Fermüller, Hans Tompits)
Wintersemester 2011
6.0/4.0 VU Theoretische Informatik und Logik (Bernhard Gramlich, Marion Oswald)
Sommersemester 2011
6.0/4.0 VU Theoretische Informatik und Logik (Christian Fermüller, Rudolf Freund)
1.5/1.0 VU Weiterführende Themen in Formalen Sprachen und Automaten 2 SS 2011 (Rudolf Freund)
Wintersemester 2010
6.0/4.0 VU Theoretische Informatik und Logik (Bernhard Gramlich, Marion Oswald)
3.0/2.0 VO Automaten und formale Sprachen (Rudolf Freund, Marian Kogler)
1.5/1.0 UE Automaten und formale Sprachen (Rudolf Freund, Marian Kogler)
3.0/2.0 SE Grundlagen methodischen Arbeitens (Rudolf Freund)
6.0/4.0 PV Privatissimum aus Fachdidaktik Informatik(Rudolf Freund, Harald Zumpf)
1.5/1.0 VU Simulation using biologically-inspired systems (Rudolf Freund)
1.5/1.0 VU Weiterführende Themen in Formalen Sprachen und Automaten 1 (Rudolf Freund)
3.0/2.0 SE Seminar aus Theoretischer Informatik (Rudolf Freund)
