Einführung in das interaktive Theorembeweisen (Isabelle-Lab)
| Parameter | Wert |
|---|---|
| Niveau | Master, auch Bachelor, Wahlpflicht in Informatik |
| Vorkenntnisse | Master, auch Bachelor, Wahlpflicht in Informatik |
| LP | 3 |
| Bestandteile | 2IV "Einführung in das interaktive Theorembeweisen" |
| Semester | SoSe (seit 2012) |
| Prüfungsform | Mündliche Prüfung |
| Material | siehe unten * |
News
Blockveranstaltung im August/September 2023
Montag, 11. April 2022
Das Modul wird in der Woche 28. August - 01. September 2022 von Priv.-Doz. Florian Kammüller und Nadine Karsten durchgeführt. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird über einen ISIS-Kurs koordiniert.
Blockveranstaltung im August/September 2022
Montag, 11. April 2022
Das Modul wird in der Woche 29. August - 02. September 2022 von Priv.-Doz. Florian Kammüller und Nadine Karsten durchgeführt. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird über einen ISIS-Kurs koordiniert.
Blockveranstaltung im September 2021
Das Modul wird in der Woche 13. – 17. September 2021 von Priv.-Doz. Florian Kammüller und Benjamin Bisping durchgeführt. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird über einen ISIS-Kurs koordiniert.
Blockveranstaltung im September 2020
Montag, 21. September 2020
Das Modul wird in der Woche 21. – 25. September 2020 von Priv.-Doz. Florian Kammüller und Benjamin Bisping durchgeführt. Die aktuelle Modulbeschreibung findet sich in Moses. Die Durchführung wird über einen ISIS-Kurs koordiniert.
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.