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

Logische Methoden der Informatik (Vorlesung) LMI-Vorlesung

Veranstaltung

LV-Nummer 0401 L 176
Gesamt-Lehrleistung 31,33 UE
Semester SoSe 2024
Veranstaltungsformat LV / Vorlesung
Gruppe LMI-Vorlesung
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 (2)


Do. 18.04 - 18.07.24, wöchentlich, 10:00 - 11:30

Charlottenburg
,
A 151

34352200 FG Logik und Semantik

26,00 UE
Einzeltermine ausklappen

Fr. 16.08.24, 10:00 - 14:00

Charlottenburg
,
H 0105 Audimax

34352200 FG Logik und Semantik

5,33 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.
Mi.
Do.
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg, A 151
Kreutzer, Stephan
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Ohne Ort
Kreutzer, Stephan
Fr.
Logische Methoden der Informatik (Vorlesung)
LMI-Vorlesung
Charlottenburg, H 0105 Audimax
Kreutzer, Stephan
Kalender als PDF exportieren