Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Veranstaltungen im Sommersemester 2017

Vorlesungen

  • Komplexität von Algorithmen (Meier, Chandoo, Schindler)
    Vorlesung: Mittwoch: 9:15 - 10:45, ab 12.04.2017, Raum 023 (MMH)
    Übung (ab 24.04.2017):
    Montag: 14:00 - 15:30, Raum 224, Appelstr. 4
    Montag: 14:00 - 15:30, Raum 235, Appelstr. 4
    Montag: 15:30 - 17:00, Raum 224, Appelstr. 4
    Dienstag: 15:00 - 16:30, Raum 224, Appelstr. 4
    Dienstag: 15:00 - 16:30, Raum 235, Appelstr. 4
    Dienstag: 16:30 - 18:00, Raum 224, Appelstr. 4
    Dienstag: 16:30 - 18:00, Raum 235, Appelstr. 4
    Mittwoch: 15:00 - 16:30, Raum 224, Appelstr. 4
    Mittwoch: 16:30 - 18:00, Raum 224, Appelstr. 4
  • Logik und formale Systeme (Vollmer, Lück, Simmet)
    Vorlesung: Montag: 9:30 - 11:00 (am 10.04.2017) bzw. 10:15 - 11:45 (ab 24.04.2017), Raum 023 (MMH)
    Übung:
    Freitag: 10:00 - 12:00, ab 05.05.2017, Raum 224+235, Appelstr. 4
    Freitag: 13:00 - 15:00, ab 05.05.2017, Raum 224, Appelstr. 4
  • Berechenbarkeit und Logik (Vollmer, Haak)
    Vorlesung: Dienstag: 10:15 - 11:45, ab 11.04.2017, Raum 224, Appelstr. 4
    Übung: Dienstag: 9:00 - 10:00, ab 18.04.2017, Raum 224, Appelstr. 4
  • Formale Sprachen (Meier)
    Vorlesung: Freitag: 10:00 - 11:30, ab 14.04.2017, Raum 010, Gebäude 3408
    Übung: Freitag: 11:45 - 12:30, ab 21.04.2017, Raum 010, Gebäude 3408

Andere Veranstaltungen

  • Seminar parametrisierte Algorithmen (Vollmer)
    Vorbesprechung: 12.04.2017, 13:30 - 15:00, Raum 224, Appelstr. 4
  • Oberseminar, Termine nach Ankündigung, Raum 224, Appelstr. 4

Aktuelle Veranstaltungen im Wintersemester 2016/17

Vorlesungen

Andere Veranstaltungen

Veranstaltungen im Sommersemester 2016

Vorlesungen