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

Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)

Veranstaltung

LV-Nummer 0434 L 362
Gesamt-Lehrleistung 40,00 UE
Semester SoSe 2022
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
Verantwortliche
Sprache Deutsch

Termine (1)


Mo. 29.08 - Fr. 02.09.22, täglich, 10:00 - 16:00

Ohne Ort

34351900 FG Modelle und Theorie Verteilter Systeme (MTV)

40,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.
Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)
Ohne Ort
Di.
Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)
Ohne Ort
Mi.
Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)
Ohne Ort
Do.
Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)
Ohne Ort
Fr.
Einführung in das interaktive Theorembeweisen (Integrierte Veranstaltung)
Ohne Ort
Kalender als PDF exportieren