Exercises: Übung zu Isabelle-Lab - Details

General information

Course name	Exercises: Übung zu Isabelle-Lab
Course number	INF-0432
Semester	WS 2024/25
Current number of participants	6
Home institute	Theorie verteilter und paralleler Systeme
participating institutes	Institut für Informatik
Courses type	Exercises in category Teaching
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Yes
Hauptunterrichtssprache	englisch

Lecturers

• Prof.Dr. Kirstin Peters
• Lukas Bartl

Rooms and times

No room preference

Fields of study

• Fakultät für Angewandte Informatik > Informatik
• Fakultät für Angewandte Informatik

Module assignments

• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version valid from WS 2024/25 > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version valid from WS 2024/25 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 13. Version valid from WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2017, 13. Version valid from SS 2023 > M.Sc. Informatik (PO '17), Teilbereich Informatik - Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version valid from WS 2024/25 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Medizinische Informatik M.Sc. Medizinische Informatik, PO 2021, 7. Version valid from WS 2024/25 > Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2017, 13. Version valid from 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 valid from WS 2023/24 > M.Sc. Informatik (PO '11), Teilbereich Informatik - Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)
• Informatik M.Sc. Informatik, PO 2018, 13. Version valid from WS 2024/25 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Übung)

Comment/Description

An introduction to interactive theorem proving with Isabelle/HOL. Supervised practical sessions to work on the project tasks. Informations to the lecture can be found in the main course.