Lehrangebot Wintersemester 2007/2008
Abteilung Theoretische Informatik

• Ergänzungen zur Logik [2Ü] (Hoffmann)
  • Termin:

    Zeit		Raum
    Do	17:30-19:00	V38.04

  • Zielgruppe: Informatik (Grundstudium), Softwaretechnik (Grundstudium)
   
• Theoretische Informatik II [2V] (Petersen)
  • Termin:

    Zeit		Raum
    Do	14:00-15:30	V38.01

  • Zielgruppe: Informatik (Grundstudium), Softwaretechnik (Grundstudium)
   
• Theoretische Informatik II - Übungen B [1Ü] (Petersen / Wiss.MA)
  • Termin:

    Zeit		Raum
    Di	09:45-11:15 (14-tg.)	0.457
    Mi	15:45-17:15 (14-tg.)	0.124
    Do	09:45-11:15 (14-tg.)	0.457

  • Zielgruppe: Informatik (Grundstudium)
   
• Ergänzungen zur Theoretischen Informatik II [2Ü] (Hoffmann)
  • Termin:

    Zeit		Raum
    Fr	09:45-11:15	V38.04

  • Zielgruppe: Informatik (Grundstudium), Softwaretechnik (Grundstudium)
   
• Formale Semantik [2V] (Hertrampf)
  • Termin:

    Zeit		Raum
    Mo	15:45-17:15	V38.04

  • Zielgruppe: Informatik (Hauptstudium)
   
• Formale Semantik [1Ü] (Hertrampf)
  • Termin:

    Zeit		Raum
    Do	09:45-11:15 (14-tg.)	0.124
    Do	11:30-13:00 (14-tg.)	0.124
    Do	14:00-15:30 (14-tg.)	0.124

  • Zielgruppe: Informatik (Hauptstudium)
   
• Komplexitätstheorie [2V] (Diekert)
  • Termin:

    Zeit		Raum
    Do	08:00-09:30	V38.04

  • Zielgruppe: Informatik (Hauptstudium)
   
• Komplexitätstheorie [1Ü] (Diekert / Wiss.MA)
  • Termin:

    Zeit		Raum
    Mo	11:30-13:00 (14-tg.)	0.124
    Do	11:30-13:00 (14-tg.)	0.457

  • Zielgruppe: Informatik (Hauptstudium)
   
• Algorithmentheorie II [2V] (Diekert)
  • Termin:

    Zeit		Raum
    Di	08:00-09:30	V38.02

  • Zielgruppe: Informatik (Hauptstudium), Softwaretechnik (Hauptstudium)
   
• Algorithmentheorie II [1Ü] (Diekert)
  • Termin:

    Zeit		Raum
    Mo	15:45-17:15 (14-tg.)	0.124

  • Zielgruppe: Informatik (Hauptstudium), Softwaretechnik (Hauptstudium)
   
• Oberseminar der Theoretischen Informatik [2K] (Diekert / Hertrampf / Petersen)
  • Termin:

    Zeit		Raum
    Mi	09:45-11:15	0.124

  • Zielgruppe: Informatik (Hauptstudium)
   
• Theoretische Informatik II - Übungen A [1Ü] (Petersen / Wiss.MA)
  • Termin:

    Zeit		Raum
    Mo	09:45-11:15 (14-tg.)	0.453
    Mo	09:45-11:15 (14-tg.)	0.457

  • Zielgruppe: Softwaretechnik (Grundstudium)
   
• Einmalbelegung - 15.2.08: Abschlussfeier [6S] (Diekert)
  • Termin:

    Zeit		Raum
    Fr	14:00-15:30	0.453
    Fr	15:45-17:15	0.453
    Fr	17:30-19:00	0.453

  • Zielgruppe: Veranstaltungen anderer Fakultäten in unseren Räumen