Lehrangebot Wintersemester 2013/2014
Abteilung Theoretische Informatik

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

    Zeit		Raum
    Di	17:30-19:00	V47.01
    Do	15:45-17:15	V47.01

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium), Lehrveranstaltungen für Hörer anderer Fakultäten
   
• Theoretische Grundlagen der Informatik: Logik und Diskrete Strukturen [1Ü] (Hertrampf / Weiß)
  • Termin:

    Zeit		Raum
    Do	11:30-13:00 (14-tg.)	0.118
    Do	11:30-13:00 (14-tg.)	0.124
    Do	11:30-13:00 (14-tg.)	0.453
    Do	11:30-13:00 (14-tg.)	0.447
    Do	14:00-15:30 (14-tg.)	0.124
    Do	14:00-15:30 (14-tg.)	0.447
    Do	14:00-15:30 (14-tg.)	0.457
    Do	14:00-15:30 (14-tg.)	0.463
    Fr	09:45-11:15 (14-tg.)	0.124
    Fr	09:45-11:15 (14-tg.)	0.447
    Fr	11:30-13:00 (14-tg.)	0.108
    Fr	11:30-13:00 (14-tg.)	0.118
    Fr	11:30-13:00 (14-tg.)	0.124

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium), Lehrveranstaltungen für Hörer anderer Fakultäten
   
• Vortragsübung zu Mathematik I für Informatiker und Softwaretechniker [2Ü] (Kausch)
  • Termin:

    Zeit		Raum
    Do	09:45-11:15	V47.01
    Di	15:45-17:15	0.118

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium)
   
• Berechenbarkeit und Komplexität [3V] (Hertrampf)
  • Termin:

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

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Kernmodule - 3. Semester)
   
• Berechenbarkeit und Komplexität [1Ü] (Hertrampf / Lauser)
  • Termin:

    Zeit		Raum
    Di	15:45-17:15 (14-tg.)	0.124
    Di	17:30-19:00 (14-tg.)	0.124
    Do	15:45-17:15 (14-tg.)	0.457

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Kernmodule - 3. Semester)
   
• Ausgewählte Themen der Theoretischen Informatik [2S] (Diekert / Kufleitner)
  • Termin:

    Zeit		Raum
    Mo	14:00-15:30	0.108

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Seminare), Diplom-Studiengang Informatik (Hauptstudium), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Fortgeschrittene Themen der Algorithmik [3V] (Diekert)
  • Termin:

    Zeit		Raum
    Di	14:00-15:30	0.108
    Do	11:30-13:00 (14-tg.)	0.108

  • Zielgruppe: Master-Studiengang Informatik (Vertiefungslinien), Diplom-Studiengang Informatik (Hauptstudium), Master-Studiengang Softwaretechnik (Vertiefungslinien), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Fortgeschrittene Themen der Algorithmik [1Ü] (Diekert / Walter)
  • Termin:

    Zeit		Raum
    Do	11:30-13:00 (14-tg.)	0.108

  • Zielgruppe: Master-Studiengang Informatik (Vertiefungslinien), Diplom-Studiengang Informatik (Hauptstudium), Master-Studiengang Softwaretechnik (Vertiefungslinien), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Oberseminar der Theoretischen Informatik [2K] (Diekert / Hertrampf)
  • Termin:

    Zeit		Raum
    Mi	11:30-13:00	0.108

  • Zielgruppe: Diplom-Studiengang Informatik (Hauptstudium), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Algorithmen und Berechenbarkeit/Formale Methoden [3V] (Diekert)
  • Termin:

    Zeit		Raum
    Mo	11:30-13:00	V38.04
    Di	15:45-17:15	V38.04

  • Zielgruppe: Bachelor-Studiengang Softwaretechnik (Fachstudium: Kernmodule und spezifische SQ, 3. Semester), Lehrveranstaltungen für Hörer anderer Fakultäten
   
• Algorithmen und Berechenbarkeit/Formale Methoden [1Ü] (Diekert / Walter)
  • Termin:

    Zeit		Raum
    Di	14:00-15:30 (14-tg.)	0.124
    Di	14:00-15:30 (14-tg.)	0.447
    Di	17:30-19:00 (14-tg.)	0.447

  • Zielgruppe: Bachelor-Studiengang Softwaretechnik (Fachstudium: Kernmodule und spezifische SQ, 3. Semester), Lehrveranstaltungen für Hörer anderer Fakultäten