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 2022/23
Current number of participants 14
Home institute Theorie verteilter und paralleler Systeme
Courses type Lecture in category Teaching
First date Monday, 17.10.2022 08:15 - 09:45, Room: (1057 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

(1057 N)
Monday: 08:15 - 09:45, weekly (7x)
(1005 N)
Wednesday, 14.12.2022 08:15 - 09:45
(1002 N)
Wednesday, 21.12.2022, Wednesday, 11.01.2023, Wednesday, 18.01.2023, Wednesday, 25.01.2023, Wednesday, 01.02.2023, Wednesday, 08.02.2023 08:15 - 09:45

Comment/Description

Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.