Lehrangebot der Abteilung
Automaten und Sprachen

Sommersemester 2003                                                         

• Petri-Netze II   
  
  • Vorlesung: (S.Gerber) montags, 11.15-12.45 Uhr, H 1

• Berechenbarkeit und Komplexität        [ Folien ]   [ Aktuelles zu Übungen ]
  
  • Vorlesung: (H.Tompits) montags, 15.15-16.45 Uhr, H 11
  • Übung: (R.Hartwig) montags, 13.15-14.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) montags, 13.15-14.45 Uhr, B Woche, SG 3-05
  • Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, A Woche, SG 3-07
  • Übung: (J.Waldmann) dienstags, 09.15-10.45 Uhr, B Woche, SG 3-07
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, A Woche, SG 3-07
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, B Woche, SG 3-07

• Theorie-Seminar (H.Herre, H.Tompits, J.Waldmann)        Mailingliste
  • dienstags, 11.00-12.30 Uhr, HG 3-68

• Logik          [ Aktuelles zu Übungen ]
  
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-03
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-03
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 2-03
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 2-03

• Tableau-Kalküle in der Modallogik
  
  • Vorlesung: (H.Tompits) donnerstags, 11.15-12.45 Uhr, H 10

• Graphentheorie       [ Aktuelle Infos ]
  
  • Vorlesung: (J.Waldmann) freitags, 07.30-09.00 Uhr, H 3

• Geschichte der Logik
  
  • Problemseminar: (H.Tompits) freitags, 09.15-10.45 Uhr, SG 3-31

• Syntax, Semantik, Spezifikation - Grundlagen der Informatik   
  
  • Vorlesung: (R.Hartwig) freitags, 11.15-12.45 Uhr, H 20

Durchgeführte Lehrveranstaltungen:                                

[WS 02/03] [SS 02] [WS 01/02] [SS 01] [WS 00/01] [SS 00]
[WS 99/00] [SS 99] [WS 98/99] [SS 98] [WS 97/98] [SS 97] [WS 96/97] [SS 96]