Lehrangebot Wintersemester 2012/2013
Abteilung Theoretische Informatik

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

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

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium)
   
• Theoretische Grundlagen der Informatik: Logik und Diskrete Strukturen [1Ü] (Hertrampf / Wiss. MA)
  • Termin:

    Zeit		Raum
    Di	08:00-09:30 (14-tg.)	0.124
    Di	09:45-11:15 (14-tg.)	0.124
    Di	09:45-11:15 (14-tg.)	0.447
    Di	09:45-11:15 (14-tg.)	0.457
    Do	09:45-11:15 (14-tg.)	0.108
    Do	09:45-11:15 (14-tg.)	0.124
    Do	11:30-13:00 (14-tg.)	0.447
    Do	11:30-13:00 (14-tg.)	0.457

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium)
   
• Ergänzungen zu Theor. GL d. Inf.: Logik und Diskrete Strukturen [2Ü] (Laun)
  • Termin:

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

  • Zielgruppe: Bachelor-Studiengang Informatik (Grundstudium), Bachelor-Studiengang Softwaretechnik (Grundstudium)
   
• Vortragsübung zu Mathematik I für Informatiker und Softwaretechniker [2Ü] (Kausch)
  • Termin:

    Zeit		Raum
    Fr	11:30-13:00	V38.01

  • 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 (14-tg.)	V38.04

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

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

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Kernmodule)
   
• Ergänzungen zu Berechenbarkeit, Komplexität und Algorithmen [2Ü] (Laun)
  • Termin:

    Zeit		Raum
    Mo	17:30-19:00	V38.03
    Fr	11:30-13:00	V38.03

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Kernmodule), Bachelor-Studiengang Softwaretechnik (Fachstudium: Kernmodule und spezifische SQ)
   
• Seminar Ausgewählte Themen der Theoretischen Informatik [2S] (Diekert / Kufleitner)
  • Termin:

    Zeit		Raum
    Mo	11:30-13:00	0.124

  • Zielgruppe: Bachelor-Studiengang Informatik (Fachstudium: Seminare), Diplom-Studiengang Informatik (Hauptstudium), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Algorithmische Gruppentheorie [3V] (Diekert)
  • Termin:

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

  • Zielgruppe: Master-Studiengang Informatik (Vertiefungslinien), Diplom-Studiengang Informatik (Hauptstudium), Master-Studiengang Softwaretechnik (Vertiefungslinien), Diplom-Studiengang Softwaretechnik (Hauptstudium)
   
• Algorithmische Gruppentheorie [1Ü] (Diekert / Wiss. MA)
  • Termin:

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

  • 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	09:45-11:15	0.108

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

    Zeit		Raum
    Di	15:45-17:15	V38.04
    Do	15:45-17:15	V38.04

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

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

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