Vorlesungsverzeichnis (VVZ)
Veranstaltungssuche
Veranstaltung
Logische Methoden der Informatik (LMI) (Tutorium)
Termingruppe 4
Wichtiger Hinweis zur Anmeldung
Bitte beachten Sie: Einige der von Ihnen hinzugefügten Veranstaltungen sind Teil eines Platzvergabeverfahrens und daher teilnahmebeschränkt. Nachfolgend finden Sie eine Übersicht der betroffenen Veranstaltungen und der zugehörigen Wahlen:
Veranstaltung
LV-Nummer
Gesamt-Lehrleistung
48,00 UE; 48,00 aUE
Semester
SoSe 2026
Veranstaltungsformat
LV / Tutorium
Gruppe
Termingruppe 4
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
Verantwortliche
Sprache
Deutsch
Verwandte Veranstaltungen
Termine (2)
Zeitraum
Fr. 24.04 - 17.07.26, wöchentlich, 10:00 - 12:00
Ort
Charlottenburg
,
MA 649
Organisationseinheit
34352200 FG Logik und Semantik
Lehrleistung
32,00 UE
Einzeltermine ausklappen
Zeitraum
Fr. 12.06 - 17.07.26, wöchentlich, 10:00 - 12:00
Ort
Charlottenburg
,
E-N 191
Organisationseinheit
34352200 FG Logik und Semantik
Lehrleistung
16,00 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.
Di.
Mi.
Do.
Fr.
Logische Methoden der Informatik (LMI) (Tutorium)
LV-Nummer
-
Format
Tutorium
Sprache
Deutsch
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Cavallaro, Dario Giuliano
Datum/Uhrzeit
Fr. 24.04 - 17.07.26, wöchentlich, 10:00 - 12:00
Anzahl Termine
12
Ort
Charlottenburg, MA 649
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (LMI) (Tutorium)
Termingruppe 4
Charlottenburg,
MA 649
Cavallaro, Dario Giuliano
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “MA 649”
Logische Methoden der Informatik (LMI) (Tutorium)
LV-Nummer
-
Format
Tutorium
Sprache
Deutsch
Gruppe
Termingruppe 4
Organisationseinheiten
34352200 FG Logik und Semantik
Dozierende
Cavallaro, Dario Giuliano
Datum/Uhrzeit
Fr. 12.06 - 17.07.26, wöchentlich, 10:00 - 12:00
Anzahl Termine
6
Ort
Charlottenburg, E-N 191
Vor-/Nachbereitungsdauer
0min/0min
Logische Methoden der Informatik (LMI) (Tutorium)
Termingruppe 4
Charlottenburg,
E-N 191
Cavallaro, Dario Giuliano
Übersicht nach...
OE “34352200 FG Logik und Semantik”
Raum “E-N 191”
Export ...
Kalender als PDF exportieren
Kalender als Excel-Datei exportieren