1. Vorlesungsverzeichnis (VVZ)
  2. Veranstaltungssuche
  3. Veranstaltung

Logische Methoden der Informatik (Vorlesung) LMI-Übung

Veranstaltung

LV-Nummer 0401 L 176
Gesamt-Lehrleistung 28,00 UE
Semester SoSe 2025
Veranstaltungsformat LV / Vorlesung
Gruppe LMI-Übung
Organisationseinheiten Technische Universität Berlin
↳ Fakultät IV
↳     Institut für Softwaretechnik und Theoretische Informatik
↳         34352200 FG Logik und Semantik
URLs
Label
Ansprechpartner*innen
Verantwortliche
Sprache Deutsch

Termine (1)


Di. 15.04 - 15.07.25, wöchentlich, 14:00 - 15:30

Charlottenburg
,
A 151

34352200 FG Logik und Semantik

28,00 UE
Einzeltermine ausklappen
Legende
  • Semester
  • Einzelne Woche
  • Einzelner Tag
  • Benutzerdefinierter Zeitraum
  • Alle Wochen
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)
LMI-Übung
Charlottenburg, A 151
Cavallaro, Dario Giuliano
Mi.
Do.
Fr.
Kalender als PDF exportieren