direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Einführung in das interaktive Theorembeweisen
(Isabelle-Lab)
Parameter
Wert
Niveau
Master, auch Bachelor, Wahlpflicht in Informatik
Vorkenntnisse
Logik, Diskrete Strukturen
LP
3
Bestandteile
2IV "Einführung in das interaktive Theorembeweisen"
Semester
SoSe (seit 2012)
Prüfungsform
Mündliche Prüfung
Material
Dokumentation an der TU München

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe