Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltungsvorlage
Lehrveranstaltung
Logische Methoden der Informatik (Vorlesung)
Semester
SoSe 2023
SoSe 2024
WiSe 2024/25
SoSe 2025
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) Termingruppe 1
LV-Nummer
0401 L 176
Format
Vorlesung
Sprache
Deutsch
Gruppe
Termingruppe 1
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Kreutzer, Stephan
Planungskommentar
-
Datum/Uhrzeit
Do. 29.06 - 20.07.23, wöchentlich, 10:00 - 12:00
Ort
H 3010 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Vorlesung)
Termingruppe 1
H 3010
(Charlottenburg)
Kreutzer, Stephan
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “H 3010”
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
Veranstaltung exportieren
Liste als Excel-Datei exportieren
