Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltungsvorlage
Lehrveranstaltung
Logische Methoden der Informatik (Vorlesung)
Semester
WiSe 2023/24
SoSe 2024
WiSe 2024/25
Mehr...
Legende der Farbgebungen
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.
Mi.
Do.
Logische Methoden der Informatik (Vorlesung) LMI-Vorlesung
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Vorlesung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Kreutzer, Stephan
Planungskommentar
-
Datum/Uhrzeit
10:00 - 11:30, Do. 18.04 - 18.07.24, wöchentlich
Ort
A 151 (Charlottenburg)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
A 151
(Charlottenburg)
Kreutzer, Stephan
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 151”
Logische Methoden der Informatik (Vorlesung) LMI-Vorlesung
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Vorlesung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Kreutzer, Stephan
Planungskommentar
-
Datum/Uhrzeit
Do. 06.06.24, 10:00 - 11:30
Ort
Ohne Ort
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Ohne Ort
Kreutzer, Stephan
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Logische Methoden der Informatik (Vorlesung) LMI-Übung
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Übung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Cavallaro, Dario Giuliano
Planungskommentar
-
Datum/Uhrzeit
14:00 - 15:30, Do. 18.04 - 18.07.24, wöchentlich
Ort
A 151 (Charlottenburg)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Übung
A 151
(Charlottenburg)
Cavallaro, Dario Giuliano
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 151”
Logische Methoden der Informatik (Vorlesung) LMI-Übung
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Übung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Cavallaro, Dario Giuliano
Planungskommentar
-
Datum/Uhrzeit
Do. 06.06.24, 14:00 - 15:30
Ort
Ohne Ort
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Übung
Ohne Ort
Cavallaro, Dario Giuliano
Übersicht nach...
OE “34352200 FG Logik und Semantik”
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