Lecture: Isabelle-Lab - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.
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 |
Praktische Einführung in das interaktive Beweisen von Theoremen mit dem Beweiser Isabelle/HOL.