Raum BAR/SCHÖ
Aus International Center for Computational Logic
Raum BAR/SCHÖ
Raum im Campus Navigator anzeigen
Hörsaal im 1. Obergeschoss des Barkhausen-Baus mit insgesamt 400 Plätzen
Veranstaltungen in diesem Raum
Dies ist kein vollständiger Belegungsplan, da nicht alle Veranstaltungen auf dieser Site erfasst werden.
Nächste Veranstaltungen:
- Formale Systeme: Repetitorium (Übung) (11. Dezember 2023 um 11:10 – 11. Dezember 2023 um 12:40)
- Formale Systeme: Nichtdeterministische Turingmaschinen und Unentscheidbarkeit (Vorlesung) (18. Dezember 2023 um 11:10 – 18. Dezember 2023 um 12:40)
- Formale Systeme: Aussagenlogik (Vorlesung) (8. Januar 2024 um 11:10 – 8. Januar 2024 um 12:40)
- Formale Systeme: Logisches Schließen (Vorlesung) (15. Januar 2024 um 11:10 – 15. Januar 2024 um 12:40)
- Formale Systeme: NP-Vollständigkeit (Vorlesung) (22. Januar 2024 um 11:10 – 22. Januar 2024 um 12:40)