Allgemeine Informationen

Veranstaltungsname	Vorlesung: Isabelle-Lab
Veranstaltungsnummer	INF-0432
Semester	WS 2023/24
Aktuelle Anzahl der Teilnehmenden	7
Heimat-Einrichtung	Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Erster Termin	Dienstag, 17.10.2023 08:30 - 11:30, Ort: (1005 N)
Art/Form	Projekt
Voraussetzungen	Empfohlen: Einführung in die Theoretische Informatik
Leistungsnachweis	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-Punkte	8

Lehrende

Prof.Dr. Kirstin Peters

Räume und Zeiten

(1005 N): Dienstag: 08:30 - 11:30, wöchentlich (15x)

Studienbereiche

Modulzuordnungen

Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version (WS 2023/24) > Informatik > INF-0432 - Isabelle-Lab > 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 > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version (WS 2023/24) > Theoretische Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik M.Sc. Informatik, PO 2018, 11. Version (WS 2023/24) > Wahlbereich Informatik > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version (WS 2023/24) > Theoretische Informatik > INF-0432 - Isabelle-Lab > 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 > 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 > Isabelle-Lab (Vorlesung)
Medizinische Informatik M.Sc. Medizinische Informatik, 5. Version (WS 2023/24) > Wahlbereich > INF-0432 - Isabelle-Lab > Isabelle-Lab (Vorlesung)
Informatik und Multimedia M.Sc. Informatik und Multimedia, PO 2018, 11. Version (WS 2023/24) > Wahlbereich Informatik und Multimedia > INF-0432 - Isabelle-Lab > 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 (see separate course) to work on the project task with supervision.