Lehrangebot der Abteilung
Automaten und Sprachen

Sommersemester 2006                                                      

• Automatentheorie   
  
  • Seminar: (D.Kuske) freitags, 11.15-12.45 Uhr, SG 3-09

• Baumautomaten   
  
  • Vorlesung: (D.Kuske) dienstags, 09.15-10.45 Uhr, HTWK Audimax

• Berechenbarkeitstheorie   
  
  • Vorlesung: (D.Kuske) donnerstags, 17.15-18.45 Uhr, HTWK Audimax
  • Übung: (I.Meinecke) freitags, 09.15-10.45 Uhr, SG 3-07

• Logik   
  
  • Übung: (R.Hartwig) montags, 09.15-10.45 Uhr, SG 3-01
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, SG 3-03

• Modelle der Nebenläufigkeit   
  
  • Vorlesung: (I.Meinecke) donnerstags, 15.15-16.45 Uhr, Zentralmensa

• Termersetzung   
  
  • Vorlesung: (D.Kuske) dienstags, 13.15-14.45 Uhr, SG 3-11

Durchgeführte Lehrveranstaltungen:                                

[SS 05] [WS 04/05] [SS 04] [WS 03/04] [SS 03] [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]