Übung: Übung zu Isabelle-Lab - Details

Allgemeine Informationen

Veranstaltungsname	Übung: Übung zu Isabelle-Lab
Veranstaltungsnummer	INF-0432
Semester	WS 2025/26
Aktuelle Anzahl der Teilnehmenden	0
Heimat-Einrichtung	Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Übung in der Kategorie Lehre
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	englisch

Lehrende

• Prof.Dr. Kirstin Peters
• Lukas Bartl

Räume und Zeiten

Keine Raumangabe

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Data Science Master's Programme Data Science, 1. Version gültig ab WS 2025/26 > B. Advanced Data Science Methods > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 1. Version gültig ab WS 2025/26 > B. Computer Science > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version gültig ab SS 2023 > M.Sc. Informatik und Multimedia (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2011, 18. Version gültig ab WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)

Kommentar/Beschreibung

An introduction to interactive theorem proving with Isabelle/HOL. Information to the lecture can be found in the main course.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".

Folgende Regeln gelten für die Anmeldung:

• Die Anmeldung ist gesperrt.