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

Blockveranstaltung im August 2019

Montag, 13. Mai 2019

Das Modul wird in der Woche 26. – 30. August 2019 von Priv.-Doz. Florian Kammüller und Benjamin Bisping durchgeführt. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird durch einen ISIS-Kurs begleitet.

Blockveranstaltung im August 2018

Freitag, 13. Juli 2018

Das Modul wird wieder von Priv.-Doz. Florian Kammüller und Dr. Kirstin Peters durchgeführt, dieses Mal in der Woche 6.-10. August 2018. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird durch einen ISIS-Kurs begleitet.

Blockveranstaltung im September 2017

Mittwoch, 05. Juli 2017

Das Modul wird wieder von Priv.-Doz. Florian Kammüller und Dr. Kirstin Peters durchgeführt, dieses Mal in der Woche 11.-15. September 2017 (siehe Aushang). Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird durch einen ISIS-Kurs begleitet.

Modulbeschreibung

Freitag, 24. Oktober 2014

Die aktuelle Modulbeschreibung enthält alle weiteren Details, unter anderem zur Ausgestaltung der Portfolioprüfung gemäß AllgStuPO 2014.

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe