Bestätigung
Sind Sie sich sicher?
Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltung
Logische Methoden der Informatik (Übung) (LV / Übung)
Veranstaltung
LV-Nummer
0401 L 176
Gesamt-Lehrleistung
74,67 UE
Semester
SoSe 2022
Veranstaltungsformat
LV / Übung
Gruppe
Organisationseinheiten
Technische Universität Berlin
↳
Fakultät IV
↳
Institut für Softwaretechnik und Theoretische Informatik
↳
34352200 FG Logik und Semantik
URLs
Label
Ansprechpartner*innen
Pilz, Jana
;
Gorsky, Maximilian
Verantwortliche
Kreutzer, Stephan
Sprache
Deutsch
Studiengangszuordnungen und Module
Verwandte Veranstaltungen
Termine (2)
Zeitraum
Mo. 18.04 - 18.07.22, wöchentlich, 12:00 - 14:00
Ort
PC 203
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
37,33 UE
Einzeltermine ausklappen
Zeitraum
Mi. 20.04 - 20.07.22, wöchentlich, 12:00 - 14:00
Ort
A 060
(
Charlottenburg
)
Organisationseinheiten
34352200 FG Logik und Semantik
Lehrleistung
37,33 UE
Einzeltermine ausklappen
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.
Logische Methoden der Informatik (Übung) (LV / Übung)
LV-Nummer
0401 L 176
Format
Übung
Sprache
Deutsch
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Gorsky, Maximilian
Planungskommentar
-
Datum/Uhrzeit
Mo. 18.04 - 18.07.22, wöchentlich, 12:00 - 14:00
Ort
PC 203 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
PC 203
(Charlottenburg)
Gorsky, Maximilian
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “PC 203”
Di.
Mi.
Logische Methoden der Informatik (Übung) (LV / Übung)
LV-Nummer
0401 L 176
Format
Übung
Sprache
Deutsch
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Gorsky, Maximilian
Planungskommentar
-
Datum/Uhrzeit
Mi. 20.04 - 20.07.22, wöchentlich, 12:00 - 14:00
Ort
A 060 (CH)
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (Übung)
A 060
(Charlottenburg)
Gorsky, Maximilian
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “A 060”
Do.
Fr.
Kalender als PDF exportieren
Kalender als PDF exportieren
Kalender als PDF exportieren