General information

Course name	Lecture: Isabelle-Lab
Course number	INF-0432
Semester	WS 2023/24
Current number of participants	6
Home institute	Theorie verteilter und paralleler Systeme
participating institutes	Institut für Informatik
Courses type	Lecture in category Teaching
Next date	Tue., 05.12.2023 08:30 - 11:30, Room: (1005 N)
Type/Form	Projekt
Pre-requisites	Empfohlen: Einführung in die Theoretische Informatik
Performance record	praktisches Projekt in Isabelle/HOL
Online/Digitale Veranstaltung	Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache	englisch
Literaturhinweise	https://isabelle.in.tum.de/documentation.html
ECTS points	8

Lecturers

Prof.Dr. Kirstin Peters

Course location / Course dates

(1005 N)

Tuesday: 08:30 - 11:30, weekly (15x)

Fields of study

Module assignments

Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version valid from WS 2023/24 > Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
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 (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version valid from WS 2023/24 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version valid from WS 2023/24 > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version valid from WS 2023/24 > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
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 (Vorlesung)
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 (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version valid from WS 2023/24 > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version valid from WS 2023/24 > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)

Comment/Description

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 (see separate course) to work on the project task with supervision.