Modelle und Theorie Verteilter Systeme
Seminar: World of ProofCraft
| Niveau | Bachelor Informatik, ab 2. Semester, Wahlpflicht |
| Vorkenntnisse | Relevantes aus dem Mathematik-Kombimodul Ana1/LinA LP |
| LP | 6 |
| Bestandteile | 4 SEM "MTV Seminar: World of Proofcraft" |
| Semester | wechselnd |
| Prüfungsform | Portfolioprüfung |
| Details | Modulbeschreibung |
| Lehrinhalte | In diesem Modul wird das Führen von Beweisen gelehrt. Das beinhaltet verschiedenen Grade der Formalität der Beweise und die Unterstützung eines Beweisassistenten. |
| Anmeldung | Interessensbekundungen: per Email an lehre@mtv.tu-berlin.de |