Digicampus
Lecture: Isabelle-Lab - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Lecture: Isabelle-Lab
Course number INF-0432
Semester WS 2022/23
Current number of participants 19
Home institute Theorie verteilter und paralleler Systeme
Courses type Lecture in category Teaching
First date Mon., 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
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache englisch
Literaturhinweise https://isabelle.in.tum.de/documentation.html
ECTS points 8

Course location / Course dates

(1057 N) Monday: 08:15 - 09:45, weekly (7x)
(1005 N) Wednesday. 14.12.22 08:15 - 09:45
(1002 N) Wednesday. 21.12.22, Wednesday. 11.01.23, Wednesday. 18.01.23, Wednesday. 25.01.23, Wednesday. 01.02.23, Wednesday. 08.02.23 08:15 - 09:45

Comment/Description

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