Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltungsvorlage
Lehrveranstaltung
Logische Methoden der Informatik (Vorlesung)
Semester
WiSe 2024/25
SoSe 2025
WiSe 2025/26
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.
Logische Methoden der Informatik (Vorlesung)
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Übung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Cavallaro, Dario Giuliano
Datum/Uhrzeit
Di. 15.04 - 15.07.25, wöchentlich, 14:00 - 15:30
Anzahl Termine
14
Ort
Charlottenburg, A 151
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Übung
Charlottenburg,
A 151
Cavallaro, Dario Giuliano
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 151”
Mi.
Do.
Logische Methoden der Informatik (Vorlesung)
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
LMI-Vorlesung
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Kreutzer, Stephan
Datum/Uhrzeit
Do. 17.04 - 17.07.25, wöchentlich, 12:00 - 13:30
Anzahl Termine
11
Ort
Charlottenburg, MA 041
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg,
MA 041
Kreutzer, Stephan
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 041”
Fr.
Logische Methoden der Informatik (Vorlesung)
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Organisationseinheiten
34352200 FG Logik und Semantik
Datum/Uhrzeit
Fr. 08.08.25, 10:00 - 12:00
Ort
Charlottenburg, E-N 189
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
Charlottenburg,
E-N 189
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “E-N 189”
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
Logische Methoden der Informatik (Vorlesung)
LV / Vorlesung
Export
Veranstaltung exportieren
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Fr. 08.08.25, 10:00 - 12:00
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “E-N 189”
LMI-Vorlesung
LV / Vorlesung
Export
Veranstaltung exportieren
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Do. 17.04 - 17.07.25, wöchentlich, 12:00 - 13:30
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 041”
LMI-Übung
LV / Vorlesung
Export
Veranstaltung exportieren
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Di. 15.04 - 15.07.25, wöchentlich, 14:00 - 15:30
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 151”
Liste als Excel-Datei exportieren