Lehrangebot Wintersemester 2009/2010
Abteilung Theoretische Informatik

• Theoretische Grundlagen der Informatik: Logik und Diskrete Strukturen [3V] (Diekert)
  • Termin:

    Zeit		Raum
    Di	09:45-11:15	V38.01
    Do	09:45-11:15	V38.01

  • Zielgruppe: Informatik (Bachelor - 1. Semester), Softwaretechnik (Bachelor - 1. Semester)
   
• Theoretische Grundlagen der Informatik: Logik und Diskrete Strukturen - Übungen A [1Ü] (Diekert / Laun)
  • Termin:

    Zeit		Raum
    Di	14:00-15:30 (14-tg.)	0.124
    Di	15:45-17:15 (14-tg.)	0.124
    Fr	09:45-11:15 (14-tg.)	0.124

  • Zielgruppe: Informatik (Bachelor - 1. Semester)
   
• Ergänzungen zu Theor. GL d. Inf.: Logik und Diskrete Strukturen [2Ü] (Hoffmann)
  • Termin:

    Zeit		Raum
    Do	11:30-13:00	V38.04

  • Zielgruppe: Informatik (Bachelor - 1. Semester), Softwaretechnik (Bachelor - 1. Semester)
   
• Theoretische Informatik II [2V] (Hertrampf)
  • Termin:

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

  • Zielgruppe: Informatik (Diplomstudium - 3. Semester), Softwaretechnik (Diplomstudium - 3. Semester)
   
• Theoretische Informatik II - Übungen A [1Ü] (Hertrampf / Lauser)
  • Termin:

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

  • Zielgruppe: Informatik (Diplomstudium - 3. Semester)
   
• Ergänzungen zur Theoretischen Informatik II [2Ü] (Hoffmann)
  • Termin:

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

  • Zielgruppe: Informatik (Diplomstudium - 3. Semester), Softwaretechnik (Diplomstudium - 3. Semester)
   
• Formale Semantik [2V] (Hertrampf)
  • Termin:

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

  • Zielgruppe: Informatik (Diplom - Hauptstudium)
   
• Formale Semantik [1Ü] (Hertrampf / Laun)
  • Termin:

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

  • Zielgruppe: Informatik (Diplom - Hauptstudium)
   
• Komplexitätstheorie [2V] (Glaßer)
  • Termin:

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

  • Zielgruppe: Informatik (Diplom - Hauptstudium)
   
• Komplexitätstheorie [1Ü] (Glaßer / Kopecki)
  • Termin:

    Zeit		Raum
    Mo	14:00-15:30 (14-tg.)	0.124

  • Zielgruppe: Informatik (Diplom - Hauptstudium)
   
• Algorithmik [1Ü] (Nowotka / Kopecki)
  • Termin:

    Zeit		Raum
    Do	14:00-15:30 (14-tg.)	0.457

  • Zielgruppe: Informatik (Diplom - Hauptstudium), Softwaretechnik (Diplom - Hauptstudium)
   
• Graphentheorie [2V] (Kufleitner)
  • Termin:

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

  • Zielgruppe: Informatik (Diplom - Hauptstudium), Softwaretechnik (Diplom - Hauptstudium)
   
• Graphentheorie [1Ü] (Kufleitner)
  • Termin:

    Zeit		Raum
    Di	11:30-13:00 (14-tg.)	0.124

  • Zielgruppe: Informatik (Diplom - Hauptstudium), Softwaretechnik (Diplom - Hauptstudium)
   
• Hauptseminar Aktuelle Themen der Theoretischen Informatik [2HS] (Glaßer / Kufleitner)
  • Termin:

    Zeit		Raum
    Mi	11:30-13:00	0.124
    Mi	14:00-15:30	0.124

  • Zielgruppe: Informatik (Diplom - Hauptstudium), Softwaretechnik (Diplom - Hauptstudium)
   
• Oberseminar der Theoretischen Informatik [2K] (Diekert / Glaßer / Hertrampf)
  • Termin:

    Zeit		Raum
    Mi	09:45-11:15	0.124

  • Zielgruppe: Informatik (Diplom - Hauptstudium)
   
• Theoretische Grundlagen der Informatik: Logik und Diskrete Strukturen - Übungen B [1Ü] (Diekert / Laun)
  • Termin:

    Zeit		Raum
    Mo	09:45-11:15 (14-tg.)	0.447
    Mo	11:30-13:00 (14-tg.)	0.118
    Mo	11:30-13:00 (14-tg.)	0.457
    Mo	17:30-19:00 (14-tg.)	0.118
    Mo	17:30-19:00 (14-tg.)	0.453
    Di	17:30-19:00 (14-tg.)	0.453

  • Zielgruppe: Softwaretechnik (Bachelor - 1. Semester)
   
• Theoretische Informatik II - Übungen B [1Ü] (Hertrampf / Lauser)
  • Termin:

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

  • Zielgruppe: Softwaretechnik (Diplomstudium - 3. Semester)
   
• Formale Methoden [2V] (Glaßer)
  • Termin:

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

  • Zielgruppe: Hörer anderer Fakultäten (Grundstudium)
  • Exportveranstaltung für: Studiengang Wirtschaftsinformatik
   
• Formale Methoden [1Ü] (Glaßer)
  • Termin:

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

  • Zielgruppe: Hörer anderer Fakultäten (Grundstudium)
  • Exportveranstaltung für: Studiengang Wirtschaftsinformatik