Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltungsvorlage
Lehrveranstaltung
Logische Methoden der Informatik (Vorlesung)
Semester
SoSe 2022
SoSe 2023
WiSe 2023/24
SoSe 2024
Mehr...
Lehrformat
Jedes Format bekommt eine Farbe
Campus
Jeder Campus bekommt eine Farbe
Legende
Semester
Einzelne Woche
Einzelner Tag
Benutzerdefinierter Zeitraum
Alle Wochen
Kalenderoptionen
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
Mo.
Di.
LV-Nummer
0401 L 176
Format
Tutorium
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Assistent, Unbekannter
Planungskommentar
-
Datum/Uhrzeit
14:00 - 16:00, Di. 19.04 - 05.07.22, wöchentlich
Ort
MAR 0.003 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Tutorium)
MAR 0.003
(Charlottenburg)
Assistent, Unbekannter
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MAR 0.003”
Mi.
Do.
LV-Nummer
0401 L 176
Format
Vorlesung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Kreutzer, Stephan
Planungskommentar
-
Datum/Uhrzeit
12:00 - 14:00, Do. 21.04 - 21.07.22, wöchentlich
Ort
A 151 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
A 151
(Charlottenburg)
Kreutzer, Stephan
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 151”
Fr.
Kalender als PDF exportieren
Kalender als PDF exportieren
Kalender als PDF exportieren
Liste als Excel-Datei exportieren
Name
Format
Logische Methoden der Informatik (Vorlesung)
LV / Vorlesung
Export
Veranstaltungen exportieren
Liste als Excel-Datei exportieren
