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

Aktuelle Veranstaltungen im Sommersemester 2016

Vorlesungen

  • Komplexität von Algorithmen (Meier, Chandoo, Lück)
    Vorlesung: Mittwoch: 9:30 - 11:00, ab 06.04.2016, Räume 023 und 031 (MMH und LFI), Appelstr. 4 bzw. Schneiderberg 32
    Übung:
    Montag: 14:00 - 15:30, ab 11.04.2016), Raum 224, Appelstr. 4
    Dienstag: 15:00 - 16:30, ab 12.04.2016), Raum 224, Appelstr. 4
    Dienstag: 16:30 - 18:00, ab 12.04.2016), Raum 224, Appelstr. 4
    Mittwoch: 13:00 - 14:30, ab 13.04.2016), Raum 224, Appelstr. 4
    Mittwoch: 14:30 - 16:00, ab 13.04.2016), Raum 224, Appelstr. 4
    Mittwoch: 16:00 - 17:30, ab 13.04.2016), Raum 224, Appelstr. 4
    Donnerstag: 11:00 - 12:30, ab 14.04.2016), Raum 224, Appelstr. 4
  • Logik und formale Systeme (Meier, Kluge, Simmet)
    Vorlesung: 10:15 - 11:45, ab 11.04.2016, Raum 023 (MMH), Appelstr. 4
    Übung:
    Freitag: 13:00 - 14:30, ab 22.04.2016, Raum 224, Appelstr. 4
    Freitag: 15:00 - 16:30, ab 22.04.2016, Raum 224, Appelstr. 4
    Freitag: 17:00 - 18:30, ab 22.04.2016, Raum 224, Appelstr. 4
    Freitag: 19:30 - 21:00, ab 22.04.2016, Raum 224, Appelstr. 4
  • SAT-Algorithmen (Meier, Haak)
    Vorlesung: Dienstag: 10:15 - 11:45, ab 05.04.2016, Raum 224, Appelstr. 4
    Übung: Dienstag: 14:15 - 15:00, ab 12.04.2016, Raum 224, Appelstr. 4

Veranstaltungen im Wintersemester 2015/2016

Vorlesungen

Andere Veranstaltungen