Allgemeine Informationen

Veranstaltungsname	Vorlesung: Isabelle-Lab
Veranstaltungsnummer	INF-0432
Semester	WS 2026/27
Aktuelle Anzahl der Teilnehmenden	6
Heimateinrichtung	Theorie verteilter und paralleler Systeme
Beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Nächster Termin	Montag, 12.10.26, 10:00 - 11:30 Uhr 1005 N
Art/Form	Projekt
Voraussetzungen	Empfohlen: Einführung in die Theoretische Informatik
Leistungsnachweis	Praktisches Projekt in Isabelle/HOL
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	englisch
Literaturhinweise	https://isabelle.in.tum.de/documentation.html
ECTS-Punkte	8

Lehrende

Räume und Zeiten

1005 N

Montag, 10:00 - 11:30, Wöchentlich (ab dem 12.10.26)
Dienstag, 08:30 - 11:30, Wöchentlich (ab dem 13.10.26)

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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Data Science Master's Programme Data Science, 1. Version gültig ab WS 2025/26 > B. Advanced Data Science Methods > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Wahlbereich > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Mathematics and Computer Science Master's Programme Mathematics and Computer Science PO 2024, 3. Version gültig ab WS 2026/27 > B. Computer Science > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 11. Version gültig ab WS 2026/27 > Wahlbereich > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik Master Informatik, FPO 2026, 1. Version gültig ab WS 2026/27 > A. Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Wahlbereich > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 17. Version gültig ab WS 2026/27 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 8. Version gültig ab SS 2025 > Wahlbereich > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version gültig ab WS 2024/25 > Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 11. Version gültig ab WS 2026/27 > Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 15. Version gültig ab WS 2025/26 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik Master Informatik, FPO 2026, 1. Version gültig ab WS 2026/27 > D. Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik Master Informatik, FPO 2026, 1. Version gültig ab WS 2026/27 > E. Erweiterter Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 17. Version gültig ab WS 2026/27 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
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 (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 17. Version gültig ab WS 2026/27 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 14. Version gültig ab SS 2025 > Theoretische Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 9. Version gültig ab WS 2025/26 > Informatik > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)
Data Science Master's Programme Data Science, 3. Version gültig ab WS 2026/27 > B. Advanced Data Science Methods > INF-0432 - Isabelle-Lab (gültig ab WS 2022/23) > Isabelle-Lab (Vorlesung)

Kommentar/Beschreibung

Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.
An introduction to interactive theorem proving with Isabelle/HOL. Consists of a lecture with exercises and practical session to work on the project task with supervision.

Vorlesung: Isabelle-Lab - Details

1005 N