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 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 (PDF, 191,0 KB)). 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.

Blockveranstaltung im September 2014

Donnerstag, 21. August 2014

Das Modul wird wieder von Priv.-Doz. Florian Kammüller und Dr. Kirstin Peters durchgeführt, dieses Mal in der Woche 15.-19. September 2014, mit mündlichen Prüfungsterminen flexibel bis ins WiSe 14/15. 

Kursverwaltung in ISIS

Isabelle-Lab als Blockveranstaltung im September 2013

Donnerstag, 11. Juli 2013

Dieses Modul wird im SoSe 13 bereits zum zweiten Mal von Priv.-Doz. Florian Kammüller (dieses Mal mit Unterstützung durch Dr. Kirstin Peters) in der Woche 16.-20. September 2013 durchgeführt, mit mündlichen Prüfungsterminen voraussichtlich im WiSe 13/14. 

(Siehe Mitteilung im ISIS-Kurs EECS-Studium)

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe