Lecture: Isabelle-Lab - Details

Lecture: Isabelle-Lab - Details

You are not logged into Stud.IP.

General information

Course name Lecture: Isabelle-Lab
Course number INF-0432
Semester WS 2024/25
Current number of participants 8
Home institute Theorie verteilter und paralleler Systeme
participating institutes Institut für Informatik
Courses type Lecture in category Teaching
Next date Thursday, 14.11.2024 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
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile Yes
Hauptunterrichtssprache englisch
Literaturhinweise https://isabelle.in.tum.de/documentation.html
ECTS points 8

Rooms and times

(1005 N)
Thursday: 08:30 - 11:30, weekly (13x)
Friday: 12:15 - 13:45, weekly (12x)

Module assignments

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.