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.
