Lehrangebot der Abteilung
Automaten und Sprachen

Wintersemester 2003/04                                                      

• Algorithmen und Datenstrukturen
  
  • Übung: (H.-P.Schötz) montags, 15.15-16.45 Uhr, SG 3-31

• Petri-Netze I   
  
  • Vorlesung: (S.Gerber) dienstags, 09.15-10.45 Uhr, H 15

• Theorie-Seminar (H.Herre, G. Kern-Isberner)
  • dienstags, 15.00-16.30 Uhr, HG 3-68

• Theoretische Grundlagen wissensbasierter Systeme           [ Folien ]
  
  • Vorlesung: (G. Kern-Isberner) mittwochs, 09.15-10.45 Uhr, H 8

• Mengentheoretisch-algebraische Grundlagen
  
  • Vorlesung: (H.Herre) mittwochs, 17.15-18.45 Uhr, H 13
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, A Woche, SG 3-05
  • Übung: (R.Hartwig) dienstags, 13.15-14.45 Uhr, B Woche, SG 3-05
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, A Woche, SG 1-65
  • Übung: (R.Hartwig) donnerstags, 09.15-10.45 Uhr, B Woche, SG 1-65
  • Übung: (R.Hartwig) donnerstags, 13.15-14.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) donnerstags, 13.15-14.45 Uhr, B Woche, SG 3-09
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, A Woche, SG 3-09
  • Übung: (R.Hartwig) freitags, 09.15-10.45 Uhr, B Woche, SG 3-09

• Grundlagen der Programmverifikation   
  
  • Vorlesung: (R.Hartwig) freitags, 07.30-09.00 Uhr, H 14

Durchgeführte Lehrveranstaltungen:                                

[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]