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

Einführung in das interaktive Theorembeweisen

Veranstaltung

LV-Nummer 0434 L 362
Gesamt-Lehrleistung - UE
Semester SoSe 2023
Veranstaltungsformat LV / Integrierte Veranstaltung
Gruppe
Organisationseinheiten Technische Universität Berlin
↳ Fakultät IV
↳     Institut für Softwaretechnik und Theoretische Informatik
↳         34351900 FG Modelle und Theorie Verteilter Systeme (MTV)
URLs
Label
Ansprechpartner*innen
Karsten, Nadine
Verantwortliche
Sprache Deutsch

Termine (0)

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.
Fr.
Kalender als PDF exportieren

Die Veranstaltung findet als Blockseminar vom 28.08. - 01.09.2023 im Raum TEL 512 statt.