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

Computational Model Theory (Integrierte Veranstaltung)

Veranstaltung

LV-Nummer
Gesamt-Lehrleistung 146,67 UE
Semester SoSe 2025
Veranstaltungsformat LV / Integrierte Veranstaltung
Gruppe (Integrierte Veranstaltung)
Organisationseinheiten Technische Universität Berlin
↳ Fakultät IV
↳     Institut für Softwaretechnik und Theoretische Informatik
↳         34352200 FG Logik und Semantik
URLs
Label
Ansprechpartner*innen
Heindl, Amelie Marie-Christin
Verantwortliche
Kreutzer, Stephan
Sprache Englisch

Termine (4)


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

Charlottenburg
,
HFT-TA 441

34352200 FG Logik und Semantik

37,33 UE
Einzeltermine ausklappen

Mi. 16.04 - 16.07.25, wöchentlich, 10:00 - 12:00

Charlottenburg
,
H 1029 (ohne Steckdosen)

34352200 FG Logik und Semantik

37,33 UE
Einzeltermine ausklappen

Mi. 16.04 - 16.07.25, wöchentlich, 10:00 - 12:00

Charlottenburg
,
MA 642

34352200 FG Logik und Semantik

37,33 UE
Einzeltermine ausklappen

Fr. 25.04 - 18.07.25, wöchentlich, 12:00 - 14:00

Charlottenburg
,
MAR 0.013

34352200 FG Logik und Semantik

34,67 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.
Computational Model Theory
(Integrierte Veranstaltung)
Charlottenburg, HFT-TA 441
Mi.
Computational Model Theory
(Integrierte Veranstaltung)
Charlottenburg, H 1029 (ohne Steckdosen)
Computational Model Theory
(Integrierte Veranstaltung)
Charlottenburg, MA 642
Do.
Fr.
Computational Model Theory
(Integrierte Veranstaltung)
Charlottenburg, MAR 0.013
Kalender als PDF exportieren